新聞 RSS 訂閱

Homebrew 5.0.0 版本已於日前發佈。與 4.6.0 版本相比，最重要的變化是默認啓用併發下載、正式支持 Linux ARM64/AArch64、制定了棄用 macOS Intel 的時間表以及移除 macOS Gatekeeper bypass 行為。 自 4.6.0 版本以來的主要變更和棄用： HOMEBREW_DOWNLOAD_CONCURRENCY=auto默認啓用。這將默認

最新研究對 Google、Meta、OpenAI 等 12 款主流模型進行5874個高壓場景測試，結果顯示：Gemini2.5Pro 失敗率從 18.6% 飆升至79%，GPT-4o 亦接近“腰斬”。 實驗腳本很簡單：把截止日期砍半、財務懲罰翻倍、計算資源縮減，再補一句“拖延將造成嚴重後果”。瞬間，模型紛紛“兵荒馬亂”—— 生物安全任務裏，Gemini2.5Pro 直接跳過毒株無害驗證步驟;

微軟正在為 Windows 11 的記事本（Notepad）加入一系列新特性，讓這款傳統的輕量級文本工具變得更加“AI 化”。 最新版本中，記事本新增了 Copilot 的文本生成功能，並支持 Streaming Results（實時流式輸出） —— 當 AI 生成內容時，用户可以看到文本逐字出現，類似 ChatGPT 網頁端的呈現方式。 除了 AI，記事本還開始支持 表格（Tables）。用

Git Extensions 是一個用於管理 git 存儲庫的獨立 UI 工具。Git Extensions v6.0.5 現已發佈，更新亮點如下： 必需：.NET 9.0 Desktop Runtimev9.0.11 x64或更高版本 9.x 推薦版本：Git 2.51.0 或更高版本 兩項修復 已更新的翻譯（日語、韓語 100%；泰語、中文、法語、土耳其語、俄語 95%；其他語言低

英特爾正在擴充其 Linux 上游工程師團隊，該公司近日公開招聘兩名“經驗豐富的 Linux 內核軟件工程師”，由 Intel 上游 Linux 內核工程總監 Kristen Accardi 發起。 兩個職位分別面向不同的技術方向：其中一個專注 Intel 平台在 Linux 上的系統軟件與驅動優化，另一個聚焦操作系統內核層的硬件支持與性能調優。對應薪酬區間約為 14.6 萬至 27.7 萬美元／

Kimi近日推出了一款基於Google Nano Banana Pro模型的全新幻燈片生成器，旨在徹底改變用户創建演示文稿的方式。為慶祝髮布，Kimi正提供48小時限時免費試用，用户無需付費即可體驗其核心功能。 本次試用期的焦點是突破性的功能——“Agentic Slides”。該功能由智能體（Agentic）驅動，能夠自動將PDF、圖片和各類文檔快速轉換為完整的演示文稿。用户可以在瀏覽器內直接

英偉達 CEO 黃仁勳在一次全體員工會議上，強調了 AI 在日常工作流程中的重要性，並要求員工儘可能利用 AI 工具完成各項任務。 會議上，黃仁勳在宣佈創紀錄的570億美元季度營收後，直言要將 AI 應用拓展到每一個可自動化的任務。他指出：“我希望所有能夠通過 AI 完成的任務都能實現自動化。” 此外，黃仁勳還對部分管理者不鼓勵員工依賴 AI 的現象表達了不滿。他詢問：“你們瘋了嗎?” 並強調，

階躍星辰宣佈推出首個完全開源 GUI 智能體，由兩個主要部分組成： 即插即用的完整推理工程基礎設施 可本地運行的4B GUI Agent 模型 GELab-Zero提供了類似開源 GUI Agent MCP 的一鍵啓動體驗，支持完全本地化部署，並將整個推理鏈路置於您的完全控制之下。具體能力包括： 輕量級本地推理：支持 4B 規模模型在消費級硬件上運行，兼顧低延遲與隱私。 一鍵任務啓

“不可靠的網絡”、“不穩定的時鐘”和“節點的故障”都是在分佈式系統中常見的問題，在文章開始前，我們先來看一下：如果在分佈式系統中網絡不可靠會發生什麼樣的問題。 有以下 3 個服務構成的分佈式集羣，並在 server_1 中發生寫請求變更 A = 1，“正常情況下” server_1 將 A 值同步給 server_2 和 server_3，保證集羣的數據一致性： 但是如果在

微軟近日面向 IT 管理員發佈提醒，強烈反對在 Windows 環境中繼續使用已停止支持的 .NET 運行時版本，認為這類組件可能帶來安全風險、穩定性問題以及合規隱患。 微軟同時將這一警告與此前逐步淘汰傳統組件（如將在 Windows Server 2025 中最後支持的 WINS 服務）放在同一背景下，強調清理“遺留技術”的必要性。 傳統 .NET Framework 曾是 Windows 的核

Linux 6.18 已正式推送至 kernel.org，作為今年壓軸的主線版本，它極有可能成為 2025 年的長期支持（LTS）內核。該版本在硬件支持、文件系統、驅動與底層機制等方面都有重要更新。 這次更新中，Apple Silicon 的適配進一步推進，M2 Pro / Max / Ultra 等平台的設備樹被上游合入。Intel 新平台（如 Wildcat Lake）也同步獲得支持。GPU

網易有道詞典發佈2025年度詞彙，deepseek 以 8672940 次年度搜索量成功當選。 據有道詞典負責人介紹，“deepseek”在詞典內部的搜索曲線呈現明顯的爆發式特徵，從年初因“低成本”突破算力封鎖起，幾乎每個重要進展都會帶動搜索量上漲。 “搜索數據顯示，‘deepseek’的關注者分佈在不同年齡與職業羣體，大學生羣體的參與尤為突出。”該負責人表示，“全年超過867萬次的搜索量，反映

長期以來，在顯示技術領域存在着一個公認的物理瓶頸：裸眼3D顯示的大尺寸與超寬連續視角難以兼得。近日，上海AI實驗室聯合復旦大學等機構成功研發了新一代裸眼3D顯示系統書生·瞳真EyeReal，成功攻克這一難題。 通過AI深度學習算法進行實時計算，EyeReal將有限的顯示資源精確地傳遞至觀看者的雙眼，從而實現裸眼3D，並大幅提升觀看體驗。該技術完全兼容消費級液晶面板，無需複雜的光學元件或特製硬件，首

12月1日，羅永浩在微博發表長文，預告“羅永浩的十字路口”之年度科技創新分享大會（2025）將於今年12月30日19時在上海召開，兩週後放票。按“科技春晚”的優良傳統，門票收入會全部用於公益。 在長文中，羅永浩解答了一些相關問題。他表示，給大家集中介紹一批令人印象深刻，但還沒徹底走進大眾視野的中國創新型科技產品。他還強調，科技創新分享大會不是“帶貨直播”，大會上將發佈細紅線科技內部開發的 AI

NixOS 25.11 “Xantusia” 現已發佈。此版本將獲得為期七個月的錯誤修復和安全更新（直至 2026 年 6 月 30 日）。舊版本 25.05“Warbler”現已正式棄用，將於 2025 年 12 月 31 日之後停止維護並停止接收安全更新。 本次發佈的 Nixpkgs 版本： 新增 7002 個軟件包 已更新 25252 個現有軟件包 為了保持軟件包集的可維護性和安全性

Linux Vendor Firmware Service (LVFS) 已為超過 1.35 億 Linux 用户提供系統和設備固件更新下載，其也在一直致力於吸引更多硬件廠商貢獻工程資源或直接繳納年度會費作為贊助商。 一直以來，Red Hat 通過聘用首席開發人員 Richard Hughes 為 LVFS/Fwupd 的成功做出了最大貢獻，Linux 基金會自該項目納入其管理以來也一直為其提供支

歐盟立法者近日在布魯塞爾達成了一項歷史性協議，推出全球首個全面的人工智能法案。這一開創性立法旨在根據人工智能系統的潛在風險和影響程度進行規範，為27個成員國建立一個統一的監管體系。該法案不僅促進創新，還旨在保護基本人權。 新法案將人工智能系統分為四類風險等級，從不可接受風險到最低風險。根據路透社的報道，被認定為 “不可接受風險” 的 AI 應用將被全面禁止。這包括政府的操控性社會評分系統，以及在公

微軟近期在官方文檔中透露，儘管 Windows 11 上的新一代 AI 代理存在潛在風險，但依然將其視為未來操作系統的重要組成部分。 這些 AI 代理被設計為能夠模擬人類的操作，包括點擊界面、操作應用和文件，以幫助用户完成多步任務。然而，微軟也警告用户，這些代理可能會出現 “幻覺” 現象，或者受到惡意提示的欺騙，甚至可能成為黑客攻擊的新入口。 自 2025 年 10 月起，微軟計劃將每一台 Wi

據X用户Tibor表示，在最新ChatGPT安卓1.2025.329測試版中，開發者發現新增“ads feature”“search ad”“bazaar content”等字符串，暗示廣告功能已進入開發階段。 據內部人士透露，OpenAI正評估基於用户記憶或交互信息展示廣告的可行性。OpenAI應用首席執行官Fidji Simo近期在全員會議中表示，公司正在探索廣告如何為用户帶來價值。Sam

豆包手機助手宣佈推出技術預覽版，這是豆包和手機廠商在操作系統層面合作的手機AI助手。 據介紹，基於豆包大模型的能力和手機廠商的授權，豆包手機助手能夠為用户帶來更方便的交互和更豐富的體驗。 從官方演示效果來看，用户可通過語音、側邊鍵或豆包 Ola Friend 耳機直接喚醒豆包，實現更便捷的交互。在任意界面使用手機時，用户都可以直接就屏幕內容向豆包手機助手提問以獲取更多信息。 同時，豆包手機助手也

DBeaver 是一個免費開源的通用數據庫工具，適用於開發人員和數據庫管理員。DBeaver 25.3 已發佈，自 25.2.5 版本以來的變化： SQL Editor： 修復了 macOS 上無法選擇多行的問題。 修復了腳本執行按鈕不可用的問題。 Data Editor：修復了應用帶有額外條件的篩選器時出現的錯誤行為 Metadata editor：

國內首個面向藏語場景的千億級參數藏語基座大模型“陽光清言”V1.0 已發佈。 該大模型由中國工程院院士、西藏大學教授尼瑪扎西團隊和北京智譜華章科技股份有限公司聯合研發。目前，研究團隊正按照國家相關法規推進備案工作，待備案完成後，將正式上線並面向社會提供服務。 據介紹，“陽光清言”藏語大模型V1.0是一款具備千億參數規模的藏語大模型。該模型的訓練數據使用了約288億Token高質量藏語數據，包括大

一、項目概覽 Dragonboat 是純 Go 實現的（multi-group）Raft 庫。 為應用屏蔽 Raft 複雜性，提供易於使用的 NodeHost 和狀態機接口。該庫（自稱）有如下特點： 高吞吐、流水線化、批處理； 提供了內存/磁盤狀態機多種實現； 提供了 ReadIndex、成員變更、Leader轉移等管理端API； 默認使用 Pebble 作為 存儲後端。 本次代碼串講

Taro 4.1.9 現已發佈。Taro 是一個開放式跨端跨框架解決方案，支持使用 React/Vue/Nerv 等框架來開發微信 / 京東 / 百度 / 支付寶 / 字節跳動 / QQ 小程序 / H5 等應用。 特性（feat） feat(harmony): 修復import部分場景打包錯誤 修復（fix） fix(weapp/updateShareMenu): 修正