#29 Can PL theory make you a better software engineer? - Jimmy Koppel
Type Theory Forall
English - April 09, 2023 21:30 - 1 hour - 85.4 MB - ★★★★★ - 6 ratingsTechnology Science type theory programming languages academia Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: #28 Formally Verifying Smart Contracts - Pruvendo
Next Episode: #30 Actors, GADTs and Burnout - Dan and Pedro
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