Functional Geekery

In this episode, I talk with Shriram Krishnamurthi. We cover his introduction to functional programming, Racket and #lang, Static vs Dynamic Typing, Bootstrap and Pyret, How to Design Programs, and much, much, more. Our Guest, Shriram Krishnamurthi ShriramKMurthi on Twittershriram on Githubcs.brown.edu/~sk/ Shriram’s University of Brown Pageparentheticallyspeaking.org Shriram’s Blog/Essaysblog.brownplt.org Brown PLT Blog Announcements Strange Loop 2022 is taking place September 23rd and 24th in St. Louis, Missouri. Visit thestrangeloop.com to keep up to date and to register. RacketCon is back in person for its 12th year. Hosted at Brown University in Providence, Rhode Island, RacketCon will be October 28th-30th. Visit https://con.racket-lang.org/ for more information. Some of you have asked how you can support Functional Geekery, in that vein, Functional Geekery now has a Patreon Page. If that is one of the ways you would like to show your support, you can find out more at https://www.patreon.com/fngeekery. Topics [@1:31] Welcome ShriramBrown UniversityPLT Scheme FamilyHow To Design ProgramBootstrapPyretHow Shriram got into programmingMITStructure and Interpretation of Computer Programs“From then, it was just like unicorns, and I’ve been in the future ever since.”Dan Friedman storyRice UniversityMatthias FelleisenMatthew FlattRobby FindlerWhy Shriram didn’t work with Matthias in Grad SchoolBob HarperPractical Foundations of Programming LanguagesDaniel JacksonAlloyMoshe VardiDynamic vs. Static Typing and Shriram’s view on TypesPyret as an optional typing experienceHaskellPerspectives from a Programmer versus a Verification Person at heartTeJaS: Retrofitting Type Systems for JavaScriptGradual Soundness: Lessons from Static Python“We do not fully understand programmer thought processes.”“What would happen if we tried to crowd-source language design?”“Give people the language they want.”#langtyped/racketPlait languagePLAIRetrofitting types systems onto existing dynamic languagesRustPyret built with types in mind from the beginning“We want you to live in a rich world of expression, not an impoverished world […] of data types you can count on one hand.”How To Design ProgramsLittle SchemerSICP as a magic trick“It’s almost like the dual of SICP.”“Go ahead and type. Let’s see what you can do.”Making traceability as central as possibleKathi FislerData-Centric Introduction to ComputingBootstrapEmmanuel SchanzerTrying to introduce computing to schoolUsing exiting teachers to teach computing in existing disciplinesTeaching students by them creating a video game as a way to teach mathKathi Fisler’s presentation at LambdaDays 2021All of Bootstrap’s programming is purely functionalPyret as a no-research languageFocus on the user experience“There are teachers that have built up a pedagogy around the use of error messages.”“I’m left-handed, and I sometimes joke it’s [parenthetical syntaxes] the same sort of thing.”Building as a language that runs in the browser for zero hassleWeSchemeTool and Language Building’s relation to Racket“If you were deeply conservative, you wouldn’t be using Racket.”ScribbleLaTeX“These are the same people who, if their programming language didn’t give them separate compilation, they would just be up in arms.”Mystery LanguagesThe Curse of LispThe Bipolar Lisp Programmer“We have lost track of this very foundational fact, that programming is a kind of super-power. It’s the ability to make worlds and to sort-of bend things to our will, that is almost scary.”Roman Numbers #langRacket is a language as a serviceFrTimeTranslated FrTime to JavaScript, resulting in Flapjax“Everything is a language.”RacketCon 2022Making a pitch for “our ignorance.” As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with Katja Mordaunt and Adam Warski. We talk Katja’s and Adam’s introduction to software, being on the LambdaDays 2022 Programme Committee, a peek what being on the Programme Committee looks like, introducing new people to functional programming, and more. Our Guests, Katja Mordaunt and Adam Warksi Katja Mordaunt katjam on: Elm Lang Slackelmcraft.orgIncremental Elm Adam Warski adamwarski on Twitteradamw on Github Announcements ElixirConf EU is taking place the 9th and 10th of June, with training running the 6th-8th. For more information and to get your tickets visit https://www.elixirconf.eu/. :clojureD is taking place June 11th in Berlin, Germany. Visit https://clojured.de/ for more information and to submit your proposal. Code BEAM Lite A Coruña is taking place in A Coruña, Spain on the 11th of June. Visit https://www.codebeamcorunha.es to register, or to find out more. Lambda Days 2022 has been moved to the 28th and 29th of July in Krakow, Poland. Visit lambdadays.org to keep up to date. Some of you have asked how you can support Functional Geekery, in that vein, Functional Geekery now has a Patreon Page. If that is one of the ways you would like to show your support, you can find out more at https://www.patreon.com/fngeekery. Topics [@2:51] About KatjaAbout AdamHow Katja got into software development and ElmBasicLogoPascalJavaElmHow did Katja get into ElmPHPF#Elm as a beginner friendly languageFelienne HermansCode Reading ClubReactHow Adam got into software development and ScalaPascalSchemeOCamlJavaJBoss/RedHatSoftwareMillScalaWhy ScalaGroovyKotlinClojureImmutable collections by defaultCoqHaving done Masters Thesis in Category TheoryYou don’t need any background in category theory to be productive in ScalaJane StreetBeing on Lambda Days 2022 Programme CommitteeCovid making things difficult on schedulingThe Programme Committee processReading through submissionsGetting a coverage of different languages and experience levelsFutharkNixRustBalancing the theoretical with practical and fun talksLambda Days as a hybrid track plans“Meeting John Hughes was pretty cool”Bringing in new peopleCats library“Embracing everything is an expression”“Go for tickets that are just about copy”“It’s all about confidence”Eric Normand’s 5 step strategy from Grokking SimplicityDon’t give the names for things to understand what someone understandsWhere to find KatjaKatjam on Elm Slack and Elm discordsElm Lang Slackelmcraft.orgIncremental ElmCode Reading ClubWhere to find Adamadamwarski on TwitterTapirshelly.dev As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with Laura M. Castro. We talk her introduction to Erlang, Final Project and Ph.D. around Erlang, Research and Teaching using Erlang and Elixir, the Erlang Ecosystem Foundation, Code Beam Lite, Erlang Workshops and more. Our Guest, Laura M. Castro. @lauramcastro on Twitterlauramcastro on Githubhttps://lauramcastro.github.io/ Announcements ElixirConf EU is taking place the 9th and 10th of June, with training running the 6th-8th. For more information and to get your tickets visit https://www.elixirconf.eu/. :clojureD is taking place June 11th in Berlin, Germany. Visit https://clojured.de/ for more information and to submit your proposal. Code BEAM Lite A Coruña is taking place in A Coruña, Spain on the 11th of June. Visit https://www.codebeamcorunha.es to register, or to find out more. Lambda Days 2022 has been moved to the 28th and 29th of July in Krakow, Poland. Visit lambdadays.org to keep up to date. Some of you have asked how you can support Functional Geekery, in that vein, Functional Geekery now has a Patreon Page. If that is one of the ways you would like to show your support, you can find out more at https://www.patreon.com/fngeekery. Topics [@2:51] About LauraUniversidade da CoruñaErlang during UniversityOCamlJavaCPrologOCaml being completely different, even in second year of UniversityContact with computers as typewritersBasicStudying Computer Engineering as good profession career trackCourse on Functional Programming in 4th yearFirst Exposure to Erlang“I was a Lego Kid”“It will do the things I tell it to do”End of Degree ProjectWriting a Risk Management system in ErlangModeling policies as processesPattern MatchingDoing Research in the Computer Engineering worldPh.D. on what Functional Programming helped put on the tableDialyzerSeeing what it would be like to work in academia and the research worldDelphi“What did functional programming bring to the table?”State in ProcessesPattern MatchingRecursions“[…] they seem straight forward 20 years later”Matthew Flatt – A Racket Perspective on Research, Education, and ProductionKeeping research close to industryTeaching Erlang in her Software Architecture course“They’ve never seen really distributed architectures”Automatic Validation and Testing“You specify what you want to test”ProperDesigning for Scalability with Erlang and OTPWhatsAppSuffering from the Secrecy of Using ErlangErlang Ecosystem FoundationOverview of the Erlang Ecosystem FoundationEducation Working GroupOTP BehaviorsEctoUniversity of Kent Erlang Master Classes; Class 1; Class 2; Class 3exercismErlang CampErlang and OTP in ActionCode BEAM Lite A CoruñaCode BEAM Twitter AccountCode BEAM A Coruña Twitter AccountSponsorships for Code BEAM LiteErlang WorkshopsBrujo BenavidesErlang Workshop with Laura and BrujoHankRebar 3Property Based Testing Training Workshop coming soonTelegram As always, a giant Thank You goes to David Belcher for the logo design.

Aleksander Lisiecki, a consultant at Erlang Solutions and a trainer at conferences like Lambda Days, shares his journey from traditional programming languages to Erlang and Elixir. He discusses innovative use cases for these languages, his experiences at the School of Erlang, and the unique appeal of concurrency in Erlang. Aleksander also explores energy efficiency in programming languages and innovative applications in web scraping. His insights highlight the importance of community and mentorship in software development.

In this episode I talk with Renzo Borgatti. We talk his introduction to Clojure, learning the extended vocabulary of Clojure, his book Clojure: The Essential Reference, gems in the Clojure language, side projects, and much more. Our Guest, Renzo Borgatti. @reborg on Twitterreborg on Githubhttps://reborg.net/Clojure: The Essential Reference from Manning Announcements ElixirConf EU is taking place the 9th and 10th of June, with training running the 6th-8th. For more information and to get your tickets visit https://www.elixirconf.eu/. :clojureD is taking place June 11th in Berlin, Germany. Visit https://clojured.de/ for more information and to submit your proposal. Lambda Days 2022 has been moved to the 28th and 29th of July in Krakow, Poland. Visit lambdadays.org to keep up to date. Some of you have asked how you can support Functional Geekery, in that vein, Functional Geekery now has a Patreon Page. If that is one of the ways you would like to show your support, you can find out more at https://www.patreon.com/fngeekery. Discount Code Use code podgeekery20 to save 40% off your order at Manning.com Topics [@2:44] Welcome RenzoAbout RenzoJavaFermilabRuby on RailsObjective CClojureInfoQClojure KoansWhat kind of foundation looking at Ruby from Java set for ClojureLanding on Clojure too late to chat freely with Rich Hickey on IRCComponents as a way for dependency injectionCommon Functional ideas Renzo wound up adopting before leaving JavaUnderstanding the idioms of Clojure and the effect they have on codeLearning how to organize larger codebasesLimitations of working with a restricted vocabulary“Being curious about what else was there and I was not using”Reading Clojure source codeRefreshing one-self by looking at Clojure source codeClojure: The Essential Reference from ManningWhat Hidden Gems found when writing the bookfniljuxtCombinatorsSwap combinatorScheme“Understanding what does it mean to be a Lisp”Actor ModelContinuationsProject LoomProject Loom ProposalOther insights from working on the bookSoftware Transaction Memory“It made me realize how deep, and how thought out, the implementation in Clojure is”Clojure for the Brave and the TrueClojure ProgrammingOther things Renzo is involved withparallelWishing for an “Audible for [Technical] Papers”Out of the Tar PitPapers We Love presentationsre:ClojureTakeaways from re:ClojureClojurians PodcastVirtual conference benefitsHybrid conferences as an interesting experiment to give best of both worldsLambda DaysElixir Conf EUErlang SolutionsCode SyncCode MeshTower of InterpretersStratified DesignJUXTThe new Clojure “iteration” function blog postPrologDatalogExpert Systems As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with Yehonathan Sharvit. We talk his upcoming book Data Oriented Programming, what Data Oriented Programming is, how it differs from Functional Programming, how DOP fits with typed languages, and more. Our Guest, Yehonathan Sharvit @viebel on Twitterviebel on Githubhttps://blog.klipse.tech/Data Oriented Programming from Manning Announcements The Big Elixir is taking place March 24th and 25th in New Orleans. Save 20% on tickets you use the code FUNCTIONALGEEKERY2022. Visit https://thebigelixir.com/ to register. ElixirConf EU is taking place the 9th and 10th of June, with training running the 6th-8th. For more information and to get your tickets visit https://www.elixirconf.eu/. :clojureD is taking place June 11th in Berlin, Germany. Visit https://clojured.de/ for more information and to submit your proposal. Lambda Days 2022 has been moved to the 28th and 29th of July in Krakow, Poland. Visit lambdadays.org to keep up to date. Some of you have asked how you can support Functional Geekery, in that vein, Functional Geekery now has a Patreon Page. If that is one of the ways you would like to show your support, you can find out more at https://www.patreon.com/fngeekery. Manning Discount Code Reminder that listeners get 40% off with code PODGEEKERY20 on Data Oriented Programming, and other items from Manning Books like The Joy of Clojure, and Grokking Simplicity that were mentioned in the episode. Topics [@3:22] Welcome YehonathanAbout YehonathanHow Yehonathan discovered ClojureC++JavaJavaScriptRussell’s ParadoxLisp as an implementation of Lambda CalculusSICP lecturesSeeing a colleague writing ClojureStack OverflowStarting to work in ClojureWorking on a web scraperUsing Clojure for a start-upRuby on Rails for back-end and ClojureScript for front-endClojure being very straightforward for junior developersHow Clojure influenced their approach to Ruby on RailsTrying to find out the JavaScript code ClojureScript emittedKlipseInventing/discovering theories of programming“[Clojure] It’s a language that teaches itself”Knowing when theories are trueWhy the book was written as a discussion.Insights from reading Clojure language sourceWhat Data Oriented Programming isData Oriented Programming from ManningThe Joy of Clojure“How we represent information”Why generic maps are better than strong static types for when the code runsNames compile away“That is a tragedy.”ElmTypeScript“My hope is that people stay in their programming language and find the best way to work”Malliclojure.specHaskellJSON SchemaChristoph GrandConway’s Game of Life in ClojurePrinciples of Data Oriented Programming: Data is a first class citizenSeparate Data from CodeUse Generic Data StructuresKeep Data Immutable “How can you do state management [with immutable data]?”“Immutable data is the best way to manage state!”Grokking SimplicityData Driven Programming vs Data Oriented ProgrammingData that exists before you write your programDistinction between three data related programming paradigmsSwagger“It is better to have 100 functions operate on one data structure than to have 10 functions operate on 10 data structures.”GraphQLStar Wars GraphQL queriesRigidity of types in GraphQL“What do we do in terms of tooling?”Daughter going into National Service and looking for a place to volunteerOpen Source project is like volunteering“Somehow it gets back to you”GritShared HumanityA refresh of KlipseSharing snippets of codeAvailable for Training on Data Oriented Programming As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with Jordan Miller. We talk her breaking into to software development, activity in the Clojure community, redefining open source contributions, mentoring, and much more. Our Guest, Jordan Miller. Jordan Miller Announcements The Big Elixir is taking place March 24th and 25th in New Orleans. Save 20% on tickets you use the code FUNCTIONALGEEKERY2022. Visit https://thebigelixir.com/ to register. ElixirConf EU is taking place the 9th and 10th of June, with training running the 6th-8th. For more information and to get your tickets visit https://www.elixirconf.eu/. :clojureD is taking place June 11th in Berlin, Germany. The Call for Presentations is open through March 4th. Visit https://clojured.de/ for more information and to submit your proposal. Lambda Days 2022 has been moved to the 28th and 29th of July in Krakow, Poland. Visit lambdadays.org to keep up to date. Some of you have asked how you can support Functional Geekery, in that vein, Functional Geekery now has a Patreon Page. If that is one of the ways you would like to show your support, you can find out more at https://www.patreon.com/fngeekery. Topics [@2:58] Welcome JordanClojurians SlackJordan on the CognicastAbout JordanStarting on WordPressLearning Lambda Calculus as an introduction to programmingSchemeDrRacketPythonClojure ConjClojureScriptre-frameBuilding a WordPress site for a restaurant websiteUsing Dog Tags to visualize linked listsFalling in love with the Clojure CommunitySean CorfieldLearning SchemeStructure and Interpretation of Computer ProgramsLightTable5 different ways to show a functionStarting with immutable dataWhy so many senior devs seem to come to ClojureMIT Open CoursewareOriginal Sussman and Ableson LecturesDr. Ana BellWhat about Clojure that put it on her radarDave BeasleyJordan’s experience in PythonCoursera courses“I struggled with for loops because I learned recursion first”Having your personal webpageDiving right into ClojureScript for first jobSelf teaching and breaking into software development with a full-time jobDaniel HigginbothamVouchMike FikesDavid NolenJavaScriptReact NativeStorybookHow Jordan started her media presence“I am a performer by nature”“WTF is Clojure?” video on YouTubeBeing a Sponsored open Source developerBring the flavor of yourEncourage people to redefine what an open source contribution isClojureBridgeWhat prompted her podcastBorkdudeEmergent WorksHer mentee Jordan Jay on Github WebsiteNext ChapterAlex Miller“I’ll Fire Spin for a free ticket”Jordan’s LinkTree As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with Claude Rubinson. We talk his experience learning and using functional programming as a sociologist, organizing software user groups, and more. Our Guest, Claude Rubinson. Claude RubinsonHouston Functional Programmers websiteHouston Functional Programmers on TwitterOCaml Café on Twitter Announcements :clojureD is taking place June 11th in Berlin, Germany. The Call for Presentations is open through March 4th. Visit https://clojured.de/ for more information and to submit your proposal. Lambda Days 2022 has been moved to the 28th and 29th of July in Krakow, Poland. Visit lambdadays.org to keep up to date. Some of you have asked how you can support Functional Geekery, in that vein, Functional Geekery now has a Patreon Page. If that is one of the ways you would like to show your support, you can find out more at https://www.patreon.com/fngeekery. Topics [@2:01] Welcome ClaudeAbout ClaudeBeing a Sociology Professor and being on a functional programming podcastHow Claude got interested in Functional ProgrammingUnixPythonLispLarry Wall“Learn a functional programming language for good measure”Reading books and listening to podcastTrying to understand the philosophy of functional programmingHouston Functional Programming User GroupClaude’s previous background with softwareUniversity of GeorgiaCompensation Survey going full-in on the internetActive Server PagesSQLThe Dot-Com bustLinuxBerkeley Unix Users GroupO’Reilly Press“sed & awk” bookLaTeX[R]()https://www.r-project.org/University of ArizonaCharles RaginQualitative Comparative AnalysisBoolean Algebra and Set TheoryTuscon Free Unix GroupHaving to write own version of software for LinuxUniversity of Houston DowntownHouston Python MeetupWhat made Functional Programming attractive for next re-write“You don’t really understand recursion”Modeling Data in a SQL DatabaseUsing Programming Language to impose rigor on thinkingAlgebraic Data TypesImmutable DataGene Kim’s “Love Letter to Clojure”The Biggest Problem in Functional ProgrammingHaving to pick things up really quicklyWas lucky to be able to take the time to absorb ideasOCamlGetting Up and Running with an OCaml project“This is hard, it is going to take some time, and that is okay.”Eric Normand’s perspective on explaining as “Data, Calculation, and Actions”ElmTelling a story of the problem before selling the solutionFunctional Programming for taming complexity and scalabilityPicking a “Functional Forward” or “Functional First” languageJavaScriptWhat Claude appreciated the Functional Programming communityHaskellQtHigh Signal to Noise ratioGenerous and kind communityMembers know a number of languages, so can provide comparisons between languagesHow Claude uses Type SystemsTcl/TkOusterhout’s DichotomyUsing the type system to think through reasoning“How to do QCA well”Using Type Signatures (without code) to map the process“Understanding the Ontology of Measurement”Writing good clean functions that stand on their own“Working in OCaml to understand how to do QCA and how to do it well”Houston Functional Programming User GroupLikely sticking to Hybrid FormatAlways looking for speakers“Introduction to” gets more people showing upEncourage people to give presentations (even if short ones)OCaml CaféCall for stability from Programming Language Designers and Library maintainers As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with James Stelly. We talk his explorations of programming languages and how that led to his book Racket Programming the Fun Way. Our Guest, James Stelly. Announcements No Starch Press has offered listeners a 30% discount on Racket Programming the Fun Way until the end of the year with discount code GEEKERY30. Some of you have asked how you can support Functional Geekery, in that vein, Functional Geekery now has a Patreon Page. If that is one of the ways you would like to show your support, you can find out more at https://www.patreon.com/fngeekery. Topics [@1:10] Welcome JamesAbout JamesFortranC++MVS (Multiple Virtual Storage)FOCUSNOMADAccessSql ServerForthPythonJC#JavaScriptSchemeRacketLaTeXJames’ first exposure to a functional programming languageF#Pipeline operator (|>)Still having access to the rest of .NET ecosystemHaskellJames’ takeaways from playing with HaskellTyped RacketWhat drew James to RacketBroad tool changesInteractivity of RacketRacket Programming the Fun WayWriting the book as a way to learn RacketRacket being a “Swiss Army Knife”Prolog and Logic ProgrammingPossibility of expanding Automata Theory using macrosRelationship to RacketBuilding a CNC machineG-CodeGrblArduinoHow has playing with different language feed back into “day work”Visual BasicWhat was exciting about using Racket for the problems in the bookLogic ProgrammingSearch AlgorithmsWhy Racket“Most mileage out of and can do a lot of different things”Dr. Racket environmentHover over variable and see arrows showing usageWhat is the target audience of the bookMatthew Flatt as the technical reviewer“Given everything in the book, that is just the tip of the iceberg of what you can do with Racket” As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with Duncan McGreggor. We talk his introduction to functional programming; Erlang; Lisp Flavoured Erlang; Lisps, Lisps, and more Lisps; and much, much, more. Our Guest, Duncan McGreggor @oubiwann on Twitter Conference Announcements Code Mesh is going virtual! Taking place November 5th and 6th, will run virtually across US and European time zones. Find out more and register at https://codemesh.io. Lambda Days 2021 will be a virtual event spread over several days in February 2021. Visit https://www.lambdadays.org/lambdadays2021 to keep up to date as more information is announced. If you have a conference related to functional programming, contact me, and I will be happy to announce it. Announcements Some of you have asked how you can support Functional Geekery, in that vein, Functional Geekery now has a Patreon Page. If that is one of the ways you would like to show your support, you can find out more at https://www.patreon.com/fngeekery. Topics [@2:03] Welcome DuncanAbout DuncanCPM Kaypro IIRewriting BASIC gamesDuncan’s first exposure to functional programmingConflation of State and Behavior in Object Oriented ProgrammingDeeply nested for loopsPythonLISPCommon LISPDistributed ComputingTwisted PythonErlangYAWS exposé on SlashdotLisp Flavoured ErlangRobert VirdingLearning Erlang through LFEGetting started in LFE“Common LISP had a much worse story than Erlang ever did”Common LISP HyperSpecRubyRust“Treating Erlang like LISP’s original M-Expressions“What are CoreSBCLChez SchemeClojureLFE Joys – Small, lightweight chunks of functionality that are distributed across arbitrary computing resources.Not super picky about tech in the job anymoreEnjoy the projects after work to aspire to craftsmanship levelGoing Away Card software project for CTOGoHow functional programming folds in to Duncan’s mentoring junior co-workersHaskellHaving the clarity of thought that comes with functional programming“At some level we are all working with distributed systems”Teaching basics of Erlang: supervision trees, restart strategies, monitoring/linking processesReid Draper of Functional Geekery“Last Write Wins conflict strategy”Enterprise Integration PatternsDesigning for Scalability with Erlang/OTPHow does LISP come in when mentoring team-mates“I love parenthesis” and the order of operationsLow utilization of MacrosWrite them all the time when learning thoughltestITA Software using LISPReader MacrosMuddleCasting SPELs in LFECasting SPELs in LISPLanguage Laboratory levelRacketLFE Machine ManualTreasures lost in time from looking at other LISP Machine ManualsThe People working to preserve the historyKent PittmanCADR machineMACLISPARPAMIT, Stanford, and BerkeleyMaximaZeta LispXerox PARCIntegrating LFE and ClojureclojangjifaceSome other projects on Duncan’s radarPorting The Sound of Erlang to LFEClojure OvertoneSuperCollider“LFE Chineual”Having a bare metal install of LFE on a Raspberry PiLooking at different boards to run the BEAM onX11 and XORGtvActively testing LFE 2.0lfe.ioLFE on Slack“Follow your bliss” As always, a giant Thank You goes to David Belcher for the logo design.