#29 Can PL theory make you a better software engineer? - Jimmy Koppel
Jimmy Koppel
April 9, 20231h 24m
Audio is streamed directly from the publisher (api.typetheoryforall.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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