KeyFrame內部研究專用

Harness Engineering: Building an AI Software Factory

Tessl AI·7月27日週一·53 min英文

三句話摘要

用 AI 代理和 harness engineering 实现软件工厂,让代理自主完成代码工作,人类专注优化反馈循环。 从被代理纠缠的手工修复转向设计清晰的反馈循环,让代理自我改进,是解锁 AI 时代高效工程的关键。 软件工厂的三维度评估不是同步解锁。自主性(autonomy)指需要多少人类纠正才能让代理答对,可通过 PR 评论数测量。自动化(automation)是需要多少监督,这往往滞后于自主性——很多团队的代理已经自主,但人心理上不信任,照样逐条审查。质量则是产品本身不能恶化。

重點整理

重點
  • 1

    软件工厂的三维度评估不是同步解锁。自主性(autonomy)指需要多少人类纠正才能让代理答对,可通过 PR 评论数测量。自动化(automation)是需要多少监督,这往往滞后于自主性——很多团队的代理已经自主,但人心理上不信任,照样逐条审查。质量则是产品本身不能恶化。

  • 2

    Harness engineering 核心是三层循环。内循环是 unit tests 和 linter 这类快速检查——你应该更严苛,每次代理犯错就加规则。外循环是代码审查和 QA 这样的深度审查。元循环是 maintenance agents 自动监控 PR 评论、CI 结果,发现问题模式,自动提交改进 PR。

  • 3

    关键的转变是改变交互模式。从让代理跑完就手工修改,改成用 issue tracker 和 PR flow 作为唯一界面——代理从 issue 开始,输出 PR,人类留评论,代理自己读评论修复。这样所有交互可见可追踪,后续代理可以识别重复反馈并改进系统。

  • 4

    实现需要堆砌基础设施:skill registry 分享工作流、company brain 给代理查阅文档,解决代理无法访问数据库和 SSO 的"agent IT"问题、建立 cloud 环境让代理稳定运行、codify 质量标准让团队行为自然调整。

實用技巧與重點

乾貨
  • 数字:TESL 过去四周每周新增 30% PRs;700 PRs/周;24 名工程师;100+ 个 verifiers;30 美分/天 PR 审查成本(vs $25/PR);OpenAI 白皮书:从 one-shot 改成 ticket/PR 工作流见 5 倍生产力提升
  • 工具:Tesseract、Claude Code、Cursor、CodeRabbit、Granola、Playwright
  • 三循环定义:Inner Loop(unit tests, linters, manual verification);Outer Loop(agentic code review, QA, screenshots);Meta Loop(maintenance agents watching PR comments, CI, issues)
  • 流程:issue tracker → agent picks up → PR with comments → agent auto-fixes → maintenance agent improves harness
  • 关键实践:change risk analyzer 评估 PR 风险等级;verifiers 替代昂贵 agentic review;每周五 1 小时团队同步;分解大 PR 为小 PR 以自动 merge

結論

結論

从被代理纠缠的手工修复转向设计清晰的反馈循环,让代理自我改进,是解锁 AI 时代高效工程的关键。

完整解析

詳細

演讲者 Drew 是 TESL 的产品设计主管,曾任 AI 研究主管。他描绘了一个核心问题:TESL 过去四周每周新增 30% PRs,变化加速到团队成员甚至不知道隔壁同事在做什么的程度。传统的人工审查和手工修复已成瓶颈。

他提出"软件工厂"的解决方案——一个由 AI 代理驱动的端到端系统,完全构建和交付产品,而人类转为专注优化这个系统。衡量成熟度需追踪三个维度。自主性(autonomy)是需要多少人类纠正,直接可测:PR 评论数。自动化(automation)是需要多少监督——这往往滞后于自主性,因为即使代理很自主,人们心理上仍不信任,照样逐条审查。质量则确保产品不恶化。

实现工具是"harness engineering",包含三层循环。内循环是 unit tests 和 linter——快速廉价,关键是不再维护,而是更严苛。每次代理犯错就加规则:某模块不应导入另一模块?加到 linter。外循环是代码审查和 QA——跑应用、截图、看实际效果,让人对 PR 有信心。元循环是 maintenance agents 自动监控一周内的 PR 评论、CI 结果、issue,发现哪些问题反复出现,自动提交改进 PR。

但最大难点是组织层面。保持工作流程很消耗注意力——不要让代理修复失败,要停下来问"如何改进 inner loop 让它不再犯这个错",这与"我们已经能在两小时内发布"的诱惑相悖。工作变成了没人喜欢的"老虎机":反复测试、改进、重试。而且难以察觉系统性问题——某个代码区域反复出问题,但信息零散。

关键突破是改变交互方式。从 interactive session 改成 issue tracker + PR flow 作为唯一界面。代理从 issue 开始工作,输出 PR,人类留评论,代理读评论自动修复。这样做三个好处:强制前期设计正确,无法快速纠正;所有交互可见可追踪,后续代理识别重复反馈改进系统;能构建 maintenance agents 在后台持续改进,无需手工干预。

实现还需基础设施。Skill registry 像 npm 一样管理工作流;company brain 让代理查阅架构、会议记录,但要警惕过时信息;"agent IT"解决代理访问数据库、SSO、日志的能力;cloud 环境让代理稳定运行。随着成熟,转向 maintenance agents——每天扫描所有 PR、issue、CI,发现问题模式,自动提出改进,人类只审查建议。讲者认为这反而提升质量:因为现在能投入无限精力到 code review(不受人力限制),能自动修复那些被搁置在 backlog 的已知 bug。文化也更开放——不只工程师,任何人都能通过代理参与代码工作。

關鍵時刻

Pipeline v2

帶時間戳的重點,會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。

事實查核

Pipeline v2

說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。

更多「AI 技術」的內容

🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing
編輯精選
83 min
AI 技術英文PODCAST8月26日

🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing

Latent Space

  • 加速傳統物理模擬的典範轉移:氣象科學家原本認為 AI 無法匹敵數十年的物理建模工作,但傅里葉神經算子不僅達到同等精度,還快了一萬多倍。原本需要超級計算機的計算現在用消費級 GPU 就能完成,這改變了整個領域的思維方式。
  • 傅里葉域的非局部現象捕捉:傅里葉域能有效表示非局部現象(如大氣河流跨越千里的影響),且計算複雜度為準線性,遠優於完全連接的全局模型。這特別適合流體動力學、量子化學等自然現象中普遍存在的非局部相互作用。
  • 多解析度連續函數表示:神經算子將輸入輸出視為連續函數而非固定維度向量,可在推論時以任意解析度查詢,並能在更高解析度上疊加物理約束或額外數據,克服了固定解析度神經網路的限制。
Between Two Nerds: Attribution is dead, long live attribution
32 min
AI 技術英文PODCAST8月25日

Between Two Nerds: Attribution is dead, long live attribution

Risky Business

  • 工具成本的破壞性下降 — 傳統上,攻擊者必須重複使用昂貴自製的惡意軟體或工具組,因為開發和維護成本極高。這種成本結構使得安全研究人員可以通過工具特徵和程式碼簽名來追蹤攻擊者。LLM 自動化了代碼生成與維護工作流,使得攻擊者可以輕易為每個目標生成新工具,或改用通用系統工具,導致傳統的工具特徵分析失效。
  • 所有取證證據都在攻擊者掌控之中 — 無論是使用的 IP 位址、惡意軟體類型或戰術流程,這些都是攻擊者的主動選擇。即使看似是隨機巧合,攻擊者仍有能力在事前決定留下什麼痕跡。因此,所有可恢復的取證證據本質上都是攻擊者願意暴露的信息。
  • LLM 削弱工具簽名但保留高階行為特徵 — LLM 經過公開駭客技術訓練,使不同使用者產生相似的攻擊模式。然而,勒索軟體集團、國家級行為者的受害者選擇、贖金要求方式或目標模式等高階特徵仍具有識別價值。例如,鎖定加密交易所的攻擊幾乎只能指向朝鮮。
Why the Next AI Breakthrough May Come from Physics with Max Welling - #774
55 min
AI 技術英文PODCAST8月25日

Why the Next AI Breakthrough May Come from Physics with Max Welling - #774

TWIML AI

  • 多層篩選的材料設計流程:先搜尋文獻資料庫找現有材料,若無合適的就用生成模型產生數十萬個候選分子,用機器學習力場進行分子動力學模擬篩選,再進行實驗驗證。這套流程相比傳統量子力學計算能加速效率數個數量級。
  • 生成AI與熱力學的數學等價性:資訊論是兩個領域的共同基礎,生成模型的擴散過程與非平衡統計力學描述資訊損失的過程在數學上完全對應,許多開發出來的方法工具在兩領域都有精確對應的形式。
  • 基礎模型的遷移學習策略:先在廣泛材料資料集上訓練基礎力場表示,再針對特定材料類別進行蒸餾微調,既能保持計算效率也能獲得專一性。