Résultats
13 articlesTrier
34:11EN
GOTO Conferences· 23 oct. 2026Anatoliy Bilenko and Alberto Carretero: Making Database Protocols Reliable with Formal Methods and AIAnatoliy Bilenko, Alberto Carretero · CanonicalCanonical’s database engineers connect executable specifications, model-based tests, failure exploration, and reconstructed execution histories—and explain why none of these techniques proves a real system correct on its own.
1:01:33EN
DeepLearningAI· 22 sept. 2026Spec-Driven Development with Coding Agents: Write the Spec, Let the Agent BuildAndrew Ng, Paul Everitt · DeepLearning.AIJetBrains developer advocate Paul Everitt walks through a full spec-driven workflow: a project constitution, feature loops of plan–implement–validate, and agent skills that travel across tools. The alternative to vibe coding is a markdown contract the agent cannot forget.
27:19EN
No Priors: AI, Machine Learning, Tech, & Startups· 23 oct. 2025Podcast · 2 voixThe Turing Test Passed. Warp's CEO Says Nobody Seemed to CareAnime : Sarah Guo, Elad GilZach Lloyd on distilling intelligence without consciousness, why a 40-year-old terminal is the front door for coding agents, and why senior engineers just got more expensive.
5:20:08EN
Lex Fridman· 22 mars 2025Podcast · 2 voixThePrimeagen Would Rather Redesign the Room Than Trust WillpowerInvité : ThePrimeagen · Anime : Lex FridmanLex Fridman talks with Michael Paulson about linked lists, Netflix, Neovim, ADHD, addiction, AI, and the night he says God gave him a conscience.
50:35ENNo Priors: AI, Machine Learning, Tech, & Startups· 13 mars 2025Podcast · 2 voixCopilot Already Writes Half the Code. GitHub's CEO Says Agents Still Have Four Gates to ClearAnime : Sarah Guo, Elad GilThomas Dohmke on agent mode, why median developers are not going anywhere, and how AI is repricing the tools that write software.
38:28ENNo Priors: AI, Machine Learning, Tech, & Startups· 8 oct. 2024Podcast · 2 voixHalf of Production AI Is RAG. Fine-Tuning Almost Disappeared.Anime : Sarah Guo, Elad GilBraintrust CEO Ankur Goyal tells No Priors what Notion, Zapier, and Vercel actually ship — and which hyped techniques they quietly dropped.
2:29:04ENLex Fridman· 6 oct. 2024Podcast · 2 voixKeep the Programmer in the Driver's Seat: Cursor's Founders on Tab, Agents, and Zero-Entropy EditingInvité : Cursor Team · Anime : Lex FridmanMichael Truell, Aman Sanger, Sualeh Asif, and Arvid Lunnemark tell Lex Fridman why they forked VS Code, how Tab and Apply actually work, and why most programming still needs a human iterating in real time.
38:13ENNo Priors: AI, Machine Learning, Tech, & Startups· 31 août 2023Podcast · 2 voixChatGPT Runs on His Framework. He Still Doesn't Want You Training a ModelAnime : Sarah Guo, Elad GilVercel founder Guillermo Rauch tells No Priors why frontend is the last mile of AI, why first-generation AI frameworks will be rewritten, and why bots are already stealing your tokens.
43:45ENNo Priors: AI, Machine Learning, Tech, & Startups· 3 août 2023Podcast · 2 voixEight Years of No Growth, Then OpenAI and NVIDIA Became His CustomersAnime : Sarah Guo, Elad GilWeights & Biases CEO Lukas Biewald tells No Priors how a labeling company with no chasm to cross funded the ML developer tools that trained most of the large language models.
1:08:07EN
Lenny's PodcastPodcast · 2 voixContext Is All You Need: Inside OpenAI with Logan KilpatrickInvité : Logan Kilpatrick · Anime : Lenny RachitskyOpenAI's head of developer relations on GPTs, prompting, how the company ships fast, and where startups can build without being steamrolled.
1:30:00ENLenny's PodcastPodcast · 2 voixInside Stripe's Product Engineering Culture: Friction Logs, Engineer Occasions and 45-Minute DeploysInvité : David Singleton · Anime : Lenny RachitskyStripe CTO David Singleton explains how the company hires, builds with early users, sweats the details and ships constantly without breaking a business-critical system.
1:15:13ENLenny's PodcastPodcast · 2 voixShipping Real Apps Without Writing Code: A Non-Technical PM's Cursor and Claude Code WorkflowInvité : Zevi Arnovitz · Anime : Lenny RachitskyZevi Arnovitz, a product manager with no technical background, walks Lenny Rachitsky through the slash-command workflow he uses to build and ship products with AI.
1:27:44ENLenny's PodcastPodcast · 2 voixEverybody Can Cook: Guillermo Rauch on v0, Vercel and the Collapse of SpecializationInvité : Guillermo Rauch · Anime : Lenny RachitskyVercel's CEO explains how v0 turns intent into shipped products, why understanding how software works still matters, and how teams can build taste through exposure.