
Free Daily Podcast Summary
by Ryan Peterman
Sharing the transparent career stories of technical people. Hosted by an ex-Staff engineer at Instagram
The most recent episodes — sign up to get AI-powered summaries of each one.
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-donePodcast links:• YouTube: https://youtu.be/jHLbL1Eg4gM• Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835• Transcript: https://www.developing.dev/p/casey-muratori-surprises-in-computerThank you to this episode's sponsors for supporting my work:• Jira by Atlassian: Get more work done with your favorite agents and models all in one place, check them out at https://jira.dev/• WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at https://workos.com/Timestamps: Intro Digging into computer science history What shocked him Dijkstra was depressed The personal side of goto considered harmful The anatomy of a 35 year mistake Clean code horrible performance How to write high performance code Where bad code comes from Why design docs before code is a bad idea The only unbreakable law in software engineering How he got into programming Why he didnt work in big tech Should you work at a startup early on What video game engineering is like Why preventing recursion is reasonable Is vibe coding bad for the industry Technical reading recommendation Advice for his younger self OutroWhere to find Casey:• Website: https://caseymuratori.com/• Newsletter: https://www.computerenhance.com/• X/Twitter: https://x.com/cmuratori• GitHub: https://github.com/cmuratori• YouTube: https://www.youtube.com/@MollyRocket• Bluesky: https://bsky.app/profile/cmuratori.bsky.social• Twitch: https://www.twitch.tv/molly_rocket• Handmade Network: https://handmade.network/m/cmuratori• Wikipedia: https://en.wikipedia.org/wiki/Casey_MuratoriWhere to find Ryan:• Newsletter: https://www.developing.dev/• X/Twitter: https://x.com/ryanlpeterman• LinkedIn: https://www.linkedin.com/in/ryanlpeterman/• Threads: https://www.threads.com/@ryanlpeterman• Instagram: https://www.instagram.com/ryanlpeterman• TikTok: https://www.tiktok.com/@ryanlpetermanReferenced in this episode:• The Root of the Root of All Evil: https://computerenhance.com/theroot• The Big OOPS: Anatomy of a 35-Year Mistake: https://www.youtube.com/watch?v=wo84LFzx5nI• Edsger Dijkstra's "Notes on Structured Programming": https://www.cs.utexas.edu/~EWD/transcriptions/EWD02xx/EWD249/EWD249.html• Donald Knuth's "Structured Programming with go to Statements": https://doi.org/10.1145/356635.356640• Edsger Dijkstra's "Go To Statement Considered Harmful": https://www.cs.utexas.edu/~EWD/transcriptions/EWD02xx/EWD215.html• Ivan Sutherland's Sketchpad thesis: https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-574.html• Clean Code, Horrible Performance: https://www.computerenhance.com/p/clean-code-horrible-performance• Where Does Bad Code Come From?: https://www.youtube.com/watch?v=7YpFGkG-u1w• The Only Unbreakable Law: https://www.youtube.com/watch?v=5IUj1EZwpJY• Dijkstra letter's reference: https://medium.com/@acidflask/this-guys-arrogance-takes-your-breath-away-5b903624ca5f#.1rdj838x6
Thariq Shihipar is an engineer on Anthropic’s Claude Code team I asked him how Anthropic makes the most out of the models for engineering and how the industry will change soon.• 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:• YouTube: https://youtu.be/2Kch3tWMnw8• Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835• Transcript: https://www.developing.dev/p/how-anthropic-builds-and-how-engineeringThank you to this episode's sponsor for supporting my work:• WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at https://workos.com/Timestamps: Intro Onboarding at Anthropic Internal capabilities vs external perception Model vs Harness What percent of Anthropics changes are fully autonomous Computer use How to make the most out of your compute Loop engineering Where the industry will go soon Which model do Anthropic engineers use Is learning a particular model worth it Prompting tips for todays models How to get the models to do tasteful work How much of writing is done by AI at Anthropic Code ownership and maintenance at Anthropic How Anthropic prevents breakages Visibility and sharing your work Luck surface area example Should people still learn to code Advice for his younger self OutroWhere to find Thariq:• X/Twitter: https://x.com/trq212• LinkedIn: https://www.linkedin.com/in/thariqshihipar/• Personal Website: https://www.thariq.io/Where to find Ryan:• Newsletter: https://www.developing.dev/• X/Twitter: https://x.com/ryanlpeterman• LinkedIn: https://www.linkedin.com/in/ryanlpeterman/• Threads: https://www.threads.com/@ryanlpeterman• Instagram: https://www.instagram.com/ryanlpeterman• TikTok: https://www.tiktok.com/@ryanlpetermanReferenced in this episode:• Anthropic's post on removing 80% of Claude Code's system prompt: https://claude.com/blog/the-new-rules-of-context-engineering-for-claude-5-generation-models
Martin Odersky is the creator of Scala and I interviewed him to compare different languages designs (Rust vs Zig vs Python vs Scala) and 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-donePodcast links:• YouTube: https://youtu.be/LdN4sPWM-WY• Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835• Transcript: https://www.developing.dev/p/creator-of-scala-comparing-languages?r=n49kyThank you to this episode's sponsors for supporting my work:• WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at https://workos.com/• Jira by Atlassian: Get more work done with your favorite agents and models all in one place, check them out at https://jira.dev/Timestamps: Intro Why care about functional programming Why should people learn Scala Rust vs Scala Rust vs Zig Scala vs Python The programming languages that influenced him How running on the JVM works Why writing a compiler is hard Why Twitter adopted Scala early on How he believes AI will impact programming languages Will there be less engineers in ten years Top programming languages to learn to grow Top technical book recommendation Why he chose academia instead of industry Reflecting on Scala Advice for his younger self OutroWhere to find Martin:• Wikipedia: https://en.wikipedia.org/wiki/Martin_Odersky• Website: https://people.epfl.ch/martin.odersky• X/Twitter: https://x.com/odersky• GitHub: https://github.com/oderskyWhere to find Ryan:• Newsletter: https://www.developing.dev/• X/Twitter: https://x.com/ryanlpeterman• LinkedIn: https://www.linkedin.com/in/ryanlpeterman/• Threads: https://www.threads.com/@ryanlpeterman• Instagram: https://www.instagram.com/ryanlpeterman• TikTok: https://www.tiktok.com/@ryanlpetermanReferenced in this episode:• Structure and Interpretation of Computer Programs: https://web.mit.edu/6.001/6.037/sicp.pdf• A Brief, Incomplete, and Mostly Wrong History of Programming Languages (book): http://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html
Sergey Levine is one of the world's top robotics researchers and co-founder of Physical Intelligence. We talked about where humanoid robotics is today, thoughts on the Chinese robotics ecosystem, and his predictions for future timelines.• 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:• YouTube: https://youtu.be/9OSbaPjv0Rc• Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835• Transcript: https://www.developing.dev/p/sergey-levine-current-state-of-humanoid?r=n49kyThank you to this episode's sponsor for supporting my work:• WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at https://workos.com/Timestamps: Intro Where are we today Most surprising capabilities so far The most inspiring real world robotics If OpenAI or Anthropic got into robotics Chinese robotics Will one lab breakout from the rest Thoughts on a concrete roadmap Generalization and demonstrating it Types of data and which is best for robotics Why humanoid robotics differs from Waymo If humanoid robotics failed here is why Are there hot take modeling architectures in robotics Thoughts on AI safety in robotics Top robotics research paper recommendation Why is Boston Dynamics less top of mind Advice for his younger self OutroWhere to find Sergey:• Google Scholar: https://scholar.google.com/citations?user=8R35rCwAAAAJ&hl=en• Website: https://people.eecs.berkeley.edu/~svlevine/• Wikipedia: https://en.wikipedia.org/wiki/Sergey_Levine• X/Twitter: https://x.com/svlevine?lang=en• LinkedIn: https://www.linkedin.com/in/sergey-levine-5a31a24/Where to find Ryan:• Newsletter: https://www.developing.dev/• X/Twitter: https://x.com/ryanlpeterman• LinkedIn: https://www.linkedin.com/in/ryanlpeterman/• Threads: https://www.threads.com/@ryanlpeterman• Instagram: https://www.instagram.com/ryanlpeterman• TikTok: https://www.tiktok.com/@ryanlpetermanReferenced in this episode:• Learning Fine-Grained Bimanual Manipulation with Low-Cost Hardware (ALOHA / ACT paper): https://arxiv.org/abs/2304.13705• Emergence of Human to Robot Transfer in Vision-Language-Action Models: https://arxiv.org/abs/2512.22414• Summary of human to robot paper: https://www.pi.website/research/human_to_robot
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-ergonomics-beautifully-donePodcast links:• YouTube: https://www.youtube.com/watch?v=cywK3XYYJ2o• Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835• Transcript: https://www.developing.dev/p/creator-of-typescript-10x-fasterThank you to this episode's sponsors for supporting my work:• WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at https://workos.com/• Jira by Atlassian: Get more work done with your favorite agents and models all in one place, check them out at https://jira.dev/Timestamps: Intro Why write a compiler in JavaScript Why rewrite the compiler in Go LLMs for large migrations Why Javascript is so popular Why ever use Javascript on the backend What it takes to build a programming language Will there be fewer languages in 10 years Hands on engineering vs delegation Why fast tooling matters more now AI software engineering predictions The most technically challenging work Top book recommendation Advice for his younger self OutroWhere to find Anders:• GitHub: https://github.com/ahejlsberg• X/Twitter: https://x.com/ahejlsberg• Wikipedia: https://en.wikipedia.org/wiki/Anders_Hejlsberg• LinkedIn: https://www.linkedin.com/in/ahejlsberg/Where to find Ryan:• Newsletter: https://www.developing.dev/• X/Twitter: https://x.com/ryanlpeterman• LinkedIn: https://www.linkedin.com/in/ryanlpeterman/• Threads: https://www.threads.com/@ryanlpeterman• Instagram: https://www.instagram.com/ryanlpeterman• TikTok: https://www.tiktok.com/@ryanlpetermanReferenced in this episode:• Flow type checker repository: https://github.com/facebook/flow• TypeScript compiler repository: https://github.com/microsoft/TypeScript• Algorithms + Data Structures = Programs (book): https://en.wikipedia.org/wiki/Algorithms_%2B_Data_Structures_%3D_Programs• TypeScript native rewrite: https://devblogs.microsoft.com/typescript/announcing-typescript-7-0/
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-donePodcast links:• YouTube: https://youtu.be/KzdYKeAqWhY• Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835• Transcript: https://www.developing.dev/p/creator-of-lean-the-end-of-handwrittenThank you to this episode's sponsor for supporting my work:• WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at https://workos.com/Timestamps: Intro How formal verification works A new way of writing software Proof assistants vs programming languages How Lean has assisted in mathematical breakthroughs When is it worth formalizing software How Lean will impact handwritten math The Z3 theorem prover project he started The most technically challenging work of his career Lean vs its competitors The future of Lean Technical book recommendations Advice for his younger self OutroWhere to find Leonardo:• Wikipedia: https://en.wikipedia.org/wiki/Leonardo_de_Moura• Website: https://leodemoura.github.io/• GitHub: https://github.com/leodemoura• LinkedIn: https://www.linkedin.com/in/leonardo-de-moura-26a27b5/• X/Twitter: https://x.com/Leonard41111588Where to find Ryan:• Newsletter: https://www.developing.dev/• X/Twitter: https://x.com/ryanlpeterman• LinkedIn: https://www.linkedin.com/in/ryanlpeterman/• Threads: https://www.threads.com/@ryanlpeterman• Instagram: https://www.instagram.com/ryanlpeterman• TikTok: https://www.tiktok.com/@ryanlpetermanReferenced in this episode:• Lean 4: https://github.com/leanprover/lean4• Mathlib: Lean Mathematical Library: https://github.com/leanprover-community/mathlib4• Lean4Lean: https://github.com/digama0/lean4lean• Liquid Tensor Experiment: https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/• Veil protocol verification language: https://veil.dev/• Z3 theorem prover: https://github.com/Z3Prover/z3• seL4 formally verified microkernel: https://github.com/seL4/seL4
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-donePodcast links:• YouTube: https://youtu.be/jCZnFKk6M9A• Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835• Transcript: https://www.developing.dev/p/creator-of-lua-scripting-programmingThank you to this episode's sponsor for supporting my work:• WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at https://workos.com/Timestamps: Intro What sets Lua apart Comparing Lua with Python Top book recommendation on language design How JIT works and why it is hard Compiling Python and interpreting C How cross language calls work Lua unique design decisions Predictions for AIs impact on languages Top 3 languages to learn to become a better engineer Advice for his younger self OutroWhere to find Roberto:• Website: https://www.inf.puc-rio.br/~roberto/• Wikipedia: https://en.wikipedia.org/wiki/Roberto_IerusalimschyWhere to find Ryan:• Newsletter: https://www.developing.dev/• X/Twitter: https://x.com/ryanlpeterman• LinkedIn: https://www.linkedin.com/in/ryanlpeterman/• Threads: https://www.threads.com/@ryanlpeterman• Instagram: https://www.instagram.com/ryanlpeterman• TikTok: https://www.tiktok.com/@ryanlpetermanReferenced in this episode:• The Evolution of Lua: https://www.lua.org/doc/hopl.pdf• LuaJIT: https://luajit.org/• How much does it cost: https://www.youtube.com/watch?v=EUvgoxBm7uc• JavaScript: The Good Parts (not an affiliate link): https://www.amazon.com/dp/0596517742
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-donePodcast links:• YouTube: https://youtu.be/FleTXB1fAcQ• Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835• Transcript: https://www.developing.dev/p/turing-award-winner-early-ai-llmThank you to this episode's sponsor for supporting my work:• WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at https://workos.com/Timestamps: Intro How he got into AI Greatest scientist of all time What people thought of AI in the 80s Entering academia and researching AI The invention of Bayesian networks Pioneering work in causality The causal hierarchy LLMs and predictions A restless mind pays Advice for his younger self OutroWhere to find Judea:• X/Twitter: https://twitter.com/yudapearl• Website: https://bayes.cs.ucla.edu/jp_home.html• Wikipedia: https://en.wikipedia.org/wiki/Judea_PearlWhere to find Ryan:• Newsletter: https://www.developing.dev/• X/Twitter: https://x.com/ryanlpeterman• LinkedIn: https://www.linkedin.com/in/ryanlpeterman/• Threads: https://www.threads.com/@ryanlpeterman• Instagram: https://www.instagram.com/ryanlpeterman• TikTok: https://www.tiktok.com/@ryanlpetermanReferenced in this episode:• The Book of Why: https://en.wikipedia.org/wiki/The_Book_of_Why• Bayesian networks: https://en.wikipedia.org/wiki/Bayesian_network• Alpha-beta pruning: https://en.wikipedia.org/wiki/Alpha%E2%80%93beta_pruning• Pearl vortex: https://en.wikipedia.org/wiki/Pearl_vortex• Graphoid: https://en.wikipedia.org/wiki/Graphoid• Causality: Models, Reasoning, and Inference: https://en.wikipedia.org/wiki/Causality_(book)• Coexistence and Other Fighting Words: Selected Writings of Judea Pearl, 2002–2025: https://bayes.cs.ucla.edu/COEXISTENCE/
Sharing the transparent career stories of technical people. Hosted by an ex-Staff engineer at Instagram
AI-powered recaps with compact key takeaways, quotes, and insights.
Get key takeaways from The Peterman Pod in a 5-minute read.
Stay current on your favorite podcasts without falling behind.
It's a free AI-powered email that summarizes new episodes of The Peterman Pod as soon as they're published. You get the key takeaways, notable quotes, and links & mentions — all in a quick read.
When a new episode drops, our AI transcribes and analyzes it, then generates a personalized summary tailored to your interests and profession. It's delivered to your inbox every morning.
No. Podzilla is an independent service that summarizes publicly available podcast content. We're not affiliated with or endorsed by Ryan Peterman.
Absolutely! The free plan covers up to 3 podcasts. Upgrade to Pro for 15, or Premium for 50. Browse our full catalog at /podcasts.
The Peterman Pod publishes weekly. Our AI generates a summary within hours of each new episode.
The Peterman Pod covers topics including Technology. Our AI identifies the specific themes in each episode and highlights what matters most to you.
Free forever for up to 3 podcasts. No credit card required.
Free forever for up to 3 podcasts. No credit card required.