對抗 LLM 的程式語言 KillSwitch 開源,基準最高分 66.8
一款名為 KillSwitch 的深奧程式語言開源發布,專門設計成對人類可用、對 LLM 與 coding agent 儘量難以讀寫。它在語言規範裡埋入隱藏謊言,要求按識別符號字元數決定程式碼能否執行,還內建 Ignore previous instructions 等會觸發模型安全護欄的語句。
用字元計數、規範謊言和安全護欄觸發語句當作考題,給出各主流模型與 agent 的實測分數與排名,對關注模型編碼理解能力真實邊界的開發者有參考價值。
原標題:I built a programming language that LLMs can't use
閱讀原文
| 評分 | 70 / 60(平均 65,門檻 76) |
|---|---|
| 狀態 | 未入選 |
相關報導
觀點文章稱 LLM 時代 Common Lisp 是最佳語言
一篇觀點文章主張,LLM 讓寫程式碼不再耗時,瓶頸轉為編譯重啟的反饋迴圈,基於映象的 Common Lisp 因此成為最佳語言。作者稱 Common Lisp 可即時替換函式而無需重啟,出錯時進入保留完整棧與變數的偵錯程式而非崩潰,LLM 可據此修復並繼續執行。他稱自己用 Common Lisp 寫的應用比 Python 版本短約 6 到 7 倍,token 更少;代價是 Quicklisp 僅數千個專案,標準自 1994 年未更新。
llama.cpp 新增 IBM Granite Switch 決策模型支援
llama.cpp 發布 b11700,新增對 IBM Granite Switch 決策模型的轉換與推理支援,改動覆蓋 convert、common 與 server,模板參考 granite-switch-4.1-8b。開發中曾加入 decision.chat 讓決策模型兼作聊天,隨後被回退,最終確定為只要 Granite Switch 支援決策就始終支援文字,server README 也同步更新。
llama.cpp 新增 clef 決策模型純文字支援
llama.cpp 合併 PR #29831,為 clef 決策模型加入初始支援,目前僅限純文字輸入。該改動同時更新了 gguf-py 常量並清理了靜態圖相關程式碼,隨附的建置產物覆蓋 macOS、Linux、Windows、Android 與 openEuler 等多個平台。
500B token 反編譯遊戲:AI agent 編排的經驗與教訓
作者花 3 個月、約 500B token 讓 AI agent 把一款第一人稱射擊遊戲反編譯成 C++,最終程式碼可讀但語義錯誤。專案同時使用 Claude Max(20x)與 Codex Pro 訂閱,agent 跑在 Claude Code CLI 與 Codex CLI 裡,主力是 Sonnet 5,也用過 Opus 5.5、Luna、Sol、Terra;
一位 Ruby gem 作者歸檔全部倉庫,稱不再為 LLM 餵養的社群寫程式碼
一位 Ruby gem 作者把自己所有 gem 的原始碼歸檔,明確表示不再繼續開發。他稱 Ruby 語言本身現在已大量由 LLM agent 開發,Matz 正把 Ruby 重新定位為供 LLM 生成程式碼的「AI 時代程式語言」,並認為 LLM 需要攝取更多人類寫的高品質 Ruby 程式碼;同時 Rails 由他不認同的維護者掌控。他不願再為一個被大公司免費開採、用於餵養那些反過來汙染公共程式碼庫的機器的公共資源做貢獻。