Look for any podcast host, guest or anyone
Showing episodes and shows of

Matthias Felleisen

Shows

Future of CodingFuture of CodingInterpreting the Rule(s) of Code by Laurence DiverThe execution of code, by its very nature, creates the conditions of a "strong legalism" in which you must unquestioningly obey laws produced without your say, invisibly, with no chance for appeal. This is a wild idea; today's essay is packed with them. In drawing parallels between law and computing, it gives us a new skepticism about software and the effect it has on the world. It's also full of challenges and benchmarks and ideas for ways that code can be reimagined. The conclusion of the essay is flush with inspiration, and the references are stellar. So while it...2023-07-033h 01Boston Computation ClubBoston Computation Club03/17/23: The Process, Challenges, Struggles & Joys of Creating "How to Design Programs" with Matthias FelleisenMatthias is a world-class scientist and highly influential computer programmer, and also the author of "How to Design Programs", a Computer Science 101 book which takes a fundamentally different approach than prior works. Today Matthias joined us to share his experience writing that book (and its many iterations), as well as his broader philosophy on how to instruct the next generation of thinkers and builders (not to mention, programmers). This was a highly instructive and somewhat philosophical talk and we really hope you enjoy it as much as we did! To learn more about Matthias, refer here: https://felleisen.org...2023-03-1755 minFunctional GeekeryFunctional GeekeryEpisode 141 - Shriram Krishnamurthi 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...2022-07-191h 19Sources and MethodsSources and MethodsTeaching Programming with Matthias FelleisenThis week we spoke with Matthias Felleisen who is a professor at Northeastern University and heavyweight in the coding / teaching world, one of the driving forces behind Racket, a general-purpose programming language.Full show notes are available at www.sourcesandmethods.com2019-05-281h 04International Conference on Functional Programming 2017International Conference on Functional Programming 2017Super 8 Languages for Making Movies (Functional Pearl)Leif Andersen (Northeastern University, USA) gives the first presentation in the first panel, Art and Education, in the ICFP 2017 conference. Co-written by Stephen Chang (Northeastern University, USA) and Matthias Felleisen (Northeastern University, USA). The Racket doctrine tells developers to narrow the gap between the terminology of a problem domain and general programming constructs by creating languages instead of just plain programs. This pearl illustrates this point with the creation of a relatively simple domain-specific language for editing videos. To produce the video proceedings of a conference, for example, video professionals traditionally use 'non-linear' GUI editors to manually edit each talk...2017-12-0717 minFunctional GeekeryFunctional GeekeryDan FriedmanIn this episode I talk with Dan Friedman. Dan gives shares stories of his history working with Lisp, including topics such as the power of Lisp, and tips for introducing a language. Our Guest, Dan Friedman Dan’s Faculty Page Conference Announcements Elm Europe will be taking place June 8th and 9th in Paris, France. Visit http://elmeurope.org/ for more information and to register. Erlang User Conference 2017 will be taking place June 8th and 9th in Stockholm, Sweden. Visit http://www.erlang-factory.com/euc2017 for more information and to...2017-05-1659 minFunctional GeekeryFunctional GeekeryJay McCarthyIn this episode I talk with Jay McCarthy. We talk his intro to software, functional programming, Racket, relation between the Unix Philosophy and functional programming, more Racket, continuations, verified programming, and much, much more. Our Guest, Jay McCarthy @jeapostrophe on Twitter jeapostrophe on Github https://jeapostrophe.github.io/home/ Conference Announcements Call for presenters is now open for Velocity London 2017. Visit http://www.oreilly.com/pub/cpc/68627 for more information and to submit your proposal. The Call for Presenters is now open for Software Architecture in London...2017-04-181h 06Functional GeekeryFunctional GeekeryMatthew ButterickIn this episode I talk with Matthew Butterick. We talk about using Racket as someone who doesn’t consider themselves a developer; the power of Domain Specific Languages; Pollen, a DSL for creating web sites; and his book Beautiful Racket. Our Guest, Matthew Butterick Practical Typography Beautiful Racket Pollen Announcements EuroClojure is coming up in Bratislava, Slovakia from October 25-26. Visit http://euroclojure.org/ to find out more, register, or sign up for their mailing list. The 2016 edition of ScalaIO will take place in Lyon, France, on 27th...2016-10-041h 07Functional GeekeryFunctional GeekeryGarrett SmithIn this episode I talk with Garrett Smith. We talk his introduction to Erlang, building communities, conferences as a place for serendipity, and more. Our Guest, Garrett Smith @gar1t on Twitter Sponsors This episode is sponsored by DailyDrip.com. Use the coupon `geekery` to save $5 on your first month, and make learning part of your daily routine with DailyDrip.com. This episode is sponsored by Clubhouse.io project management tools for software teams. Visit clubhouse.io/geekery to sign up for a free trial and a $50 credit. Clubhouse...2016-06-211h 02Functional GeekeryFunctional GeekeryMatthias FelleisenIn this episode I talk with Matthias Felleisen. We talk his history with Schemes from The Little Lisper, How to Design Programs, to Typed Racket. We also cover teaching math to middle schoolers with Bootstrap, and using programming to teach problem solving and more. Our Guest, Matthias Felleisen Matthias Felleisen’s home page Announcements On May 2nd and 3rd flatMap(Oslo) is taking place in Oslo, Norway. flatMap(Oslo) is a conference about functional programming, mainly on the JVM. The call for speakers is now open. To find out more visit ht...2016-03-2959 minCognicastCognicastMatthew Flatt - Cognicast Episode 084In this episode, we talk to Matthew Flatt about Racket past, present and future and RacketCon 2015. Our Guest, Matthew Flatt On the web On Github Topics Utah Symphony Choosing a beginner instrument for children Typed Racket Undefined as an error Macro expander for Racket Papers on implementing hygienic macros - here's one. Here's another. Defining hygiene Sets of scopes in macros Tim Disney - sweet.js RacketCon 2015 Matthias Felleisen - The Racket Manifesto RacketCon 2014 talks Packages Daniel Prager's YouPatch Neil Toronto - pict3d Vincent St Amour - Optimization Coaching John Clements - Rust...2015-08-0454 minCognicastCognicastMatthew Flatt - Cognicast Episode 084In this episode, we talk to Matthew Flatt about Racket past, present and future and RacketCon 2015. Our Guest, Matthew Flatt On the web On Github Topics Utah Symphony Choosing a beginner instrument for children Typed Racket Undefined as an error Macro expander for Racket Papers on implementing hygienic macros - here's one. Here's another. Defining hygiene Sets of scopes in macros Tim Disney - sweet.js RacketCon 2015 Matthias Felleisen - The Racket Manifesto RacketCon 2014 talks Packages Daniel Prager's YouPatch Neil Toronto - pict3d Vincent St Amour - Optimization Coaching John Clements - Rust...2015-08-0454 minAll JavaScript Podcasts by Devchat.tvAll JavaScript Podcasts by Devchat.tv070 JSJ Book Club: JavaScript Allongé with Reginald BraithwaitePanel Reginald Braithwaite (twitter github blog) Jamison Dance (twitter github blog) Joe Eames (twitter github blog) AJ O’Neal (twitter github blog) Merrick Christensen (twitter github) Charles Max Wood (twitter github Teach Me To Code Rails Ramp Up) Discussion 02:08 - Reg Braithwaite Introduction Github 03:46 - JavaScript Allongé by Reginald Braithwaite 06:43 - The Y Combinator Kestrels, Quirky Birds, and Hopeless Egocentricity by Reginald Braithwaite 14:26 - Book Summary/Perspective Functions QED, The Strange Theory of Light and Matter by Richard P. Feynman 21:37 - Footnotes Flashman: A Novel by George MacDonald Fraser 26:42 - allong.es Michael Fogus 29:15 - Sharing Knowledge & Information 33:01 - The Cof...2013-08-091h 06All JavaScript Podcasts by Devchat.tvAll JavaScript Podcasts by Devchat.tv070 JSJ Book Club: JavaScript Allongé with Reginald BraithwaitePanel Reginald Braithwaite (twitter github blog) Jamison Dance (twitter github blog) Joe Eames (twitter github blog) AJ O’Neal (twitter github blog) Merrick Christensen (twitter github) Charles Max Wood (twitter github Teach Me To Code Rails Ramp Up) Discussion 02:08 - Reg Braithwaite Introduction Github 03:46 - JavaScript Allongé by Reginald Braithwaite 06:43 - The Y Combinator Kestrels, Quirky Birds, and Hopeless Egocentricity by Reginald Braithwaite 14:26 - Book Summary/Perspective Functions QED, The Strange Theory of Light and Matter by Richard P. Feynman 21:37 - Footnotes Flashman: A Novel by George MacDonald Fraser 26:42 - allong.es Michael Fogus 29:15 - Sharing Knowledge & Information 33:01 - The Cof...2013-08-091h 06JavaScript JabberJavaScript Jabber070 JSJ Book Club: JavaScript Allongé with Reginald BraithwaitePanelReginald Braithwaite (twitter github blog) Jamison Dance (twitter github blog) Joe Eames (twitter github blog) AJ O’Neal (twitter github blog) Merrick Christensen (twitter github) Charles Max Wood (twitter github Teach Me To Code Rails Ramp Up) Discussion 02:08 - Reg Braithwaite IntroductionGithub 03:46 - JavaScript Allongé by Reginald Braithwaite 06:43 - The Y CombinatorKestrels, Quirky Birds, and Hopeless Egocentricity by Reginald Braithwaite 14:26 - Book Summary/PerspectiveFunctions QED, The Strange Theory of Light and Matter by Richard P. Feynman 21:37 - FootnotesFlashman: A Novel by George MacDonald Fraser 26:42 - allong.esMichael Fogus 29:15 - Sharing Knowledge & Information...2013-08-091h 06