The Stack Overflow Podcast

Hosted by The Stack Overflow Podcast

Technology Business Society CultureInterviews guests

Website RSS feed

Episodes

992

Latest episode

Oct 2026

Language

About the show

For well over a decade, the Stack Overflow Podcast has been exploring what it means to be a developer and how the art and practice of software engineering is changing our world. From creating code to running it in production, we host important conversations and fascinating guests that will help you understand how technology is made and where it’s headed. Hosted by Ryan Donovan, the Stack Overflow Podcast is your home for all things software. ]]>

Listen to episodes

60 recent

October 16, 202628 min

AI says you’re right, formal methods say you’re wrong

Ryan is joined by Gabriela Moreira, CEO at Quint, about why formal specification languages like TLA+ are essential for catching system design flaws before writing code, how Quint brings developer-friendly syntax and executability to formal methods, and the ways trace validation and model-based testing can verify AI-generated code against real-world production data. Episode notes: Quint is an open-source, executable specification language and toolchain based on TLA+ that enables engineers to model, simulate, and verify system behaviors using an intuitive, programmer-friendly syntax. Connect with Gabriela on LinkedIn and X . Congrats to Populist badge winner Alex K. for winning the badge on their answer to SQL Server: Select Top 0? . See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info .

October 13, 202643 min

Keep calm and call clone with Rust

Ryan sits down with Josh Triplett, member of the Rust Leadership Team at the Rust Project, to chat about how the borrow checker delivers compile-time memory safety without garbage collection overhead, why Rust consistently ranks as developers' most loved language by providing psychological safety for complex systems, and how strict compiler constraints make Rust an ideal target for AI coding agents. Episode notes: Rust is an open-source systems programming language focused on performance, type safety, and compile-time memory safety without the runtime overhead of garbage collection. Connect with Josh on his website , on LinkedIn , or chat with him on the Rust Zulip . Congrats to Great Answer badge winner Germa Vinsmoke for winning the badge on their answer to Can I access variables from another file? . See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info .

October 9, 202633 min

Taking a look under your agent’s hood

Ryan is joined by Yanbing Li, Chief Product Officer at Datadog, to talk about applying observability to non-deterministic AI agents, blurring the boundaries between software development and production workflows, and navigating emerging challenges in AI security and tokenomics. Episode notes: Datadog is an observability and security platform for cloud applications, providing real-time monitoring for infrastructure, distributed systems, and AI agent behavior. Connect with Yanbing on LinkedIn and learn more on the Datadog website . Congrats to Great Answer badge winner insertusernamehere for winning the badge on their answer to How can I get a character array from a string? . See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info .

October 6, 202632 min

Tales from the 2026 Developer Survey results

Ryan chats with Erin Yepis, Senior Analyst at Stack Overflow, about the results from this year’s Annual Developer Survey, including the overwhelming daily usage of AI coding assistants despite lingering developer trust issues, the critical role of well-organized documentation in providing verifiable context to mitigate AI hallucinations, and the evolving ways developers are shifting away from active community posting in favor of passive knowledge consumption. Episode notes: Check out the full 2026 Developer Survey results . Connect with Erin on LinkedIn and read her past articles on the Stack Overflow blog . Congrats to Stellar Question badge winner Franck Freiburger for winning the badge on their question Biggest integer that can be stored in a double . See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info .

October 2, 202628 min

Constraints that make developers faster

Ryan chats with Julien Verlaguet, CEO at Skip Labs, about finding the balance between human tolerance and tooling constraints, the spectrum of typed programming languages, and building cost-effective tooling for AI agents. Episode notes: Skip Labs develops a programming language designed for reactive programming alongside specialized constraint-based tooling for AI agents. Connect with Julien Verlaguet on LinkedIn . Congrats to Populist badge winner s0nix for winning the badge on their answer to Git through Visual Studio Code is unusably slow . See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info .

September 29, 202627 min

Your phone is AI’s newest hardware

Ryan sits down with Div Garg, CEO at AGI Inc., to talk about running AI agents entirely on mobile devices, optimizing models for edge computing chips, and building safety mechanisms into autonomous app interactions. Episode notes: AGI Inc. is a research lab building the world's best on-device models that allow AI to autonomously interact with millions of third-party mobile applications. Connect with Div on LinkedIn and check out AGI on X . Congrats to Great Question badge winner Nathan Fellman for winning the badge on their question How does reverse debugging work? . See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info .

September 25, 202628 min

Professional skepticism is a dev’s best skill

Ryan chats with David Burns, Head of Developer Advocacy and Open Source at BrowserStack, about the value of professional skepticism in an AI-driven world, applying test-driven development to agentic engineering, and why fixing flaky tests comes down to managing application state. Episode notes: BrowserStack is a software testing platform where David heads up developer advocacy and the open source office. Connect with David Burns on LinkedIn to check out his podcast, BrowserStack Talks . Congrats to Populist badge winner brentvatne for winning the badge on their answer to Read app.json (or exp.json) programmatically . See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info .

September 23, 202630 min

Multiplayer AI: Why your team (and its agents) need a group chat

SPONSORED BY SLACK BY SALESFORCE In this episode, Ryan chats with the GM of Slack, Rob Seaman, about how their new Code Channels feature is bringing multiplayer AI to your team chats. They discuss how most interactions with coding agents become siloed context, why a party chat with devs and agents flattens writing code and code review into a single step, and why a Slack channel might be a better dev environment than a terminal. Episode notes : Check out the article Rob mentioned: Learning on the shop floor . If you want to code multiplayer, check out Code Channels . Connect with Rob by email at rseaman@slack-corp.com , on LinkedIn , or Twitter . Congrats to Populist badge winner petro.sidlovskyy for dropping a great answer on What's the best way to ensure a base class's static constructor is called? . See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info .

September 22, 202626 min

Haters think AI agents can't write GPU code? This'll ROCm

Ryan chats with Anush Elangovan, VP of Software at AMD, about ROCm's open-source unified toolchain for GPUs, how agentic AI is drastically lowering the barrier to entry for low-level hardware programming, and the rapid convergence of software and hardware development timelines. Episode notes: ROCm is AMD's unified, open-source software layer and toolchain that allows developers to program on AMD's hardware accelerators. Connect with Anush on X . Congrats to Populist badge winner Blitz for winning the badge on their answer to Is there a way to view your apps dot entitlements file from your app’s IPA archive? . See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info .

September 18, 202624 min

The AI magic words

Ryan sits down with Tim O'Reilly, founder and CEO at O'Reilly Media, to talk about the role of books as user interfaces to knowledge, the power of "magic words" to extract better outputs from AI, and why human taste is becoming highly valuable as knowledge becomes a commodity. Episode notes: O'Reilly Media is a technology transfer company that leverages books, online learning platforms, and their new O'Reilly Expert Intelligence tool to shape both human and agentic learning. Connect with Tim on X and read his Substacks, Conversations with AI and Asimov's Addendum . See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info .