À PROPOS DE CET ÉPISODE
Ben Lorica speaks with Leo de Moura, creator of Lean, VP and Distinguished Scientist at AWS, and Chief Architect of the Lean Focused Research Organization, about how AI is making formal verification more accessible and potentially transforming software engineering.
Subscribe to the Gradient Flow Newsletter 📩 https://gradientflow.substack.com/
Subscribe: Apple · Spotify · Overcast · Pocket Casts · AntennaPod · Podcast Addict · Amazon · RSS.
Detailed show notes and transcript, can be found on The Data Exchange web site.
Anglais
États-Unis
TRANSCRIPTION 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
RECHERCHER LES ÉPISODES PASSÉS
Rechercher les épisodes précédents de The Data Exchange with Ben Lorica.
AUTRES ÉPISODES DANS CE PODCAST
Ben Lorica is joined by Evangelos Simoudis for a wide-ranging discussion on how AI is reshaping knowledge work: from the Navier-Stokes controversy and the need to protect intellectual property to whether workers should still be expected to understand and defend AI-generated work.
Subscribe to the…
Ben Lorica speaks with Andrew Dai, co-founder and CEO of Elorian AI, about why today’s frontier models still struggle with complex visual reasoning and why simply scaling language-centric architectures may not solve the problem.
Subscribe to the Gradient Flow Newsletter 📩 https://gradientflow.subs…
Ben Lorica talks with Abi Aryan, AI engineer, author of LLMOps: Managing Large Language Models in Production, about how deploying generative AI is turning into a distributed systems problem.
Subscribe to the Gradient Flow Newsletter 📩 https://gradientflow.substack.com/
Subscribe: Apple · Spotify …
Maarten Grootendorst, a developer relations engineer at Google DeepMind and co-author of Hands-On Large Language Models and An Illustrated Guide to AI Agents, joins Ben Lorica to explain the concepts developers need to understand beneath today’s AI tools.
Subscribe to the Gradient Flow Newsletter …
Ben Lorica talks with David Fattal, founder and CTO of Leia Inc., about why stereo data could become an important ingredient for AI systems that need to understand the physical world.
Subscribe to the Gradient Flow Newsletter 📩 https://gradientflow.substack.com/
Subscribe: Apple · Spotify · Overc…
Avertissement: Le podcast et les illustrations intégrés sur cette page proviennent de Ben Lorica, qui est la propriété de son propriétaire et n'est ni affilié ni approuvé par Listen Notes, Inc.
MODIFIER
Merci de nous avoir aidé à tenir la base de données de podcasts à jour.
