筛选结果
10 篇排序
18:27EN → 简体中文
AI Engineer· 2026年10月26日Daksh Gupta：如何打造更好的 AI 代码审查智能体Daksh Gupta · GreptileGreptile 联合创始人 Daksh Gupta 解释了为什么仅靠 webhook 和编程智能体，无法做好 PR 审查；他还介绍了如何通过定向提示词、事故数据、模型反转、代码库上下文、浏览器测试和按任务路由模型来改进审查质量。
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 策略。
1:25:10EN → 简体中文Cognitive Revolution "How AI Changes Everything"· 2024年3月12日播客写代码只占工作的 30%，CodiumAI 想要另外那 70%主持 Nathan LabenzItamar Friedman 认为，代码补全已经成了大宗商品，代码完整性是 AI 仍然落后的地方；而让 GPT-4 在编程竞赛中把分数翻了一番的，靠的是流工程（Flow Engineering），不是更花哨的提示词。
3:48EN → 简体中文Val 谈 Jane Street 的软件工程与协作Val · Jane Street一位伦敦开发者介绍同事如何帮助新人学习、审查生产代码，以及跨团队协作。
56:06EN → 简体中文Jane Street 如何用 Iron 审查代码Jane Street 的内部审查工具记录每位审查者实际读过的内容，将反馈保存在代码中，并在发布前执行审查要求。
1:09:24EN → 简体中文Yaron Minsky 谈高效 ML：为代码读者编写 OCamlYaron Minsky · Jane StreetJane Street 分享类型、接口和抽象的实用经验，帮助大型 OCaml 代码库保持易理解和正确。
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:07:48EN → 简体中文Lenny's Podcast播客大多数生产力指标都是谎言：Nicole Forsgren 谈 AI 时代如何衡量开发者体验主持 Lenny RachitskyDORA 与 SPACE 的提出者解释，为何代码行数和旧流水线指标在 AI 时代不够用，以及怎样从倾听、问卷开始改进开发者体验，并把结果接到领导真正关心的事上。