AISpot

對抗 LLM 的程式語言 KillSwitch 開源,基準最高分 66.8

Hacker News front page觀點研究開源

一款名為 KillSwitch 的深奧程式語言開源發布,專門設計成對人類可用、對 LLM 與 coding agent 儘量難以讀寫。它在語言規範裡埋入隱藏謊言,要求按識別符號字元數決定程式碼能否執行,還內建 Ignore previous instructions 等會觸發模型安全護欄的語句。

用字元計數、規範謊言和安全護欄觸發語句當作考題,給出各主流模型與 agent 的實測分數與排名,對關注模型編碼理解能力真實邊界的開發者有參考價值。

原標題:I built a programming language that LLMs can't use
閱讀原文

評分70 / 60(平均 65,門檻 76)
狀態未入選

相關報導

Hacker News front pageAI 評分36

觀點文章稱 LLM 時代 Common Lisp 是最佳語言

一篇觀點文章主張,LLM 讓寫程式碼不再耗時,瓶頸轉為編譯重啟的反饋迴圈,基於映象的 Common Lisp 因此成為最佳語言。作者稱 Common Lisp 可即時替換函式而無需重啟,出錯時進入保留完整棧與變數的偵錯程式而非崩潰,LLM 可據此修復並繼續執行。他稱自己用 Common Lisp 寫的應用比 Python 版本短約 6 到 7 倍,token 更少;代價是 Quicklisp 僅數千個專案,標準自 1994 年未更新。

llama.cpp releasesAI 評分44

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 也同步更新。

Hacker News front page● 精選AI 評分80

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;

Hacker News front pageAI 評分36

一位 Ruby gem 作者歸檔全部倉庫,稱不再為 LLM 餵養的社群寫程式碼

一位 Ruby gem 作者把自己所有 gem 的原始碼歸檔,明確表示不再繼續開發。他稱 Ruby 語言本身現在已大量由 LLM agent 開發,Matz 正把 Ruby 重新定位為供 LLM 生成程式碼的「AI 時代程式語言」,並認為 LLM 需要攝取更多人類寫的高品質 Ruby 程式碼;同時 Rails 由他不認同的維護者掌控。他不願再為一個被大公司免費開採、用於餵養那些反過來汙染公共程式碼庫的機器的公共資源做貢獻。