필터 결과
7개정렬
34:11EN
GOTO Conferences· 2026년 10월 23일Anatoliy 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· 2026년 8월 26일팟캐스트 · 2명DHH Did Not Write a Line of Omarchy Quattro게스트 DHH · 진행자 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.
1:34:36ENNate Foster: Treating the Network as a ProgramYaron Minsky, Nate Foster · Jane StreetFrom programmable switches to BGP, a programming-languages researcher explains how higher-level policies and formal models can make networks easier to change.
2:29:04ENLex Fridman· 2024년 10월 6일팟캐스트 · 2명Keep the Programmer in the Driver's Seat: Cursor's Founders on Tab, Agents, and Zero-Entropy Editing게스트 Cursor Team · 진행자 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· 2023년 11월 16일팟캐스트 · 2명Fourteen People, $200 Million of Compute, and the Reliability Bottleneck for Agents진행자 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 Podcast팟캐스트 · 2명Faster, But for What? Nicole Forsgren on Measuring Developer Productivity in the AI Era게스트 Nicole Forsgren · 진행자 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 Podcast팟캐스트 · 2명Shipping Real Apps Without Writing Code: A Non-Technical PM's Cursor and Claude Code Workflow게스트 Zevi Arnovitz · 진행자 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.