Lauren Tan 转述 Yaron Minsky 演讲：如何改进代码库以适配 AI 智能体

lauren· @poteto · X·2026-10-26 15:54· 45 分钟前AI 评分63

AI 导读

Lauren Tan 转述 Yaron Minsky 关于为智能体改进代码库的演讲要点：智能体依赖反馈，类型是最好的反馈之一，用类型让非法状态不可表示可在全代码库强制执行全局规则。

正文 · 原文

so many gems and great tips in this talk from @yminsky about how to improve your codebase for agents

• agents thrive on feedback, and types are one of the best kinds
• make illegal states unrepresentable with types, and it enforces global rules across your codebase
• property based tests, fuzzing, and even full-system deterministic simulation testing
• expect tests: just print stuff out and capture it in the test. makes behavior legible. it's very similar to how compilers have fixture tests, it reduces the review surface area
• formal methods used to be very expensive: seL4 is about 8,700 lines of C and took around 25 person-years, with 23 lines of proof for every line of C code, but agents change the roi

https://www.youtube.com/watch?v=rUYP4C29yCw

来源：lauren · x.com