筛选结果
25 篇排序
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 的数据库工程师把可执行规格、基于模型的测试、故障探索和重建的执行历史串起来，并说明为什么这些方法单独用，都无法证明真实系统正确。
59:41EN → 简体中文
20VC with Harry Stebbings· 2026年10月22日播客 · 3 人对谈20VC：风投基金规模、AI 估值与不断变化的软件市场嘉宾 Jason Lemkin, Rory O’Driscoll · 主持 Harry StebbingsHarry Stebbings、Jason Lemkin 和 Rory O’Driscoll 讨论风险投资集中、基础设施风险、代码审查，以及快速增长的 AI 公司估值背后的假设。
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:36EN → 简体中文Nate Foster：把网络当作程序Yaron Minsky, Nate Foster · Jane Street从可编程交换机到 BGP，一位编程语言研究者解释高层策略和形式模型如何让网络更易于修改。
1:48:21EN → 简体中文Will Wilson：确定性模拟与软件测试的难题Yaron Minsky, Will Wilson · Jane StreetAntithesis 联合创始人解释可重放模拟如何探索复杂软件、性质为何重要，以及测试的边界在哪里。
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 策略。
19:38EN → 简体中文Andrej Karpathy 谈 AGI 时间线、学习思路与编程代理的局限Matthew Berman · Forward FutureMatthew Berman 解读 Karpathy 在 2025 年关于代理十年、新学习方式和加强人类对 AI 编程监督的观点。
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 上，而不是用来扩充人手。
5:49EN → 简体中文Ian 谈 Jane Street 的软件工程工作Ian · Jane Street一位伦敦交易台开发者介绍代码审查、OCaml 培训、实习项目，以及与用户坐在一起带来的反馈。
3:48EN → 简体中文Val 谈 Jane Street 的软件工程与协作Val · Jane Street一位伦敦开发者介绍同事如何帮助新人学习、审查生产代码，以及跨团队协作。
56:06EN → 简体中文Jane Street 如何用 Iron 审查代码Jane Street 的内部审查工具记录每位审查者实际读过的内容，将反馈保存在代码中，并在发布前执行审查要求。
1:13:25EN → 简体中文Nate Foster：验证可编程网络数据平面Nate Foster, Yaron Minsky · Cornell Universityp4v 如何将程序验证用于数据包处理代码，以及其结论为何取决于控制平面假设。
59:14EN → 简体中文Arjun Guha：验证系统配置Arjun Guha · UMass AmherstPuppet 清单虽然是声明式的，仍可能具有非确定性或不具备幂等性。验证工具通过建模资源之间的相互作用来发现这些问题。
1:09:24EN → 简体中文Yaron Minsky 谈高效 ML：为代码读者编写 OCamlYaron Minsky · Jane StreetJane Street 分享类型、接口和抽象的实用经验，帮助大型 OCaml 代码库保持易理解和正确。
23:58EN → 简体中文有效使用 ML：错误、抽象与复杂度管理一位 Jane Street 工程师讨论显式处理失败、样板代码、类型系统的克制，以及副作用的实际作用。
51:35EN → 简体中文Yaron Minsky 谈高效 ML：接口、不变量与代码读者Yaron Minsky · Jane Street在 2011 年 Harvard 讲座的第一部分，Jane Street 的 Yaron Minsky 展示 OCaml 接口和类型如何让长期使用的代码更易理解和修改。
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 时代不够用，以及怎样从倾听、问卷开始改进开发者体验，并把结果接到领导真正关心的事上。加载更多已显示 24 篇，共 25 篇