Résultats
6 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.
5:15:51EN
Lex Fridman· 26 août 2026Podcast · 2 voixDHH Did Not Write a Line of Omarchy QuattroInvité : DHH · Anime : Lex FridmanThirteen months after a skeptical conversation with Lex Fridman, the Rails creator describes how Opus 4.5, a swarm of coding agents, and a one-minute Linux installer ended his era of hand-chiseled Ruby.
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.
32:48EN
No Priors: AI, Machine Learning, Tech, & Startups· 16 nov. 2023Podcast · 2 voixFourteen People, $200 Million of Compute, and the Reliability Bottleneck for AgentsAnime : Sarah Guo, Elad GilImbue co-founders Kanjun Qiu and Josh Albrecht on why agents fail, why language models cannot learn general algorithms, and why they are spending a giant round on GPUs rather than headcount.
1:16:17EN
Lenny's PodcastPodcast · 2 voixFaster, But for What? Nicole Forsgren on Measuring Developer Productivity in the AI EraInvité : Nicole Forsgren · Anime : Lenny RachitskyThe creator of DORA and SPACE explains why most productivity metrics mislead, how AI changes flow and trust, and how to build a developer experience program that proves its value.
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.