Résultats
12 articlesTrier
34:11ENAnatoliy 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:33ENSpec-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.
5:20:08ENThePrimeagen 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:35ENCopilot 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:28ENHalf 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:04ENKeep 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:13ENChatGPT 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:45ENEight 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:07ENContext 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:00ENInside 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:13ENShipping 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:44ENEverybody 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.









