Podcast Episodes
Back to Search
Creator of TypeScript: 10x Faster Typescript, Why AI Won't Replace SWEs | Anders Hejlsberg
Anders Hejlsberg is the creator of TypeScript and C#, and I asked him about how the TypeScript compiler got 10x faster through a rewrite in Go and hi…
2 months, 1 week ago
Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura
Leonardo de Moura is the creator of Lean and the Z3 theorem prover. I talked with him about how Lean works and why LLMs plus Lean will fundamentally …
2 months, 2 weeks ago
Creator of Lua: Scripting, Programming Languages, Predictions | Roberto Ierusalimschy
Roberto Ierusalimschy is the creator of the Lua programming language. I interviewed him about Lua's unique strengths, programming language design and…
2 months, 3 weeks ago
Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl
Judea Pearl is a Turing Award winner and a pioneer in artificial intelligence and causal reasoning. We talked about how he got into science, his majo…
3 months ago
Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy
Xavier Leroy (creator of OCaml) is an expert in compilers, formal verification of software and functional programming. This interview should be an ap…
3 months, 1 week ago
Turing Award Winner: TPU vs GPU vs CPU, Computer Architecture, RISC vs CISC | David Patterson
David Patterson is a Turing Award winner famous for his contributions to computer architecture. I interviewed him about his past work, thoughts on GP…
3 months, 2 weeks ago
Turing Award Winner: NSA, Public Key Cryptography, Crypto Wars | Martin Hellman
Martin Hellman is a Turing Award winner who helped to invent public-key cryptography against the NSA's wishes. I interviewed him all about his work a…
3 months, 3 weeks ago
MIT Complexity Theorist: Why You Can Do Better Than “Optimal” On Leetcode & SAT | Ryan Williams
Ryan Williams is a professor at MIT and the winner of the Gödel Prize in theoretical computer science. I interviewed him all about his work starting …
3 months, 4 weeks ago
OpenAI Eng & Dev Tools Founder: How Software Engineering Is Changing | Charlie Marsh
Charlie Marsh is the founder of Astral, the Python devtool startup that was acquired by OpenAI. I inteviewed him about how software engineering is ch…
4 months ago
Google DeepMind Pre-Training Lead: How To Land a Job at a Frontier Lab | Vlad Feinberg
Vlad Feinberg is Google DeepMind’s pre-training area lead and I asked him all about how to land a job at a frontier lab like Google DeepMind, Anthrop…
4 months, 1 week ago