KeyFrame內部研究專用

Loop Engineering from First Principles — Kyle Mistele, HumanLayer

AI Engineer·7月25日週六·17 min英文

三句話摘要

運用控制論原理設計AI迴圈,在複雜系統中實現可讀、可審查的增量程式碼改進。 用控制論設計AI迴圈比盲目堆疊代理更務實:增量改進、人類可審查、低成本反饋,才能在真實系統中確實獲得AI加速的好處。 問題根源:盲目迴圈的失敗模式

重點整理

重點
  • 1

    問題根源:盲目迴圈的失敗模式

  • 2

    業界普遍認為可以直接把提示詞丟進迴圈給編碼代理,透過多個驗證器檢查,但最後仍產生40000行無人敢審查的PR。這種方法在獨立開發或非關鍵系統中可行,但對有真實客戶、服務等級協議、合規要求的團隊系統來說完全不適用。

  • 3

    控制論的核心應用

  • 4

    將程式碼庫視為動態系統,建立感測器(測量當前違規)→控制器(決定增量改變策略)→執行器(Agent執行改變)的反饋迴圈。好的控制器會選擇風險最低的改變(如最小的程式碼單元),避免一次過度改變導致系統不穩定。

  • 5

    人類融入迴圈的低摩擦設計

  • 6

    透過版本控制的反饋檔案(Markdown格式)讓人類在不改動迴圈基礎設施的情況下,用slash指令動態調整迴圈行為。每個迴圈workflow被標籤化,使用者留下`/iterate`評論時,迴圈自動載入PR差異、評論、反饋文件進行修正。

  • 7

    流量控制與加速策略

  • 8

    設定流量控制確保同時最多一個迴圈PR開啟(檢查前一個PR是否被人類審查),避免堆積重複工作。加速時可多工執行(同時遷移3-5個程式碼單元、分多個實現階段、或由多人分別執行),每個階段各有獨立context window。

實用技巧與重點

乾貨
  • 工具與技術
  • AST Grep:語言無關的模式匹配工具,掃描程式碼庫找出違反規則的模式(如未遷移的程式碼單元)
  • GitHub Actions / GitLab CI / CircleCI:執行迴圈workflow,有程式碼存取、密鑰存取、排程原始碼
  • React Doctor(Aiden By's):混合感測器與控制器,同時診斷問題與提供修復建議
  • Markdown反饋檔案:版本控制中追蹤的指令文檔,Agent每次執行前載入
  • 迴圈設計流程
  • 感測器(Sensor):用AST Grep掃描全庫,找出違規模式清單並排序
  • 防守機制(Disturbance Dampener):main分支設定基準線,每個PR檢查是否引入新違規
  • 控制器(Controller):決定優先順序(最簡單、最多錯誤、最差instrumentation的程式碼單元)
  • 執行器(Actuator):Agent + Skill組合,執行遷移並建立PR
  • 人類反饋:用`/iterate`指令觸發PR comment listener,loop重新處理
  • 實踐案例數據
  • 人物:Kyle(Human Layer聯合創始人)
  • 遷移目標:150個RPC程式碼單元遷移至Effect框架
  • 時間估算:逐個遷移需6個月;改為一日一PR排程後,確保每天一次增量改進
  • 排程:GitHub Actions每日執行一次workflow
  • 流量控制邏輯
  • ```
  • if (exists open PR with loop label):
  • shut down workflow
  • else:
  • execute sense→control→actuate→create PR
  • ```

結論

結論

用控制論設計AI迴圈比盲目堆疊代理更務實:增量改進、人類可審查、低成本反饋,才能在真實系統中確實獲得AI加速的好處。

完整解析

詳細

Kyle提出了AI程式碼生成迴圈的核心困境:業界許多系統設計看起來像盲目迴圈——把提示詞丟進去,期望AI產生完整的改進,最後得到龐大的PR沒人敢審。Open Clause和Claude Code團隊確實在用迴圈加速開發,但這代價極高,而且程式碼品質問題在AI時代被無限放大(Ray Pocock所言,壞程式碼在代理時代的成本遠高於以往)。更現實的挑戰是:有真實客戶、有服務等級協議、有合規要求的團隊根本無法承受這種風險。

Kyle提議借鑒控制論(Control Theory)——用於飛行器穩定和Kubernetes自動擴展的原理。把程式碼庫視為動態系統,建立感測器(測量當前狀態)、設定點(目標狀態)、控制器(計算改變信號)、執行器(應用改變)和反饋迴圈。與盲目迴圈不同,控制論強調增量改變而不是一次性大改。Human Layer的具體實踐是遷移150個RPC程式碼單元到Effect框架。首先用AST Grep(語言無關的模式匹配工具)掃描全庫找出未遷移的過程,產生幾千條違規清單;為防止新程式碼繞過改進,在main分支建立基準線,每個PR都檢查是否違反規則。控制器決定優先順序:可以選最小的過程(風險最低)或查詢telemetry選最多錯誤的過程。執行器是Agent加上精心設計的Skill,包含黃金模式(人手寫的慣用範例)讓Agent學習而非完全依賴文檔。Workflow每天執行一次,自動建立小的增量PR。

早期問題是反饋迴圈摩擦太大——每次改Skill都得手動檢查分支、修改程式碼、提交推送,迴圈高維護成本且容易卡住。解決方案是在版本控制中追蹤一份Markdown反饋檔案,Agent執行前自動載入。使用者在PR下留`/iterate`註解,Workflow自動偵測,載入全部PR上下文(diff、評論、審查評論、描述)和反饋檔案進行修正,同時更新反饋檔案,低摩擦地重新引導迴圈。另一個加入流量控制:Workflow執行前檢查上一個迴圈PR是否還開著,若開著就不執行,確保同時最多一個PR,避免人類被堆積的工作淹沒。加速時可多工:一次遷移3-5個過程,或分多個實現階段各自消耗context window,或由多人並行執行,讓150個過程的6個月工作量在可控的節奏下分散進行。

關鍵時刻

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與熱力學的數學等價性:資訊論是兩個領域的共同基礎,生成模型的擴散過程與非平衡統計力學描述資訊損失的過程在數學上完全對應,許多開發出來的方法工具在兩領域都有精確對應的形式。
  • 基礎模型的遷移學習策略:先在廣泛材料資料集上訓練基礎力場表示,再針對特定材料類別進行蒸餾微調,既能保持計算效率也能獲得專一性。