筛选结果
13 篇排序
18:27EN → 简体中文
AI Engineer· 2026年10月26日Daksh Gupta：如何打造更好的 AI 代码审查智能体Daksh Gupta · GreptileGreptile 联合创始人 Daksh Gupta 解释了为什么仅靠 webhook 和编程智能体，无法做好 PR 审查；他还介绍了如何通过定向提示词、事故数据、模型反转、代码库上下文、浏览器测试和按任务路由模型来改进审查质量。
34:11EN → 简体中文
GOTO Conferences· 2026年10月23日Anatoliy Bilenko 和 Alberto Carretero：用形式化方法和 AI 让数据库协议可靠Anatoliy Bilenko, Alberto Carretero · CanonicalCanonical 的数据库工程师把可执行规格、基于模型的测试、故障探索和重建的执行历史串起来，并说明为什么这些方法单独用，都无法证明真实系统正确。
5:15:51EN → 简体中文
Lex Fridman· 2026年8月26日播客 · 2 人对谈DHH 没有亲手写一行 Omarchy Quattro 的代码嘉宾 DHH · 主持 Lex Fridman与 Lex Fridman 一次充满怀疑的对话过去十三个月后，Rails 的创造者讲述了 Opus 4.5、一群编码智能体（Agent）和一个一分钟的 Linux 安装器，如何结束了他一凿一凿手写 Ruby 的时代。
1:34:29EN → 简体中文
Cognitive Revolution "How AI Changes Everything"· 2026年2月18日播客三个 IMO 金牌级系统漏掉了同一道题，Harmonic 想让数学能够编译主持 Nathan LabenzVlad Tenev 和 Tudor Achim 打造了 Aristotle，让它输出内核能够检验的 Lean 证明。他们认为，这正是数学超级智能保持可信的方式。
1:41:34EN → 简体中文Cognitive Revolution "How AI Changes Everything"· 2025年12月24日播客攻击者控制了摄像头分区，却仍然没能让直升机坠毁主持 Nathan LabenzKathleen Fisher 和 Byron Cook 向 Nathan Labenz 讲解了形式化方法如何把一部分软件漏洞变成已经结案的问题，话题从 DARPA 的直升机项目，一直讲到每秒被检查超过 10 亿次的 AWS 策略。
37:45EN → 简体中文
Sequoia Capital· 2025年6月10日播客Codex 是一个思想实验：如果智能体在自己的电脑上工作，会怎样？OpenAI Codex 团队谈如何把 o3 训练成能写出可合并 PR 的模型、凌晨一点的一个 bug 如何同时派出四次尝试去解决，以及为什么只有停止结对、开始委派，这款产品才会真正上手。
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 究竟如何运作，以及为什么大多数编程仍然需要人类实时迭代。
1:25:10EN → 简体中文Cognitive Revolution "How AI Changes Everything"· 2024年3月12日播客写代码只占工作的 30%，CodiumAI 想要另外那 70%主持 Nathan LabenzItamar Friedman 认为，代码补全已经成了大宗商品，代码完整性是 AI 仍然落后的地方；而让 GPT-4 在编程竞赛中把分数翻了一番的，靠的是流工程（Flow Engineering），不是更花哨的提示词。
32:48EN → 简体中文
No Priors: AI, Machine Learning, Tech, & Startups· 2023年11月16日播客 · 2 人对谈14 人、2 亿美元算力，以及智能体（Agent）的可靠性瓶颈主持 Sarah Guo, Elad GilImbue 联合创始人 Kanjun Qiu 和 Josh Albrecht 谈智能体为什么会失败，语言模型为什么学不会通用算法，以及他们为何把一轮巨额融资花在 GPU 上，而不是用来扩充人手。
1:25:13EN → 简体中文
Lenny's Podcast播客Codex 不是你调用的工具：OpenAI 要把智能体做成会主动干活的工程队友主持 Lenny RachitskyCodex 产品负责人 Alexander Embiricos 解释 20 倍增长从何而来、为什么有用的智能体都得会写代码，以及人类审核速度才是真正的瓶颈。
1:16:17EN → 简体中文Lenny's Podcast播客 · 2 人对谈更快，可是为了什么？Nicole Forsgren 谈 AI 时代如何衡量开发者生产力嘉宾 Nicole Forsgren · 主持 Lenny RachitskyDORA 和 SPACE 的提出者解释为什么多数生产力指标会骗人，AI 如何改写心流与信任，以及怎样把开发者体验做成能证明价值的项目。
1:07:48EN → 简体中文Lenny's Podcast播客大多数生产力指标都是谎言：Nicole Forsgren 谈 AI 时代如何衡量开发者体验主持 Lenny RachitskyDORA 与 SPACE 的提出者解释，为何代码行数和旧流水线指标在 AI 时代不够用，以及怎样从倾听、问卷开始改进开发者体验，并把结果接到领导真正关心的事上。
1:15:13EN → 简体中文Lenny's Podcast播客 · 2 人对谈一年前还怕看代码，他靠 Cursor 把付费产品做上线嘉宾 Zevi Arnovitz · 主持 Lenny RachitskyMeta 产品经理 Zevi Arnovitz 演示一套从建工单到跨模型审查的斜杠命令工作流，说明非技术背景的人如何用 AI 真正交付产品。