先了解这件事
2026年10月26日,lauren分享了yminsky关于如何为AI智能体改进代码库的演讲要点。演讲提出,类型是最佳反馈来源之一,用类型让非法状态不可表示,可在全代码库强制全局规则;此外还有基于属性的测试、fuzzing、全系统确定性模拟测试和expect tests。同日另一篇报道进一步介绍,Jane Street的Yaron Minsky在Bug Bash演讲中提出,Agent让写代码变便宜后,类型、测试和code review反而更重要,目标是放大人的杠杆与理解;他认为Agent擅长把红灯变绿,却不擅长维持简单、可扩展等非功能属性,因此review在当下更关键。演讲还提到形式化方法过去成本极高,seL4约8,700行C代码耗时约25人年、每行C代码对应23行证明,但智能体改变了投入产出比;Minsky称约八周前开始转向并准备组建formal methods团队。
AI 根据公开报道生成
最新进展 · 正式报道
Jane Street 谈如何把代码库改造得更适合 Agent事件进展
1 个已确认进展
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
10月26日
邵猛
Jane Street 谈如何把代码库改造得更适合 Agent
Jane Street 的 Yaron Minsky 在 Bug Bash 演讲中提出，Agent 让写代码变便宜后，类型、测试和 code review 反而更重要，目标是放大人的杠杆与理解。他主张用类型表达全局不变量、用 expect test 把行为输出嵌进源码形成快速反馈闭环，并认为 Agent 擅长把红灯变绿却不擅长维持简单、可扩展等非功能属性，因此 review 在当下更关键。他还提到正式方法成本结构在变，约八周前开始转向并准备组建 formal methods 团队。
Lauren Tan
yminsky 谈如何为智能体改造代码库
lauren 分享了 yminsky 关于如何为 AI 智能体改进代码库的演讲要点：类型是最佳反馈来源之一，用类型让非法状态不可表示可在全代码库强制全局规则；此外还有基于属性的测试、fuzzing、全系统确定性模拟测试和 expect tests。演讲提到形式化方法过去成本极高，seL4 约 8,700 行 C 代码耗时约 25 人年、每行 C 代码对应 23 行证明，但智能体改变了投入产出比。
本事件热度走势
- 当前
- 5
- 区间峰值
- 17 10月26日 22:00
- 近 24 小时变化
- -50%
移动指针或点击图表可查看每小时热度；键盘可用左右方向键切换。