Home Podcasts The Peterman Pod
The Peterman Pod

The Peterman Pod

Ryan Peterman 52 Episodes Aug 17, 2026

The Peterman Pod shares transparent career stories of technical people. Hosted by an ex-Staff engineer at Instagram, it offers insights into the tech industry. Each episode features candid conversations about professional journeys and lessons learned.

Episodes

Creator of TypeScript: 10x Faster Typescript, Why AI Won't Replace SWEs | Anders Hejlsberg
Creator of TypeScript: 10x Faster Typescript, Why AI Won't Replace SWEs | Anders Hejlsberg Aug 17, 2026 01:05:57 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 his thoughts on how AI has impacted software engineering.• 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-er
Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura
Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura Aug 10, 2026 01:08:06 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-beaut
Creator of Lua: Scripting, Programming Languages, Predictions | Roberto Ierusalimschy
Creator of Lua: Scripting, Programming Languages, Predictions | Roberto Ierusalimschy Aug 3, 2026 01:05:16 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-si
Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl
Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl Jul 27, 2026 01:27:33 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-ergonomi
Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy
Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy Jul 20, 2026 01:24:27 Xavier Leroy (creator of OCaml) is an expert in compilers, formal verification of software and functional programming. This interview should be an approachable resource if you're curious about formal verification of software since I was learning that on the fly during it.• My ergonomic keyboard project I mentioned, you can follow along here: https://read.compose.llc/• The Kickstarter page for
Turing Award Winner: TPU vs GPU vs CPU, Computer Architecture, RISC vs CISC | David Patterson
Turing Award Winner: TPU vs GPU vs CPU, Computer Architecture, RISC vs CISC | David Patterson Jul 13, 2026 00:59:11 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-simpl
Turing Award Winner: NSA, Public Key Cryptography, Crypto Wars | Martin Hellman
Turing Award Winner: NSA, Public Key Cryptography, Crypto Wars | Martin Hellman Jul 6, 2026 01:01:41 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-beauti
MIT Complexity Theorist: Why You Can Do Better Than “Optimal” On Leetcode & SAT | Ryan Williams
MIT Complexity Theorist: Why You Can Do Better Than “Optimal” On Leetcode & SAT | Ryan Williams Jun 29, 2026 01:12:52 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 acc
OpenAI Eng & Dev Tools Founder: How Software Engineering Is Changing | Charlie Marsh
OpenAI Eng & Dev Tools Founder: How Software Engineering Is Changing | Charlie Marsh Jun 22, 2026 01:22:56 Charlie Marsh is the founder of Astral, the Python devtool startup that was acquired by OpenAI. I inteviewed him about how software engineering is changing and learnings from starting his own company as an engineer.• 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/compos
Google DeepMind Pre-Training Lead: How To Land a Job at a Frontier Lab | Vlad Feinberg
Google DeepMind Pre-Training Lead: How To Land a Job at a Frontier Lab | Vlad Feinberg Jun 15, 2026 01:04:03 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, Anthropic or OpenAI.• 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-donePodcast links:• Y
Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones Jun 8, 2026 01:27:52 Simon Peyton Jones is the co-creator of Haskell (pure functional programming language) and I interviewed him about functional programming, why it matters, and his thoughts on other programming languages.• My ergonomic keyboard project I mentioned, you can follow along here: https://read.compose.llc/Podcast links:• YouTube: https://youtu.be/xcB_LF3cdqw• Apple: https://podcasts.apple.com/us/podcast/
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson Jun 1, 2026 02:15:47 Avi Wigderson is the only person in history to have won both a Turing Award (computer science) and Abel Prize (math). I interviewed him all about his field.• My ergonomic keyboard project I mentioned, you can follow along here: https://read.compose.llc/Podcast links:• YouTube: https://youtu.be/5GUcvSAJcJw• Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835• Transcript: http

Recommended