Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy

More from The Peterman Pod

1. 

   10 Aug 2026 · 1 hr 8 min

   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 change how we write software and do math. • My ergonomic keyboard project I mentioned, you can follow along here: https://read.compose.llc/ • The Kickstarter page for it: https://www.kickstarter.com/projects/ryanlpeterman/compose-simple-ergonomics-beautifully-done Podcast links: • YouTube: https://youtu.be/KzdYKeAqWhY • Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835 • Transcript:…

2. 

   3 Aug 2026 · 1 hr 5 min

   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 predictions for how AI will impact programming languages. • My ergonomic keyboard project I mentioned, you can follow along here: https://read.compose.llc/ • The Kickstarter page for it: https://www.kickstarter.com/projects/ryanlpeterman/compose-simple-ergonomics-beautifully-done Podcast links: • YouTube: https://youtu.be/jCZnFKk6M9A • Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835 • Transcript:…

3. 

   27 Jul 2026 · 1 hr 28 min

   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 major breakthroughs and his predictions for AI today. • My ergonomic keyboard project I mentioned, you can follow along here: https://read.compose.llc/ • The Kickstarter page for it: https://www.kickstarter.com/projects/ryanlpeterman/compose-simple-ergonomics-beautifully-done Podcast links: • YouTube: https://youtu.be/FleTXB1fAcQ • Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835 • Transcript:…

4. 

   13 Jul 2026 · 59 min

   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 GPU/TPUs and career advice from half a century of experience. • My ergonomic keyboard project I mentioned, you can follow along here: https://read.compose.llc/ • The Kickstarter page for it: https://www.kickstarter.com/projects/ryanlpeterman/compose-simple-ergonomics-beautifully-done Podcast links: • YouTube: https://youtu.be/Pn4ZwlEh5nw • Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835 • Transcript:…

5. 

   6 Jul 2026 · 1 hr 2 min

   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 and why it broke the law at the time. • My ergonomic keyboard project I mentioned, you can follow along here: https://read.compose.llc/ • The Kickstarter page for it: https://www.kickstarter.com/projects/ryanlpeterman/compose-simple-ergonomics-beautifully-done Podcast links: • YouTube: https://youtu.be/AZLOETBCQM4 • Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835 • Transcript:…

6. 

   29 Jun 2026 · 1 hr 13 min

   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 by asking him a popular Leetcode question (3 SUM). Correction: In this podcast I say "lower bound" when I mean "upper bound" and vice versa. Was speaking using the intuition that lower is better for running time. In reality, the accurate usage is: "Lower bound" = A proven floor for a problem e.g. "no algorithm can possibly be faster" "Upper bound" = A proven ceiling for a specific solution e.g. "there exists an algorithm this fast" Professor…

7. 

   5 Oct 2026 · 35 min

   Neetcode: Google vs Amazon, Programming Interviews, Quitting Big Tech

   Neetcode is the most well-known coding interview prep creator with over 1M+ subs on YouTube. I interviewed him about the latest on coding interviews, his career at Amazon vs Google, and what it was like quitting big tech to do his own thing. • My ergonomic keyboard project I mentioned, you can follow along here: https://read.compose.llc/ • The Kickstarter page for it: https://www.kickstarter.com/projects/ryanlpeterman/compose-simple-ergonomics-beautifully-done Podcast links: • YouTube: https://youtu.be/K15dND_Kfvg • Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835 •…

8. 

   28 Sep 2026 · 3 hr 8 min

   Amazon VP: Questions On Corporate Politics But They Get Increasingly Darker | Ethan Evans

   In this episode, I asked Ethan Evans (ex-Amazon VP) questions about common situations in corporate politics but they get increasingly darker. • My ergonomic keyboard project I mentioned, you can follow along here: https://read.compose.llc/ • The Kickstarter page for it: https://www.kickstarter.com/projects/ryanlpeterman/compose-simple-ergonomics-beautifully-done Podcast links: • YouTube: https://www.youtube.com/watch?v=KhjhRRz3VJw • Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835 • Transcript: https://www.developing.dev/p/e068-ethan-evans Thank you to this…

9. 

   21 Sep 2026 · 44 min

   OpenAI & Meta Distinguished Eng (IC9): The Psychology Behind Tech Career Peaks | Philip Su

   Philip Su grew quickly to a Distinguished Engineer at Facebook and OpenAI. We talked about the psychology behind peaking in a tech career and the pressure at the highest levels. • My ergonomic keyboard project I mentioned, you can follow along here: https://read.compose.llc/ • The Kickstarter page for it: https://www.kickstarter.com/projects/ryanlpeterman/compose-simple-ergonomics-beautifully-done Podcast links: • YouTube: https://www.youtube.com/watch?v=RMo04pSSiao • Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835 • Transcript:…

10. 

    14 Sep 2026 · 1 hr 58 min

    Casey Muratori: Surprises In Computer History And Where Bad Code Comes From

    Casey Muratori is a video game developer and programming creator also known for his talks about the history of software and computing. We talked about surprising parts he found while digging through computer history, where bad code comes from, and his career story. • My ergonomic keyboard project I mentioned, you can follow along here: https://read.compose.llc/ • The Kickstarter page for it: https://www.kickstarter.com/projects/ryanlpeterman/compose-simple-ergonomics-beautifully-done Podcast links: • YouTube: https://youtu.be/jHLbL1Eg4gM • Apple:…

Every episode of The Peterman Pod →