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.

Tämä jakso on lisätty Podme-palveluun avoimen RSS-syötteen kautta eikä se ole Podmen omaa tuotantoa. Siksi jakso saattaa sisältää mainontaa.

Jaksot(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 Elo 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 Elo 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 Elo 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 Elo 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 Elo 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 Elo 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 Elo 40min

Suosittua kategoriassa Liike-elämä ja talous

sijotuskasti
mimmit-sijoittaa
rss-rahapodi
psykopodiaa-podcast
ostan-asuntoja-podcast
rss-rahamania
oppimisen-psykologia
pomojen-suusta
rss-ammattipodcast
hyva-paha-johtaminen
rss-oivalluksia-rahasta-elamasta
rss-pinnan-alle
rss-bisnesta-bebeja
syo-nuku-saasta
rss-sami-miettinen-neuvottelija
rahapuhetta
asuntoasiaa-paivakirjat
pari-sanaa-lastensuojelusta
rss-porssipuhetta
sijoituskaverit