The Stack Overflow Podcast

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.

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.

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.

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.

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.