讓 agent 讀懂計算機的 % 按鈕：REA 怎麼把逆向工程工具交給 AI
REA 把 Ghidra、IDA 等逆向工具包成 MCP，讓 agent 讀機器碼、對照公開資料並用原程式驗證；以計算機 % 按鈕走一遍它的分工與限制。
· 閱讀時間約 6 分鐘00
AI 與軟體工程筆記
今天想讀點什麼？
“Talk is cheap. Show me the code.”
— Linus Torvalds
最新文章
查看全部文章逼不出來不代表沒有：用數位鎖把神經網路加密藏進模型權重
研究者用數位鎖把整個小型神經網路加密藏進模型權重，只有秘密觸發字串能啟動；即使拿到全部權重，微調與搜尋都逼不出來，顯示「逼不出來就代表沒有」的評測推論有破口。
· 閱讀時間約 5 分鐘00
Transformer 為什麼只追得動兩三行？一個 6.5 萬參數的 LoRA 讓中間層接力
預訓練模型預設只能追 2 到 3 行變數參照，但在單一層加上極小的 LoRA 就能讓凍結的中間層接力，追到數十行。
· 閱讀時間約 5 分鐘00
說好不支援 MCP 的 Pi 為什麼改口：Codemode 讓 Agent 寫程式組合工具
Pi 曾公開拒絕 MCP，如今把它納入核心，關鍵是 Codemode：讓 Agent 在沙箱裡寫 JavaScript 組合上百次工具呼叫，只把結論帶回上下文。
· 閱讀時間約 5 分鐘00
讓老師從學生走偏的地方接手：OLIVE 怎麼改寫語言模型的蒸餾
OLIVE 讓學生模型先寫一段，再由老師模型從學生走到的地方接手示範，只學老師寫的文字；在學生容易早早走偏的推理與 Agent 任務上，比整段打分數的線上蒸餾更有效，也更少遺忘。
· 閱讀時間約 5 分鐘00
少想四成、答案不變：Ember-1 怎麼教推理模型別想太多
Ember-1 以 Kimi K3 為底，透過任務回饋訓練刪掉不必要的思考，官方測得約少用四成 token、品質相當；關鍵在多輪 Agent 裡，冗長推理會被每一輪重讀計費。
· 閱讀時間約 5 分鐘00