筛选结果
13 篇排序
34:11EN → 简体中文
GOTO Conferences· 2026年10月23日Anatoliy Bilenko 和 Alberto Carretero：用形式化方法和 AI 让数据库协议可靠Anatoliy Bilenko, Alberto Carretero · CanonicalCanonical 的数据库工程师把可执行规格、基于模型的测试、故障探索和重建的执行历史串起来，并说明为什么这些方法单独用，都无法证明真实系统正确。
1:01:33EN → 简体中文
DeepLearningAI· 2026年9月22日用编程 Agent 做规格驱动开发：先写规格，再让 Agent 去建Andrew Ng, Paul Everitt · DeepLearning.AIJetBrains 开发者布道师 Paul Everitt 走完一整套规格驱动流程：一份项目章程，规划—实现—验收的功能循环，以及能跨工具带走的 agent 技能。氛围编程的替代方案，是一份 agent 忘不掉的 Markdown 契约。
27:19EN → 简体中文
No Priors: AI, Machine Learning, Tech, & Startups· 2025年10月23日播客 · 2 人对谈图灵测试已经通过，Warp CEO 说几乎没人在意主持 Sarah Guo, Elad GilZach Lloyd 谈如何在没有意识的前提下蒸馏智能，为什么一个有 40 年历史的终端会成为编程智能体的入口，以及资深工程师为什么刚刚变得更值钱。
5:20:08EN → 简体中文
Lex Fridman· 2025年3月22日播客 · 2 人对谈ThePrimeagen 宁可重新设计房间，也不靠意志力嘉宾 ThePrimeagen · 主持 Lex FridmanLex Fridman 与 Michael Paulson 谈链表、网飞（Netflix）、Neovim、ADHD、成瘾、AI，以及他说上帝赐予他良知的那个夜晚。
50:35ENNo Priors: AI, Machine Learning, Tech, & Startups· 2025年3月13日播客 · 2 人对谈Copilot Already Writes Half the Code. GitHub's CEO Says Agents Still Have Four Gates to Clear主持 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· 2024年10月8日播客 · 2 人对谈Half of Production AI Is RAG. Fine-Tuning Almost Disappeared.主持 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:04EN → 简体中文Lex Fridman· 2024年10月6日播客 · 2 人对谈让程序员留在驾驶座上：Cursor 创始人谈 Tab、智能体（Agent）与零熵编辑嘉宾 Cursor Team · 主持 Lex FridmanMichael Truell、Aman Sanger、Sualeh Asif 和 Arvid Lunnemark 向莱克斯·弗里德曼（Lex Fridman）讲述了他们为什么要分叉 VS Code、Tab 和 Apply 究竟如何运作，以及为什么大多数编程仍然需要人类实时迭代。
38:13ENNo Priors: AI, Machine Learning, Tech, & Startups· 2023年8月31日播客 · 2 人对谈ChatGPT Runs on His Framework. He Still Doesn't Want You Training a Model主持 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· 2023年8月3日播客 · 2 人对谈Eight Years of No Growth, Then OpenAI and NVIDIA Became His Customers主持 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 Podcast播客 · 2 人对谈上下文才是一切：OpenAI 内部如何招人、出产品和给模型下指令嘉宾 Logan Kilpatrick · 主持 Lenny RachitskyOpenAI 开发者关系负责人 Logan Kilpatrick 谈 GPTs、提示工程、公司为何能跑得快，以及创业公司该在哪里建才不会被碾压
1:30:00EN → 简体中文Lenny's Podcast播客 · 2 人对谈摩擦日志、工程师度假和 45 分钟上线：Stripe CTO 如何让工程师像产品经理一样干活嘉宾 David Singleton · 主持 Lenny RachitskyDavid Singleton 讲 Stripe 怎么招人、和早期用户共创、把精益求精做成日常，并在五个九可用性下持续发版。
1:15:13EN → 简体中文Lenny's Podcast播客 · 2 人对谈一年前还怕看代码，他靠 Cursor 把付费产品做上线嘉宾 Zevi Arnovitz · 主持 Lenny RachitskyMeta 产品经理 Zevi Arnovitz 演示一套从建工单到跨模型审查的斜杠命令工作流，说明非技术背景的人如何用 AI 真正交付产品。
1:27:44EN → 简体中文Lenny's Podcast播客 · 2 人对谈人人都能下厨：Guillermo Rauch 谈 v0、Vercel 和专业分工的瓦解嘉宾 Guillermo Rauch · 主持 Lenny RachitskyVercel CEO 解释 v0 如何把意图变成可上线的产品，为什么弄懂软件怎么运转仍然重要，以及团队怎样靠暴露小时数练出品味。