معلومات عن هذه الحلقة
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.
الإنجليزية
الولايات المتحدة
النص 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
البحث في الحلقات الماضية
البحث في الحلقات السابقة من The Data Exchange with Ben Lorica.
حلقات أخرى في هذا البودكاست
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 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 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 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 …
إخلاء المسؤولية: البودكاست والأعمال الفنية المضمنة في هذه الصفحة مأخوذة من Ben Lorica، وهي مملوكة لمالكها وليست تابعة لشركة Listen Notes, Inc أو معتمدة منها.
تعديل
شكراً على مساعدتنا في الحفاظ على قاعدة بيانات البودكاست مُحدَّثة.
