When you keep AI Lean, you keep AI correct

When you keep AI Lean, you keep AI correct

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 for winning the badge on their answer to Check two float/double values for exact equality.

See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(977)

Inside LinkedIn's cognitive memory agent for agentic personalization

Inside LinkedIn's cognitive memory agent for agentic personalization

Ryan is joined by Praveen Bodigutla, Principal AI Researcher at LinkedIn, to chat about the four-layer memory system his team built to give LinkedIn's hiring assistant a persistent, personalized state...

25 Aug 32min

From PHP to team lead of agents: rethinking judgment, review, and data with Google's Andi Gutmans (Part 1)

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

21 Aug 25min

Get rid of your CAPTCHA, the future of the web is bots

Get rid of your CAPTCHA, the future of the web is bots

21 Aug 32min

Building an agentic SDLC with a QA engineering mindset

Building an agentic SDLC with a QA engineering mindset

Ryan welcomes Suneet Malhotra, Senior Manager of Test Engineering at Motorola Solutions, to chat about building end-to-end agentic SDLC pipelines using MCPs, using Cohen’s kappa to evaluate multiple L...

18 Aug 28min

Solving integration woes with a hackathon

Solving integration woes with a hackathon

Ryan welcomes Meryll Blanchet,  Director of Engineering for Adobe Brand Visibility, to chat about Adobe’s recent acquisition of Semrush, how Adobe Brand Visibility was born from Semrush’s AI visibilit...

14 Aug 28min

Your tokenmaxxing is not valuemaxxing

Your tokenmaxxing is not valuemaxxing

Ryan is joined by Coder’s Rob Whiteley to chat about why tokenmaxxing isn’t proving real value and just triggering Goodhart’s Law, how release speed and PR merges can help you measure agentic outcomes...

11 Aug 29min

How to be fearlessly AI native

How to be fearlessly AI native

Ryan welcomes McLaren Stanley, Senior Principal Engineer for Amazon Stores, to discuss what it actually takes to make teams AI native, why agentic engineering is shifting code bottlenecks downstream t...

7 Aug 40min

Populært innen Business og økonomi

stopp-verden
lydartikler-fra-aftenposten
dine-penger-pengeradet
rss-penger-polser-og-politikk
e24-podden
rss-borsmorgen-okonominyhetene
rss-skravla-gar
utbytte
livet-pa-veien-med-jan-erik-larssen
pengesnakk
rss-orjasater
pengepodden-2
rss-pa-konto
finansredaksjonen
tid-er-penger-en-podcast-med-peter-warren
lederpodden
morgenkaffen-med-finansavisen
stormkast-med-valebrokk-stordalen
okonomiamatorene
liberal-halvtime