Episode 983 · The Stack Overflow Podcast
When you keep AI Lean, you keep AI correct
28 Aug 2026 · 25 min
Episode 983 · The Stack Overflow Podcast
28 Aug 2026 · 25 min
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…
by The Stack Overflow Podcast · English · Tech & Science
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…
E987 · 8 Sep 2026 · 29 min
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.
E986 · 4 Sep 2026 · 32 min
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…
E984 · 1 Sep 2026 · 30 min
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…
E982 · 25 Aug 2026 · 33 min
Ryan is joined by Praveen Bodigutla, Principal AI Researcher at LinkedIn, to chat about LinkedIn's cognitive memory agent for agentic personalization.
E981 · 21 Aug 2026 · 33 min
See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.
E980 · 21 Aug 2026 · 26 min
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.
E998 · 9 Oct 2026 · 33 minNew
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…
E997 · 6 Oct 2026 · 33 min
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…
E996 · 2 Oct 2026 · 28 min
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…
E995 · 29 Sep 2026 · 27 min
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…