筛选结果
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与莱克斯·弗里德曼一次充满怀疑的对话过去十三个月后，Rails 的创造者讲述了 Opus 4.5、一群编码智能体（Agent）和一个一分钟的 Linux 安装器，如何结束了他一凿一凿手写 Ruby 的时代。
1:34:29EN
Cognitive Revolution "How AI Changes Everything"· 2026年2月18日播客Three IMO Golds Missed the Same Problem. Harmonic Wants Math to Compile主持 Nathan LabenzVlad Tenev and Tudor Achim built Aristotle to emit Lean proofs a kernel can check—and they argue that is how mathematical superintelligence stays trustworthy.
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 Is a Thought Experiment: What If the Agent Worked on Its Own Computer?OpenAI’s Codex team on training o3 to write mergeable PRs, running four copies of a 1 a.m. bug, and why the product only clicks once you stop pairing and start delegating.
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:10ENCognitive Revolution "How AI Changes Everything"· 2024年3月12日播客Writing Code Is Only 30% of the Job. CodiumAI Wants the Other 70%主持 Nathan LabenzItamar Friedman argues that completion is already a commodity, that code integrity is where AI still lags, and that flow engineering—not fancier prompts—is how GPT-4 doubled its score on coding contests.
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: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 真正交付产品。