你的代理程式有兩個不可信輸入
AI 代理程式有兩個不可信輸入:模型寫的程式碼和它讀到的工具輸出。前者現在有了一個真正的 WASM 沙箱;後者,也就是 MCP 工具投毒,還沒有。
AI & Technology關於設計、開發、AI基礎設施和產品構建的思考。
AI 代理程式有兩個不可信輸入:模型寫的程式碼和它讀到的工具輸出。前者現在有了一個真正的 WASM 沙箱;後者,也就是 MCP 工具投毒,還沒有。
AI & TechnologyMark Shuttleworth 以一個理念打造 Ubuntu——為人而生的 Linux、人人皆可使用的自由軟體——根植於 ubuntu:以人性待人,並按既定時程交付。
Engineering & CraftRoberto Ierusalimschy 圍繞一個原則設計了 Lua——提供機制,而非政策——一門小巧、快速、可嵌入的語言,交給您的是操縱桿,而不是規則。
Engineering & Craft李飛飛打造ImageNet,賦予了AI一雙眼睛——她押注的是規模化的資料,而非更聰明的模型,才是缺失的關鍵成分,並堅信AI必須以人為本。
Engineering & CraftYann LeCun 用卷積打造了深度視覺,接著押注真正的智慧來自以無監督方式學習這個世界並公開發表——而不是更龐大的 LLM。
Engineering & CraftiOS 26 的小工具、控制中心控制項與即時動態,全都是 App Intents 的呈現面。一個 intent 即可驅動按鈕、控制項與即時動態的操作。
AI & TechnologyDemis Hassabis從第一原理打造通用智慧——以遊戲為試煉場、以神經科學為靈感——再將其指向蛋白質摺疊,最終贏得諾貝爾獎。
Engineering & CraftRadia Perlman 發明了生成樹協定(Spanning Tree Protocol),打造出能自我修復的網路——無迴圈、能自我穩定,即便節點說謊也依然正確。把穩健性當成第一原則。
Engineering & CraftMargaret Hamilton 創造了「軟體工程」一詞,並寫下了挺過 1202 警報的阿波羅飛行程式碼。防禦式設計、錯誤復原,以及沒有第二次機會。
Engineering & CraftSwift 6.2 翻轉了並行模型:將模組預設為 MainActor(SE-0466),讓 nonisolated async 在呼叫端執行(SE-0461),並以 @concurrent 刻意離開。
AI & TechnologyFoundation Models 給您的是 Apple 封裝完整的裝置端 LLM;MLX 則讓您在 Apple Silicon 上執行自己的模型——量化後的開放權重模型與 LoRA 微調成果。
AI & TechnologyRaj Reddy開創了能與人對話的機器——語音辨識、黑板模型——隨後將最先進的AI對準世界上最貧窮的人,而非最富有的人。
Engineering & Craft技術寫作: Introl
本地運行大型語言模型的全面硬體建議和成本分析。
針對不同AI工作負載比較NVIDIA最新資料中心加速器的GPU選擇指南。
深入技術分析Google張量處理單元從TPUv1到TPUv5的演進。
容器化環境中GPU叢集的資源共享策略。
使用Ray框架構建和管理分散式AI運算的指南。
開源LLM經濟學分析和DeepSeek的競爭定位。
未來資料中心電力需求和NVIDIA下一代GPU路線圖。
為下一代AI基礎設施供電的小型模組化反應爐解決方案。
DeepSeek多頭壓縮架構創新的技術分析。