ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "#29 Can PL theory make you a better software engineer? - Jimmy Koppel"
Episode Synopsis
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 episodes of the podcast Type Theory Forall
#51 s/Coq/Rocq - Nicolas Tabareau
04/06/2025
#49 Self-Education in PL - Ryan Brewer
14/03/2025
In God we trust