Skip to content
Artwork for The Stack Overflow Podcast
TechnologySociety & CultureBusiness

The Stack Overflow Podcast

The Stack Overflow Podcast

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.

Play
  • 44 episodes
  • a few times a week
  • Avg 29 min
  • English
Counted on this page — what you have heard stays on this device, so it is not something the list can be paged by.
  • #1001
    Yesterday · 24 min

    Don't forget about the UI for AI

    Recorded at OpenAI Dev Day 2026, Ryan sits down with Andrew Ambrosino, member of the technical staff at OpenAI, for a conversation on OpenAI's strategy for merging ChatGPT and Codex into a unified experience, the advantages of localized computer access in their successful desktop application, and the technical hurdles of constructing ChatGPT Spaces to support real-time multi-agent collaboration. Episode notes: ChatGPT Space is a newly launched collaborative workspace within ChatGPT and Codex that allows software engineering teams and their active AI agents to work together in real-time. Connect with Andrew on X. See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

  • #1000
    Friday · 28 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.

  • #999
    October 13 · 43 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.

  • #998
    October 9 · 33 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.

  • #997
    October 6 · 32 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.

  • #996
    October 2 · 28 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.

  • #995
    September 29 · 27 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.

  • #994
    September 25 · 28 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.

  • #992
    September 23 · 30 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.

  • #993
    September 22 · 26 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.

  • #991
    September 18 · 24 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.

  • #990
    September 15 · 38 min

    AI, JD, and other letters of the law

    Ryan chats with Kevin Frazier, director of the AI Innovation and Law program at the University of Texas School of Law, about the legal and social impacts of data centers, the realities of workforce disruption, and regulating AI for child safety using existing consumer protection laws. Episode notes: The AI Innovation and Law program at the University of Texas School of Law explores the complex legal and policy questions surrounding artificial intelligence, which Kevin also covers on his own podcast, Scaling Laws. This episode was recorded at the Ai4 conference. Listen to our other Ai4 conversation with Paypal’s Srini Venkatesan and Zscaler’s Sam Curry. Connect with Kevin on LinkedIn and X. See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

  • #989
    September 11 · 27 min

    AI cybersecurity is a cat and mouse game

    Ryan chats with Sam Curry, CSO at Zscaler, about where human intelligence sits in the new security landscape with AI, why shifting security protections closer to applications helps limit probes for vulnerabilities, and why building more resilient code infrastructure is the best way to address the vulnerabilities AI does discover. Episode notes: Zscaler is a cybersecurity company that provides cloud-based security solutions, zero trust architecture, and TLS inspection to help organizations securely operate in multi-tenant environments. This episode was recorded at the Ai4 conference. Listen to our other Ai4 conversation with Anaconda’s Greg Jennings and Paypal’s Srini Venkatesan. Connect with Sam Curry on LinkedIn or reach out via email at sam@zscaler.com. See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

  • #988
    September 9 · 35 min

    Java’s age is its AI superpower

    SPONSORED BY IBM Ryan welcomes Markus Eisele to the program to talk about why your coding agent should be writing Java. They talk about why the long history of Java both makes for a stable language and a source of training data for AI. On top of that, they discuss how agentic Java excels by working with powerful partners: a massive ecosystem of Java libraries and agentic harnesses. Try out Bob, IBM’s coding agent that Markus talked about in the episode. Connect with Markus on Congrats to Populist badge winner, Alex K, whose answer to ffmpeg usage to encode a video to H264 codec format outshined the accepted answer. See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

  • #987
    September 8 · 28 min

    Scaling your money safely with AI

    Episode notes: This episode with Paypal’s CTO Srini Venkatesan was recorded at the Ai4 conference. Listen to our other Ai4 conversation with Greg Jennings, VP of Engineering for AI Products at Anaconda, about building secure-by-default AI coding agents here. Connect with Srini on LinkedIn. See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

  • #986
    September 4 · 32 min

    How to build a secure-by-default AI coding agent

    Ryan chats with Greg Jennings, VP of Engineering for AI Products at Anaconda, about what it takes to build a secure-by-default AI coding agent, why prompts shouldn't be treated as strict security guardrails, and how Anaconda is using strategic acquisitions to secure the AI software supply chain. Episode notes: Anaconda is a foundational platform for Python data science and machine learning, providing secure software supply chain governance and enterprise AI infrastructure. Connect with Greg on LinkedIn and X. See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

  • #984
    September 1 · 30 min

    The good ol’ days of building Java

    Ryan sits down with Tim Lindholm, an early contributor to the Java language at Sun Microsystems, to chat about what it was like building one of the most popular programming languages ever at its inception, why it was strategically important for the Java team to create a cross-platform ABI to compete with Windows NT, and how applets were initially just an interesting demo. Episode notes: Watch the new documentary by Cult.Repo on YouTube to learn more about the early history of Java and the people who built it. Connect with Tim Lindholm on LinkedIn. Shoutout to user gabuzo for winning a Populist badge for answering What is the standard method for generating a nonce in Python?. See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

  • #983
    August 28 · 25 min

    When you keep AI Lean, you keep AI correct

    Ryan chats with Leo de Moura, Senior Principal Applied Scientist at AWS and the creator of the Lean language, about proving correctness in AI agents with the Lean language, how automated reasoning complements probabilistic AI models, and the use of AI for continuous code optimization. Episode notes: Lean is a functional programming language and proof assistant that allows developers to write programs and verify their mathematical correctness within the exact same system. Connect with Leo on LinkedIn and check out his many badges on Stack Overflow. Congrats to Populist badge winner Peter Lawrey for winning the badge on their answer to Check two float/double values for exact equality. See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

  • #982
    August 25 · 32 min

    Inside LinkedIn's cognitive memory agent for agentic personalization

    Ryan is joined by Praveen Bodigutla, Principal AI Researcher at LinkedIn, to chat about the four-layer memory system his team built to give LinkedIn's hiring assistant a persistent, personalized state. Praveen explains why his team moved off GraphRAG in favor of a tree-structured memory for faster incremental updates and how they balance retrieval freshness, latency budgets, and access control at LinkedIn's scale. Connect with Praveen on LinkedIn. Congrats to Populist badge winner Luka Ganić, who answered SVG image as button in Flutter so well it outscored the accepted answer! See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

  • #980
    August 21 · 25 min

    From PHP to team lead of agents: rethinking judgment, review, and data with Google's Andi Gutmans (Part 1)

    Andi Gutmans, head of Agentic Data Cloud at Google and co-creator of PHP, joins Leaders of Code to talk about why agentic development feels less like a break from the past and more like the next chapter of the same story. This is part one of a two-part conversation. In this episode, Eira May and Stack Overflow Director of Platform Engineering Peter O'Connor talk with Andi Gutmans about the throughline between democratizing web development with PHP and democratizing software development with agents today. Andi makes the case that every individual contributor is becoming “a team lead of agents” and walks through how that reshapes code review, interviewing, and the balance of human versus agent judgment. He also explains why he thinks the biggest bottleneck left isn't the models, but the challenge of getting an organization's data into a state where agents can actually reason over it. The discussion also: Covers how Google is changing its own interview process to evaluate how candidates reason with and guide agents, rather than how well they can hand-code a solution alone. Explores the "human in the loop, agent in the loop, agent on the loop" framework for deciding where review actually needs to happen — and why that's fundamentally a risk-management question, not a trust-in-AI question. Uses the Waymo safety-data-versus-perception gap as an analogy for why organizations (and individuals) sometimes resist agent autonomy even when the numbers favor it. Introduces Google's "borderless lakehouse" concept and the shift from human data stewardship to agent-driven ontology building. Notes: Connect with Andi Gutmans on LinkedIn. Connect with Peter O'Connor on LinkedIn. See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

Showing 1–20 of 44 episodes