你的代理程式有兩個不可信輸入
AI 代理程式有兩個不可信輸入:模型寫的程式碼和它讀到的工具輸出。前者現在有了一個真正的 WASM 沙箱;後者,也就是 MCP 工具投毒,還沒有。
AI & Technology關於設計、開發、AI基礎設施和產品構建的思考。
AI 代理程式有兩個不可信輸入:模型寫的程式碼和它讀到的工具輸出。前者現在有了一個真正的 WASM 沙箱;後者,也就是 MCP 工具投毒,還沒有。
AI & TechnologyKyunghyun Cho 讓模型學會自己的控制結構——GRU 中的門控記憶、注意力中的軟對齊——並以誠實、可重現的科學相伴。
Engineering & CraftJoanna Rutkowska以「合理的偏執」打造了Qubes OS:既然軟體不可能毫無漏洞,那就假設系統終將被攻破,對基礎設施保持不信任,並將災害範圍隔離起來。
Engineering & CraftRaj Reddy開創了能與人對話的機器——語音辨識、黑板模型——隨後將最先進的AI對準世界上最貧窮的人,而非最富有的人。
Engineering & CraftGeoffrey Hinton 在整個領域訕笑類腦神經網路時,挺過了兩次 AI 寒冬而堅持押注——信念勝於潮流,直覺勝於形式化。
Engineering & CraftApple 的 Translation 框架:透過 translationPresentation 與 TranslationSession 實現免費的裝置端翻譯,以及各種示範都略過的離線下載邊界情況。
AI & TechnologyRadia Perlman 發明了生成樹協定(Spanning Tree Protocol),打造出能自我修復的網路——無迴圈、能自我穩定,即便節點說謊也依然正確。把穩健性當成第一原則。
Engineering & Craft岩田聰是一位程式設計師,在從未停止當一名玩家的同時登上了任天堂社長之位——以技術造詣成就玩家的喜悅。
Engineering & CraftSalvatore Sanfilippo 圍繞單一原則打造了 Redis——少做一點。一個小巧、單執行緒、記憶體內的儲存系統,小到能裝進你的腦海,並以 C 語言寫成,供人閱讀。
Engineering & CraftAmazon 技術長 Werner Vogels 在一個前提之上建立了雲端:一切都隨時會故障。為故障而設計,將爆炸半徑降到最低,並在故障中維持可用性。
Engineering & CraftDemis Hassabis從第一原理打造通用智慧——以遊戲為試煉場、以神經科學為靈感——再將其指向蛋白質摺疊,最終贏得諾貝爾獎。
Engineering & CraftiOS 26 的小工具、控制中心控制項與即時動態,全都是 App Intents 的呈現面。一個 intent 即可驅動按鈕、控制項與即時動態的操作。
AI & Technology技術寫作: Introl
本地運行大型語言模型的全面硬體建議和成本分析。
針對不同AI工作負載比較NVIDIA最新資料中心加速器的GPU選擇指南。
深入技術分析Google張量處理單元從TPUv1到TPUv5的演進。
容器化環境中GPU叢集的資源共享策略。
使用Ray框架構建和管理分散式AI運算的指南。
開源LLM經濟學分析和DeepSeek的競爭定位。
未來資料中心電力需求和NVIDIA下一代GPU路線圖。
為下一代AI基礎設施供電的小型模組化反應爐解決方案。
DeepSeek多頭壓縮架構創新的技術分析。