Type Theory Forall

#29 Can PL theory make you a better software engineer? - Jimmy Koppel


Listen Later

Jimmy Koppel, got his PhD at MIT and found the Mirdin Company, where he

teaches engineers to write better code! In this interview we talk about how
to make better code, how the knowledge of computer science theory and
programming languages can help engineers to achieve that, and much more!

Links
  • Jimmy's Personal Website
  • Jimmy's Twitter
  • Mirdin's Website
  • Jimmy's Blog
  • Lastest blog post
  • One CFG-Generator to Rule Them All
  • Automatically Deriving Control-Flow Graph Generators from Operational Semantics
  • Thiel Fellowship
  • Newsletters discussed in the show
    • Mirdin's Newsletter
    • Hillel Wayne's Newsletter
    • Eric Normand's Newsletter
    • Jeremy Kun's Newsletter
    • ...more
      View all episodesView all episodes
      Download on the App Store

      Type Theory ForallBy Pedro Abreu

      • 5
      • 5
      • 5
      • 5
      • 5

      5

      10 ratings


      More shows like Type Theory Forall

      View all
      In Our Time by BBC Radio 4

      In Our Time

      5,389 Listeners

      The Changelog: Software Development, Open Source by Changelog Media

      The Changelog: Software Development, Open Source

      284 Listeners

      Philosophize This! by Stephen West

      Philosophize This!

      15,093 Listeners

      The Quanta Podcast by Quanta Magazine

      The Quanta Podcast

      500 Listeners

      CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

      CoRecursive: Coding Stories

      189 Listeners

      Iowa Type Theory Commute by Aaron Stump

      Iowa Type Theory Commute

      17 Listeners

      The Real Python Podcast by Real Python

      The Real Python Podcast

      139 Listeners

      Theories of Everything with Curt Jaimungal by Theories of Everything

      Theories of Everything with Curt Jaimungal

      470 Listeners

      The Rest Is History by Goalhanger

      The Rest Is History

      13,053 Listeners

      The Haskell Interlude by Haskell Podcast

      The Haskell Interlude

      13 Listeners

      The Joy of Why by Steven Strogatz, Janna Levin and Quanta Magazine

      The Joy of Why

      502 Listeners

      The Rest Is Politics by Goalhanger

      The Rest Is Politics

      3,286 Listeners

      Oxide and Friends by Oxide Computer Company

      Oxide and Friends

      47 Listeners

      The Rest Is Politics: Leading by Goalhanger

      The Rest Is Politics: Leading

      989 Listeners

      Latent Space: The AI Engineer Podcast by swyx + Alessio

      Latent Space: The AI Engineer Podcast

      75 Listeners