Loading…

agentic AI

Subscribe to the podcast

Get The Stack Overflow Podcast at your favorite listening service.

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.

The Stack Overflow Podcast cover art

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.

The Stack Overflow Podcast cover art

AI cybersecurity is a cat and mouse game

From the floor of the Ai4 conference, 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.

The Stack Overflow Podcast cover art

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.

Leaders of Code, The Stack Overflow Podcast.