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
      • 4.8
      • 4.8
      • 4.8
      • 4.8
      • 4.8

      4.8

      13 ratings

      More shows like Type Theory Forall

      View all
      Marketplace by Marketplace

      Marketplace

      8,801 Listeners

      The Knowledge Project by Shane Parrish

      The Knowledge Project

      2,672 Listeners

      The Changelog: Software Development, Open Source by Changelog Media

      The Changelog: Software Development, Open Source

      288 Listeners

      Conversations with Tyler by Mercatus Center at George Mason University

      Conversations with Tyler

      2,461 Listeners

      The Quanta Podcast by Quanta Magazine

      The Quanta Podcast

      544 Listeners

      CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

      CoRecursive: Coding Stories

      189 Listeners

      Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll

      Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

      4,167 Listeners

      Machine Learning Street Talk (MLST) by Machine Learning Street Talk (MLST)

      Machine Learning Street Talk (MLST)

      101 Listeners

      Dwarkesh Podcast by Dwarkesh Patel

      Dwarkesh Podcast

      551 Listeners

      The Rest Is History by Goalhanger

      The Rest Is History

      15,506 Listeners

      The Haskell Interlude by Haskell Podcast

      The Haskell Interlude

      14 Listeners

      Software Unscripted by Richard Feldman

      Software Unscripted

      29 Listeners

      Oxide and Friends by Oxide Computer Company

      Oxide and Friends

      67 Listeners

      Past Present Future by David Runciman

      Past Present Future

      347 Listeners

      Sharp Tech with Ben Thompson by Andrew Sharp and Ben Thompson

      Sharp Tech with Ben Thompson

      97 Listeners