筛选结果
23 篇排序
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 契约。
40:13EN → 简体中文
Sequoia Capital· 2025年12月2日播客只要人还需要读代码，IDE 就不会死Zed 创始人 Nathan Sobo 认为，源代码是写给人看的语言；终端智能体（Agent）仍然需要可视化编辑器，而每一次编辑都应该能挂上对话。
37:45EN → 简体中文Sequoia Capital· 2025年6月10日播客Codex 是一个思想实验：如果智能体在自己的电脑上工作，会怎样？OpenAI Codex 团队谈如何把 o3 训练成能写出可合并 PR 的模型、凌晨一点的一个 bug 如何同时派出四次尝试去解决，以及为什么只有停止结对、开始委派，这款产品才会真正上手。
5:20:08EN → 简体中文
Lex Fridman· 2025年3月22日播客 · 2 人对谈ThePrimeagen 宁可重新设计房间，也不靠意志力嘉宾 ThePrimeagen · 主持 Lex FridmanLex Fridman 与 Michael Paulson 谈链表、网飞（Netflix）、Neovim、ADHD、成瘾、AI，以及他说上帝赐予他良知的那个夜晚。
50:35EN → 简体中文
No Priors: AI, Machine Learning, Tech, & Startups· 2025年3月13日播客 · 2 人对谈Copilot 已经写了约一半的代码，GitHub CEO 说智能体还得过四道关主持 Sarah Guo, Elad GilThomas Dohmke 谈智能体（Agent）模式，谈为什么普通开发者不会被取代，以及 AI 如何重新定价写代码的工具。
54:47EN → 简体中文Sequoia Capital· 2025年2月4日播客每天 9 万款游戏：Roblox 押注 AI 应该先去洗碗Roblox 生成式 AI 负责人 Stef Corazza 向红杉资本讲述：一个免费的 Studio 助手、一笔与社区的数据交换，以及一个 3D 基础模型，将如何教会 AI 做游戏开发。
38:28EN → 简体中文No Priors: AI, Machine Learning, Tech, & Startups· 2024年10月8日播客 · 2 人对谈线上 AI 有一半是检索增强生成（RAG），微调几乎消失了主持 Sarah Guo, Elad GilBraintrust 的 CEO Ankur Goyal 讲述 Notion、Zapier 和 Vercel 实际上线了什么，以及它们悄悄放弃了哪些被热炒的技术。
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 究竟如何运作，以及为什么大多数编程仍然需要人类实时迭代。
59:11EN → 简体中文Sequoia Capital· 2024年6月25日播客别训练模型，Factory 创始人说应该去淘金Matan Grinberg 和 Eno Reyes 在红杉资本的《Training Data》节目中谈到，他们为什么要在别人的模型之上，卖一整套专门负责具体工作的 droid；这套技术栈刚刚把 SWE-bench 的成绩从 14% 提到了 19%。
1:25:10EN → 简体中文
Cognitive Revolution "How AI Changes Everything"· 2024年3月12日播客写代码只占工作的 30%，CodiumAI 想要另外那 70%主持 Nathan LabenzItamar Friedman 认为，代码补全已经成了大宗商品，代码完整性是 AI 仍然落后的地方；而让 GPT-4 在编程竞赛中把分数翻了一番的，靠的是流工程（Flow Engineering），不是更花哨的提示词。
1:15:39EN → 简体中文Cognitive Revolution "How AI Changes Everything"· 2023年11月29日播客做了二十年前端，Guillermo Rauch 发现 v0 写的代码比自己的更好主持 Nathan LabenzVercel 首席执行官告诉 Nathan Labenz，为什么每个产品都需要幽灵文本（ghost text），为什么软件 2.0（Software 2.0）会让旧技术栈僵化，以及为什么押注开源仍然是代价高昂的错误。
1:32:41EN → 简体中文Cognitive Revolution "How AI Changes Everything"· 2023年10月5日播客能训练前沿模型的人约有 5000 名，其余公司需要的是 AI 工程师主持 Nathan LabenzLatent Space 的 Swyx 向 Nathan Labenz 讲述了一个新职业如何成形、为什么 OpenAI 会对开发者做 Sherlock 化（Sherlocking），以及什么还不算智能体。
38:13EN → 简体中文No Priors: AI, Machine Learning, Tech, & Startups· 2023年8月31日播客 · 2 人对谈ChatGPT 跑在他的框架上，他仍然不建议你去训练模型主持 Sarah Guo, Elad GilVercel 创始人 Guillermo Rauch 在 No Priors 节目中说明：为什么前端是 AI 的最后一公里，为什么第一代 AI 框架会被重写，以及为什么机器人已经在偷你的 Token。
43:45EN → 简体中文No Priors: AI, Machine Learning, Tech, & Startups· 2023年8月3日播客 · 2 人对谈八年毫无增长，后来 OpenAI 和英伟达成了他的客户主持 Sarah Guo, Elad GilWeights & Biases 首席执行官 Lukas Biewald 在 No Priors 节目中讲述，一家没有鸿沟需要跨越的标注公司，如何为训练出大多数大语言模型的机器学习开发工具提供了资金。
50:03EN → 简体中文
Lenny's Podcast播客Copilot 是副驾驶，不是飞行员：GitHub CPO 谈 AI 不会取代开发者主持 Lenny RachitskyInbal Shani 解释 AI 会改开发者怎么干活，但不会取代人，以及团队该从问题而不是从工具出发去采用它。
1:21:34EN → 简体中文Lenny's Podcast播客默认公开：GitLab 用短脚趾、看结果和先宽后深做出能每月发版的平台主持 Lenny RachitskyGitLab 首席产品官 David DeSanto 讲这家全球最大的纯远程公司，如何把激进透明、异步协作和先宽后深的产品策略，做成一套持续发版的 DevSecOps 平台。
1:08:07EN → 简体中文Lenny's Podcast播客 · 2 人对谈上下文才是一切：OpenAI 内部如何招人、出产品和给模型下指令嘉宾 Logan Kilpatrick · 主持 Lenny RachitskyOpenAI 开发者关系负责人 Logan Kilpatrick 谈 GPTs、提示工程、公司为何能跑得快，以及创业公司该在哪里建才不会被碾压
1:07:48EN → 简体中文Lenny's Podcast播客大多数生产力指标都是谎言：Nicole Forsgren 谈 AI 时代如何衡量开发者体验主持 Lenny RachitskyDORA 与 SPACE 的提出者解释，为何代码行数和旧流水线指标在 AI 时代不够用，以及怎样从倾听、问卷开始改进开发者体验，并把结果接到领导真正关心的事上。
1:19:48ENLex Fridman播客Bigger Models, Cleaner Splits and Human Baselines: Andrew Ng's Practical Recipe for Applied Deep Learning主持 Lex FridmanIn a 2016 Deep Learning School talk, Andrew Ng distills lessons from leading Baidu's AI team into a workflow for diagnosing models, handling data and building a career.
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 如何把意图变成可上线的产品，为什么弄懂软件怎么运转仍然重要，以及团队怎样靠暴露小时数练出品味。