#37 Compilers, Staging, Futamura Projections
March 11th 2024
Guannan Wei
#36 Behind the Person Behind this Podcast
Dec 26th 2023
Pedro Abreu
#35 Teika, Self-Education and F***ing Floating Points
Dec 04th 2023
Eduardo Rafael
#34 Foundations of Theorem Provers and Cedille2
Oct 16th 2023
Andrew Marmaduke
#33 Z3 and Lean, the Spiritual Journey
Sep 9th 2023
Leo de Moura
#32 TyDe Systems
July 22th 2023
Jan de Muijnck-Hughes
#31 Discussing Problems in PL and Academia
July 13th 2023
Jan de Muijnck-Hughes
#30 Actors, GADTs and Burnout
May 30th 2023
Dan and Pedro
#29 Can PL theory make you a better software engineer?
April 9th 2023
Jimmy Koppel
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
Download .mp3 (85.4M)Tweet