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
      Hanselminutes with Scott Hanselman by Scott Hanselman

      Hanselminutes with Scott Hanselman

      383 Listeners

      The Quanta Podcast by Quanta Magazine

      The Quanta Podcast

      530 Listeners

      ChinaTalk by Jordan Schneider

      ChinaTalk

      288 Listeners

      CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

      CoRecursive: Coding Stories

      190 Listeners

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

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

      4,175 Listeners

      Iowa Type Theory Commute by Aaron Stump

      Iowa Type Theory Commute

      19 Listeners

      Dwarkesh Podcast by Dwarkesh Patel

      Dwarkesh Podcast

      505 Listeners

      Signals and Threads by Jane Street

      Signals and Threads

      72 Listeners

      The Haskell Interlude by Haskell Podcast

      The Haskell Interlude

      13 Listeners

      Software Unscripted by Richard Feldman

      Software Unscripted

      29 Listeners

      The Rest Is Politics by Goalhanger

      The Rest Is Politics

      3,070 Listeners

      Oxide and Friends by Oxide Computer Company

      Oxide and Friends

      63 Listeners

      The Rest Is Money by Goalhanger

      The Rest Is Money

      182 Listeners

      BG2Pod with Brad Gerstner and Bill Gurley by BG2Pod

      BG2Pod with Brad Gerstner and Bill Gurley

      474 Listeners