Jukebox-OS 發布:為 AI agent 加上 ACID 事務與確定性回放
開源專案 Jukebox-OS 發布,用 Rust 編寫的執行時為 AI agent 加上資料庫級 ACID 事務語義與確定性時間旅行回放。它把每次 LLM 請求、token 流、MCP 工具呼叫和檔案寫入經 BLAKE3 雜湊記錄到可移植的 .jbx 磁帶,副作用先暫存在 copy-on-write 的 WASI 沙箱,只有呼叫 commit 才真正落地,rollback 則不留痕跡。
依意思最接近的 9 筆
開源專案 Jukebox-OS 發布,用 Rust 編寫的執行時為 AI agent 加上資料庫級 ACID 事務語義與確定性時間旅行回放。它把每次 LLM 請求、token 流、MCP 工具呼叫和檔案寫入經 BLAKE3 雜湊記錄到可移植的 .jbx 磁帶,副作用先暫存在 copy-on-write 的 WASI 沙箱,只有呼叫 commit 才真正落地,rollback 則不留痕跡。
AegisKernel 發布面向 AI agent 的零信任 POSIX 執行時,用確定效能力邊界取代機率性的 LLM 護欄,宣稱可 100% 攔截自主工具劫持,攔截耗時低於 0.016 毫秒。接入方式是兩行程式碼:用 AegisShield 按 strict 策略包裝工具函式,官方稱相容 LangChain、CrewAI 與 AutoGen。專案頁面還提供攻擊向量生成器,可注入 payload 並即時檢視攔截遙測與取證雜湊。
南開大學聯合阿里雲、清華大學提出 PoS(Progression of States),把智慧體持續互動卻無實質進展的狀態定義為 Belief Trapping,並用顯式信念狀態、Belief Health 檢測與 Trapping-Aware Recovery 打破它。
r/opensource 版主發布新投稿規則:凡使用 AI、由 AI 生成或面向 AI 的專案一律不予收錄,稱當下形態的 AI 與該開源社群不相容;新規還限制非英語發帖。規則在評論區引發激烈爭論,並催生出對立的子版 r/trueopensource。版主 Wolvereness 回應稱執行上存在細微差別、可選擇性放行,例如只是附帶 AI 無障礙功能的軟體。
Perplexity 發布面向工作場景的 AI agents,官方將其定位為可承擔複雜、持續性工作的「teammates」,而非一次性問答。資訊來自 Perplexity 官方部落格,Hacker News 上的討論帖獲得 34 分、26 條評論。原文未披露所用模型、收費方式與開放範圍等細節。
螞蟻靈矽大模型應用平台團隊開源自動最佳化框架 AntOmniEvo,使用者只需提供可修改的檔案目錄、評估資料、打分標準和系統定義,框架就會驅動 coding agent 在「改檔案—打分」迴圈中 7×24 迭代。核心演算法 Mara Chain 讓未達標的候選帶著診斷記錄繼續修復,配合逐題 Pareto 過濾,避免過早淘汰有潛力的候選。
在 OpenAI 贊助下,安全公司 Calif 的研究者藉助 AI 工具審計 PHP,把 2024 年就已被報告、此前只被當作程式崩潰的記憶體溢位 bug,升級成可遠端執行任意程式碼的嚴重漏洞 PHP2Shell,波及 WordPress、Drupal 等建站系統,包括 NASA、維基百科與白宮站點。漏洞在遭利用前已通報 PHP 基金會,四名工程師花兩個月完成補丁。研究者指出,AI 讓頂尖專家效率大增,也讓四十年遺留程式碼的技術債集中暴露;
Ollama 官方帳號引述 jmorgan 在 This Week in AI 播客(與 Jason 對談)中的說法,稱企業 AI 正在經歷它的“PC 時刻”。該推文未給出具體產品、資料或時間表,只是觀點性表態,沒有更多細節。
Pi 1.1.0 發布,新增對 Claude Haiku 5.5(anthropic/claude-haiku-5-5)的支援,自適應思考可開到 xhigh/max,並在 Bedrock 上啟用提示快取。同時加入 OSC 7501 程式狀態上報,支援的終端與 agent 面板可看到 Pi 正在工作、被對話方塊或登入阻塞、完成還是失敗。