When you keep AI Lean, you keep AI correct

The Stack Overflow Podcast by Stack Overflow

Aug 28, 202600:25:22Technology

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 probabilist...

Related Episodes

Continue listening to more episodes from The Stack Overflow Podcast.

Taking a look under your agent’s hood

Oct 9, 2026 - 00:33:24

Ryan is joined by Yanbing Li, Chief Product Officer at Datadog, to talk about applying observability to n...

Tales from the 2026 Developer Survey results

Oct 6, 2026 - 00:32:56

Ryan chats with Erin Yepis, Senior Analyst at Stack Overflow, about the results from this year’s Annual D...

Constraints that make developers faster

Oct 2, 2026 - 00:28:13

Ryan chats with Julien Verlaguet, CEO at Skip Labs, about finding the balance between human tolerance and...

Your phone is AI’s newest hardware

Sep 29, 2026 - 00:27:01

Ryan sits down with Div Garg, CEO at AGI Inc., to talk about running AI agents entirely on mobile devices...

Professional skepticism is a dev’s best skill

Sep 25, 2026 - 00:28:36

Ryan chats with David Burns, Head of Developer Advocacy and Open Source at BrowserStack, about the value...

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

Sep 23, 2026 - 00:30:22

SPONSORED BY SLACK BY SALESFORCE In this episode, Ryan chats with the GM of Slack, Rob Seaman, about how...

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

Sep 22, 2026 - 00:26:47

Ryan chats with Anush Elangovan, VP of Software at AMD, about ROCm's open-source unified toolchain for GP...

The AI magic words

Sep 18, 2026 - 00:24:22

Ryan sits down with Tim O'Reilly, founder and CEO at O'Reilly Media, to talk about the role of books as u...