ABOUT THIS EPISODE
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.
English
United States
TRANSCRIPT 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
SEARCH PAST EPISODES
Search past episodes of The Data Exchange with Ben Lorica.
OTHER EPISODES IN THIS PODCAST
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 …
Steve Hou, Head of Research at Silicon Data, joins Ben Lorica to unpack the data behind the AI compute market: GPU rental indices, forward curves, and token expenditure trends that reveal a market still tightening despite talk of oversupply.
Subscribe to the Gradient Flow Newsletter 📩 https://grad…
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 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…
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 …
Disclaimer: The podcast and artwork embedded on this page are from Ben Lorica, which is the property of its owner and not affiliated with or endorsed by Listen Notes, Inc.
EDIT
Thank you for helping to keep the podcast database up to date.
