Rust Glancer:記憶體用量僅為百分之一的新型 Rust LSP
由 matklad 開發的新型 Rust 語言伺服器協議(LSP)實作 Rust Glancer,宣稱其記憶體用量比 rust-analyzer 等現有方案少了兩個數量級。它透過使用可卸載至檔案系統的凍結工作區(frozen workspaces),而非將所有資料保留在記憶體中,來達成此目標。 這項突破解決了開發者在處理大型 Rust 程式碼庫時的主…
第 50 / 61 頁,依本站收錄時間整理(台灣時間),不代表原文發布時間。
由 matklad 開發的新型 Rust 語言伺服器協議(LSP)實作 Rust Glancer,宣稱其記憶體用量比 rust-analyzer 等現有方案少了兩個數量級。它透過使用可卸載至檔案系統的凍結工作區(frozen workspaces),而非將所有資料保留在記憶體中,來達成此目標。 這項突破解決了開發者在處理大型 Rust 程式碼庫時的主…
近期一場討論揭示了軟體效能與硬體進步之間的悖論,指出網路延遲、臃腫的使用者介面以及 AI 產生的程式碼是造成遲緩的主因。分析認為,現代應用程式花費了大量時間在阻塞或等待狀態,而非充分利用運算能力。此趨勢對使用者體驗影響深遠,因為感知上的遲緩會影響各平台的生產力與滿意度。這標誌著工程重點從演算法優化轉向管理 I/O 瓶頸與渲染開銷。關鍵因素包括線上堆疊的…
Latent Space 分析指出,模擬訓練正成為 AI 領域的主导力量,其效率和速度遠勝傳統模型訓練方法。這種方法讓模型僅以 10% 的性能差距,就能實現比傳統方法便宜百倍、快速萬倍的優勢。這標誌著 AI 開發的重大範式轉移,將焦點從原始運算能力轉向優化的訓練環境。文章強調,模擬訓練不僅節省成本,還能透過虛擬環境更有效地生成多樣化訓練數據,從而實現數…
文章指出,隨著 AI 模型將代理框架的邏輯內化至其權重中,「韌帶」的角色正從管理模型執行轉向引導人類注意力。這種概念上的轉變意味著未來的 AI 代理將需要較少的外部編排,從而根本性地改變人類與自主系統的互動及監督方式。最近的框架如 SKILL0 展示了動態課程如何逐步在訓練期間移除技能上下文,從而實現無需外部支撐的真正自主表現。
Simile AI 執行長 Joon Sung Park 指出,數位雙胞胎技術正從早期的病毒式實驗,演變為嚴肅的商業模式,目標是為每位活著的人創建八個數位雙胞胎。 這項轉變標誌著「擴展定律」概念的變化,重點從單純的運算能力與數據量,轉向模擬的精確度。未來的人工智慧進展,可能更依賴模擬環境的品質,而非僅靠運算資源。 此概念建立在 Park 於史丹佛大…
開發者使用 300 億個令牌訓練了一個 2.5 億參數的 LLM,並將其量化至低於 2 位元,使整體部署僅需 60 MB。該模型採用獨特的磁碟式 KV 快取技術,將超過 2048 令牌的歷史資料壓縮為 1 位元,支援高達 1 億令牌的上下文檢索,且僅需 80 MB 記憶體即可在 CPU 上運行。該模型在保留的英文網頁文本上達到了 23.3 的困惑度,並…
GitHub 的活動量大幅激增,近期的一次停機事件中,每月提交次數翻倍達到 29 億次。這次增長主要由 AI 輔助編程工具的廣泛採用所驅動,這些工具讓非開發人員也能貢獻程式碼。 這一趨勢標誌著軟體開發的民主化,將程式設計從一項專業技能轉變為更廣泛的組織能力。它反映了傑文斯悖論,即編程工具變得更便宜、更容易使用,導致整體使用量增加。 在 8 月 17 日…
SGLang 發布了 0.5.18 版本,新增支援多模態模型 Muse Glimmer、Intern-S2-Mobius 以及基於擴散模型的 SANA-Video。此次更新還引入了重疊檢查點預載入(overlapped checkpoint staging)與結合 All-to-All 的 TP LMHead 等效能優化功能。 此次更新透過支援 Met…
Model Context Protocol (MCP) 團隊發布了新路線圖,計畫在 2026 年 7 月前將遠端伺服器整合簡化為類似標準 HTTP 工作負載。同時,該路線圖引入了標準化的授權機制,協助自主代理安全地管理身分與權限。該協議旨在透過標準化代理識別可信身分及委派權限給子代理的方式,來解決初期的複雜性問題。這涉及利用 OAuth 2.1 PK…
加拿大總理馬克·卡尼(Mark Carney)宣布,在週五的貿易談判破裂後,加拿大將採取「對等」策略,對美國關稅進行報復性徵稅。這項決定涵蓋約 200 億加元的加拿大商品,範圍包括冰球棍、建築材料及奶酪等產品。 此舉標誌著加美雙邊關係的重大轉變,從以往的緊密合作轉向更具對抗性的貿易立場。受影響的領域涵蓋製造業與農業等主要經濟部門,並可能促使加拿大尋求…
科學家已發布迄今為止最大的宇宙二維地圖,並透過遺跡調查天空檢視器(Legacy Survey Sky Viewer)提供存取。這項綜合數據集利用光學和紅外成像,涵蓋了約 14,000 平方度的河外天空。此次發布是天文學數據視覺化的一個重要里程碑,為研究人員和公眾提供了前所未有的宇宙視圖。該地圖整合了 DESI 遺跡成像調查的數據,將光學波段(g、r、z…
在一場重大的兒童隱私訴訟開庭陳詞中,加州副總檢察長梅根·奧尼爾(Megan O'Neill)提出了「鉤住、留住、收割、隱藏」的記憶口訣,用以描述 Meta 涉嫌的商業模式。這個詞組概括了該公司如何吸引年輕用戶、讓他們保持活躍、收集數據,並向公眾隱藏收集範圍。此口訣是律師提出的訴訟手段,旨在引導陪審團在整個審判過程中解讀內部文件,而非 Meta 內部的企…
本文分析了暹羅(今泰國)如何在英國和法國殖民壓力的威脅下,透過策略性地採用西方現代化與政府集權,成功避免被殖民。這包括主動接納歐洲文化、實施統一的國家法律,並割讓部分領土以保全王國的核心主權。 朱拉隆功國王(拉瑪五世)發揮了關鍵作用,他派遣現代化軍隊鎮壓叛亂,並簽署了1909年英暹條約等協議。該策略需要技術、行政和外交上的同時成功,才能在失去邊疆領土…
Simon Willison 指出,要有效運用編程代理(coding agents),關鍵技能在於能自信地指示其進行更改,並確認更改已正確應用。雖然有時仍需審查每一行程式碼,但單純目視檢查從來都不是驗證軟體更改最有效的方法。因此,除了逐行審查外,還有其他方法可達成驗證目標。
OpenAI 在其服務中引入廣告,促使本地 LLM 社群強調在本地運行模型以避免數據追蹤和廣告個人化的好處。這一轉變強化了本地推理在雲端供應商日益重視用戶數據變現時的價值主張。 此發展標誌著產業的重大轉變,雲端 AI 正轉向廣告支援模式,驗證了注重隱私用戶的「本地運行」運動。這也影響了開發者和企業在便利性與雲端 API 之間,以及數據主權和成本控制與…
一名 Reddit 用戶指出,Artificial Analysis 的智慧指數具有誤導性,因為它將較小的 Qwen 3.8 27B 模型排名高於 DeepSeek v4 Flash 和 GPT-5.2 等更大參數量的模型。這種差異突顯了該指標在反映真實模型智慧方面的有效性問題。 這項批評挑戰了使用單一綜合分數來比較大型語言模型的慣例,表明參數量並不…
一位用戶報告稱,在雙 RTX GPU(3090 和 3060)上運行 Qwen3.8-27B Q6 量化模型時,推理速度穩定在每秒 60 至 63 個 token。該測試使用 llama.cpp 框架搭配動態 GGUF 量化,在連續 20 小時的測試中保持穩定速度。這項表現突顯了該模型在消費級硬體上進行代理式編碼任務時的效率,證明了大型語言模型可以在多…
LocalLLaMA 社群分享了在 16GB VRAM 限制下運行 Qwen 27B 等大型模型的特定設定與量化策略。使用者採用 IQ4_XS GGUF 格式並停用 MTP(多 Token 預測),以適應硬體限制。關鍵技術包括將多模態投影(mmproj)卸載至 CPU/RAM、使用 q4_0 快取量化,以及調整上下文大小以防止旋轉。此外,討論中提出了克…
中國人形機器人「閃電」在世界人形機器人運動會上展現驚人速度,以 9.32 秒完成百米衝刺。這一成績打破了由尤塞恩·博爾特保持長達 17 年的 9.58 秒人類世界紀錄。 這項成就標誌著機器人技術的重要里程碑,顯示人形機器人在速度和靈活性上已能超越頂尖人類運動員。該機器人由一家中國手機製造商開發,其優異表現突顯了執行器技術和控制演算法的快速進步,賦予機…
Moderna 與默克公司宣布,其針對黑色素瘤的個人化 mRNA 疫苗 mRNA-4157 在第二階段 b 期試驗中成功達到主要療效終點。該疫苗由 AI 驅動設計,能根據每位患者腫瘤 DNA 的獨特突變特徵,編碼高達 34 個新抗原。試驗結果顯示,當與 Keytruda 聯合使用時,可使復發或死亡風險降低 49%。這項突破展示了 mRNA 技術在腫瘤學…
Google 在 OpenRouter 上將 Gemini 3.7 Flash 的價格再降 50%,總折扣達 75%,從而提升了其性價比。考慮到真實世界的代理追蹤與快取效益,這項定價調整使該模型在帕累托效率曲線上超越了 DeepSeek 系列模型。 此次降價大幅改變了大型語言模型的成本效益格局,為基於代理的工作流程開發者提供了極具成本效益的替代方案。這…
Reddit 上的一位 DeepMind 研究員強烈暗示,神秘的程式碼模型 Ox Alpha 其實是 Google Gemini 的微調或重新包裝版本,並指出其身份可能是 Gemini 3.5 Pro 或 Gemini 4 Pro。這項猜測源於 Ox Alpha 在 DeepSWE 基準測試中的優異表現,據報其得分超過 80%,大幅領先 GPT 5.6…
GitHub 上的 guillaumemeyer/watermarks-remover 專案憑藉其移除多種檔案格式中 AI 來源水印的功能而廣受關注。該工具專門針對 Unicode 文字清潔、統計重寫鉤子,以及圖片、文件和文字檔中的 C2PA 或元資料進行處理。 此工具解決了 AI 內容創作者與消費者的一大痛點,即確保其作品不含來自特定供應商的不可見追…
Wei-Shaw 推出了 Sub2API,這是一個基於 Go 語言的開源服務,將 Claude、OpenAI、Gemini 和 Grok 等主要 AI 供應商的存取權限整合至單一 API 端點。該工具讓使用者能夠共享訂閱並有效分攤成本,同時保持與原生工具的無縫相容性。 此發行版透過允許團隊和个人匯集訂閱資源,解決了 AI 開發中日益增長的成本效率需求…
Anthropic 正式發布了 Python SDK 的 1.0.0 版本,這是經過長期測試後的首個穩定版。此次更新主要將底層 HTTP 客戶端遷移至 httpx2,並修復了 beta 功能中的若干小錯誤。由於升級至 httpx2 帶來了破壞性變更,現有使用者必須檢視 MIGRATION.md 檔案以了解客戶端行為的具體變更並確保相容性。此外,此版本修…
DeepSeek 正式發布 v4-flash-vision-exp 模型,為其高效的 Flash 架構增添了原生圖像識別能力。此次升級使模型能夠直接將圖像轉換為 Token 進行處理,解決了先前版本會幻覺出視覺工具的問題。 此次發布顯著提升了 DeepSeek-v4-flash 在多模態任務中的實用性,彌補了純文本效率與視覺理解之間的差距,特別影響著…
TigerBeetle 的核心架構分析指出,系統採用單執行緒執行迴圈、直接記憶體存取(DMA)以及基於 Rust 的記憶體管理,以達成高效能。此設計最大限度地減少鎖定爭用,使軟體架構與現代硬體特性完美契合。 對於主要由寫入操作組成、且因阿姆達爾定律而難以平行化的金融工作負載,此架構尤為關鍵。透過避免多執行緒的開銷,TigerBeetle 為高吞吐量分…
NVIDIA 的 AVO 框架結合 Claude Opus 5,在無需明確指令或規則的情況下,完成了 25 個公共環境中的全部 183 個關卡,在 ARC-AGI-3 基準測試中獲得 100% 的完美分數。 AVO 是一個整合持久記憶與工具使用的進化變異算子框架,其底層推理引擎為 Anthropic 的 Claude Opus 5,該模型在長運行智能體…
輝達(Nvidia)同意支付 60 億美元,向初創公司 Poolside 授權 AI 模型開發軟體並聘用其員工。這項協議包含收購在開源社群中備受矚目的 Laguna 編碼模型,涉及授權其軟體並聘用約 109 名員工,引發了關於收購後人才整合的猜測。 Poolside 以其 Laguna S 2.1 模型聞名,這是一款擁有 1180 億參數的混合專家(…
一款名為 Ox-Alpha 的新隱身 AI 模型已發布,其在 SWE 基準測試中取得了 80% 的得分,超越了現有的領先者 Fable(65%)和 GPT-5.6-sol(52%)。Ox-Alpha 具備 100 萬個 token 的上下文視窗,並透過 OpenRouter 提供服務。社群測試證實其能在其他模型漏掉的 Python 程式碼中發現真實的錯…
我們使用 Google Analytics 了解閱讀情況與改善新聞網站。你可以接受或拒絕分析 Cookie,不影響閱讀。了解 Cookie 政策