筛选结果
11 篇排序
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:34ENCognitive Revolution "How AI Changes Everything"· 2025年12月24日播客They Owned the Camera Partition—and Still Couldn't Crash the Helicopter主持 Nathan LabenzKathleen Fisher and Byron Cook tell Nathan Labenz how formal methods turn some software bugs into closed cases, from a DARPA helicopter to AWS policies checked a billion times a second.
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 真正交付产品。