Results
13 articlesSort
34:11EN
GOTO Conferences· Oct 23, 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· Sep 22, 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· Oct 23, 2025Podcast · 2 speakersThe Turing Test Passed. Warp's CEO Says Nobody Seemed to CareHost 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· Mar 22, 2025Podcast · 2 speakersThePrimeagen Would Rather Redesign the Room Than Trust WillpowerGuest ThePrimeagen · Host 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· Mar 13, 2025Podcast · 2 speakersCopilot Already Writes Half the Code. GitHub's CEO Says Agents Still Have Four Gates to ClearHost 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· Oct 8, 2024Podcast · 2 speakersHalf of Production AI Is RAG. Fine-Tuning Almost Disappeared.Host 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· Oct 6, 2024Podcast · 2 speakersKeep the Programmer in the Driver's Seat: Cursor's Founders on Tab, Agents, and Zero-Entropy EditingGuest Cursor Team · Host 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· Aug 31, 2023Podcast · 2 speakersChatGPT Runs on His Framework. He Still Doesn't Want You Training a ModelHost 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· Aug 3, 2023Podcast · 2 speakersEight Years of No Growth, Then OpenAI and NVIDIA Became His CustomersHost 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 speakersContext Is All You Need: Inside OpenAI with Logan KilpatrickGuest Logan Kilpatrick · Host 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 speakersInside Stripe's Product Engineering Culture: Friction Logs, Engineer Occasions and 45-Minute DeploysGuest David Singleton · Host 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 speakersShipping Real Apps Without Writing Code: A Non-Technical PM's Cursor and Claude Code WorkflowGuest Zevi Arnovitz · Host 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 speakersEverybody Can Cook: Guillermo Rauch on v0, Vercel and the Collapse of SpecializationGuest Guillermo Rauch · Host 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.