筛选结果
12 篇排序
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 契约。
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 如何重新定价写代码的工具。
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 究竟如何运作，以及为什么大多数编程仍然需要人类实时迭代。
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 节目中讲述，一家没有鸿沟需要跨越的标注公司，如何为训练出大多数大语言模型的机器学习开发工具提供了资金。
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 如何把意图变成可上线的产品，为什么弄懂软件怎么运转仍然重要，以及团队怎样靠暴露小时数练出品味。