Resultados
6 artículosOrdenar
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 ago 2026Pódcast · 2 vocesDHH Did Not Write a Line of Omarchy QuattroInvitado: DHH · Presenta: 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 2024Pódcast · 2 vocesKeep the Programmer in the Driver's Seat: Cursor's Founders on Tab, Agents, and Zero-Entropy EditingInvitado: Cursor Team · Presenta: 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 2023Pódcast · 2 vocesFourteen People, $200 Million of Compute, and the Reliability Bottleneck for AgentsPresenta: 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 PodcastPódcast · 2 vocesFaster, But for What? Nicole Forsgren on Measuring Developer Productivity in the AI EraInvitado: Nicole Forsgren · Presenta: 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 PodcastPódcast · 2 vocesShipping Real Apps Without Writing Code: A Non-Technical PM's Cursor and Claude Code WorkflowInvitado: Zevi Arnovitz · Presenta: 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.