Radio and PodcastRadio and PodcastLive Radio & Podcasts
When you keep AI Lean, you keep AI correct artwork
Technology

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.

Java’s age is its AI superpower

Sep 9, 2026 - 00:35:39

SPONSORED BY IBM Ryan welcomes Markus Eisele to the program to talk about why your coding agent should be...

Scaling your money safely with AI

Sep 8, 2026 - 00:28:56

Episode notes: This episode with Paypal ’s CTO Srini Venkatesan was recorded at the Ai4 conference. Liste...