據 ProPublica 調查報道,美國交通部(DoT)正計劃利用 Google 的 Gemini AI 來輔助起草涉及航空、汽車、鐵路和海事安全的約束性法規。這一舉措旨在通過技術手段大幅縮減政策制定週期,實現“閃電式”發佈監管條令。 在內部溝通中,DoT 律師 Daniel Cohen 向員工展示了 AI “革命性”的制訂效率。儘管傳統的法規起草通常需要數月甚至數年,但演示顯示 Gemini
新聞 RSS 訂閱
雅虎發佈“Yahoo Scout”,基於 Claude 模型的 AI 問答搜索
雅虎上線了由 Anthropic Claude 模型提供技術支持的 AI 問答搜索功能:Yahoo Scout。 據介紹,該功能深度整合了雅虎過去三十年積累的 500 億用户配置文件及 18 萬億條消費行為信號,支持以自然語言合成包括 Yahoo 自有頻道(如新聞、財經、體育等)在內的全網信息,然後以結構化表格、豐富多媒體卡片及顯眼的藍色溯源鏈接形式呈現,每條回答平均包含多達 9 個引用來源;同
TigerVNC 1.16.0 發佈,VNC 客户端和服務器
TigerVNC 1.16.0 版本現已發佈。TigerVNC 是一個高級的 VNC 遠程訪問的實現,允許你查看運行在網絡上另一台計算機上的虛擬桌面環境並與之交互;它是基於 RealVNC 4 和 X.org 代碼庫的高速 VNC 版本。 重點更新內容如下: native viewer 新增了鍵盤快捷鍵系統,方便用户控制查看器,例如切換全屏模式和重定向系統按鍵。 native viewer
螞蟻靈波具身大模型 LingBot-VLA 正式開源,後訓練代碼全面開放
螞蟻集團旗下具身智能公司靈波科技正式開源具身大模型 LingBot-VLA。 據介紹,在上海交通大學開源的具身評測基準 GM-100(包含 100 項真實操作任務)測試中,LingBot-VLA 在 3 個不同的真實機器人平台上,跨本體泛化平均成功率相較於 Pi0.5 的 13.0% 提升至 15.7%(w/o Depth)。引入深度信息(w/ Depth)後,空間感知能力增強,平均成功率進一步
Mistral AI 發佈 Vibe 2.0
Mistral AI 宣佈推出其終端編程助手 Mistral Vibe 2.0 升級版,基於 Devstral 2 模型系列。 根據介紹,Mistral Vibe 已經提供了終端原生代碼自動化功能,支持自然語言命令、多文件編排、智能引用和完整的代碼庫上下文。2.0 版本中則添加了更多控制選項,讓用户可以完全自定義它。 自定義子代理:構建專門用於特定任務的代理 —— 部署腳本、PR 審查、測試
AI 編程實踐:從 Claude Code 實踐到團隊協作的優化思考
一、開發痛點:為什麼我們需要AI編程輔助? 核心發現: AI編程工具正在重塑開發流程,但真正的價值不在於替代開發者,而在於構建人機協作的新型開發範式。Claude Code通過精準對話流設計、模塊化任務分解和專業化子代理協作,在提升開發效率的同時,也面臨着上下文管理、協作邊界和質量控制等實際挑戰。 作為一線開發者,我們每天都在與複雜的業務邏輯和不斷迭代的技術棧打交道。不知道你是否也遇到過這些場景:
Andrej Karpath 在過去幾周裏大量使用 Claude 編碼的體驗
特斯拉前自動駕駛負責人、OpenAI 聯合創始人 Andrej Karpathy 分享了他在過去幾周裏大量使用 Claude 編碼的體驗。 🌟編碼工作流 隨着大模型編碼能力的最新一波提升,和很多人一樣,我在 11 月還大約是 80% 手寫+自動補全、20% 用 agent;到 12 月就迅速變成了 80% agent 編碼、20% 修改和收尾。 也就是説,我現在基本是在用英語寫程序了,有點不
Taro 4.1.11 發佈,BAT 小程序、H5 與 RN 端統一框架
Taro 4.1.11 現已發佈。Taro 是一個開放式跨端跨框架解決方案,支持使用 React/Vue/Nerv 等框架來開發微信 / 京東 / 百度 / 支付寶 / 字節跳動 / QQ 小程序 / H5 等應用。 修復(fix) fix(ascf): 適配ascf fix(taro-vite-runner): vite打包循環引用 fix(binding): 修復 darwin-x64
Z-Image 標準版正式開源發佈,專為微調而生的圖像生成基座模型
Z-Image(造相)團隊正式開源Z-Image標準版。作為Z-Image系列的主要社區基礎模型,標準版是非蒸餾的完整模型,在生成質量、風格靈活性和二次開發支持上更具優勢,旨在為社區開發者提供一個強大且靈活的圖像生成底座,釋放更多定製化開發和精細微調的可能性。 Z-Image標準版作為一個非蒸餾的完整模型,優於其蒸餾版本Z-Image-Turbo,支持完整CFG、負向提示詞控制,可避免”相同臉”
OpenAI 推出 Prism,藉助 AI 提升科研寫作與協作效率
OpenAI 宣佈推出 Prism,一個專為科研人員打造的免費 AI 原生協作空間,由 GPT‑5.2 驅動,旨在助力科研寫作與團隊協作。 即日起,Prism 向所有擁有 ChatGPT 個人賬户的用户開放,項目數量與協作人數不設上限。並計劃很快面向使用 ChatGPT Business、Team、Enterprise 和 Education 套餐的組織開放。 根據介紹,Prism 將初稿撰寫、
蘋果 M3 Mac 現已成功啓動 Asahi Linux,但暫不具備實際可用性
Asahi Linux 項目貢獻者近日成功在搭載 M3 芯片的 Mac 上啓動了 Linux 系統,不過目前僅處於極早期階段,距離普通用户可用還有相當長的路要走。 雖然 Apple Silicon 系列 Mac 官方僅支持 macOS,但這並未阻擋愛好者持續嘗試在蘋果自研芯片平台上移植 Linux,如今這一進展已經延伸到了最新一代的 M3 芯片。 早在 2021 年,就已有開發者開始嘗試為 App
月之暗面 Kimi 正式發佈官方編程工具:Kimi Code
月之暗面正式發佈Kimi 的編程工具:Kimi Code。 據介紹,它不僅能在終端裏直接運行,還能無縫集成到 VSCode、Cursor、JetBrains 和 Zed 等主流編輯器中。Kimi Code 可充分發揮 K2.5 的多模態優勢,支持直接輸入圖片和視頻進行編程輔助,並能自動發現並將你現有的技能遷移到新的工作流中。 官方介紹稱,Kimi Code Bench 是其內部的代碼能力評測基
Meta 將在旗下社交平台測試提供 AI 能力的訂閲服務
根據 Techcrunch 的報道,Meta 計劃在旗下三大社交平台 Instagram、Facebook 和 WhatsApp 推出新的付費訂閲策略,在未來幾個月內開始測試這些付費升級服務。儘管核心功能仍然保持免費,訂閲用户將可以解鎖“更強生產力、更高級創造工具和擴展的 AI 能力”。 Meta 表示基礎使用不變,但訂閲版會提供不同應用獨有的增強功能組合。每個應用將測試不同的功能包,而非統一一套
Fastify v5.7.2 發佈,極速 Node.js Web 框架
Fastify 是一個高度專注於以最少開銷和強大的插件架構為開發者提供最佳體驗的 Node.js Web 框架,速度極快,它的靈感來源於 Hapi 和 Express。 Fastify v5.7.2 現已發佈,本此更新帶來以下內容: Notice PR #6414中已將content-type header解析改進為 strict parser。這意味着只接受符合RFC 9110規範描述形式的 h
若干個 X.Org 庫發佈版本更新
多個 X.Org 庫在近日發佈了新的版本更新,旨在修復各種構建問題並進行其他一些小的改進。Oracle Solaris 團隊的 Alan Coopersmith 是 X.Org 的長期版本管理者,他於近日花費了大量時間完成了上游 X.Org 庫的更新發布。 已發佈的新版本包括: bitman 1.1.2- 改進了手冊頁格式,修復了各種編譯器問題,並對這些 X bitmap 編輯器和轉換實用程序
騰訊混元 AI Infra 團隊開源 HPC-Ops,高性能 LLM 推理核心算子庫
騰訊混元 AI Infra 團隊開源生產級高性能 LLM 推理核心算子庫 HPC-Ops,該算子庫基於生產環境痛點,採用 CUDA 和 CuTe 從零構建,通過抽象化工程架構、微架構深度適配及指令級極致優化等,降低底層算子開發門檻,將核心算子性能逼近硬件峯值,實現了顯著性能突破。 據介紹,騰訊混元使用 CUDA 和 CuTe 開發的這套輕量、高效的 LLM 核心算子庫,主要包括幾個模塊:Fused
微軟發佈自研 AI 加速器芯片 Maia 200
微軟正式推出第二代自研 AI 加速器芯片 Maia 200,稱其為目前公有云廠商中性能最強的 AI 處理器。 該芯片基於超 1000 億晶體管設計,採用台積電三納米制程,在 4 位精度下算力超 10 petaFLOPS,8 位精度下達 5 petaFLOPS,帶有原生 FP8/FP4 張量核心,7 TB/s 帶寬的 216GB HBM3e 內存系統,與 272MB 片上 SRAM。 Maia 20
百度智能雲上調 AI 相關收入增速目標至 200%,衝刺搶 AI 雲第一
《21世紀經濟報道》獨家獲悉,在近期的內部戰略會上,百度智能雲高管定調,2026 年 AI 相關收入目標增速從 100% 上調至 200%,全員力拼高增長,在 AI 雲市場全力搶第一。 《2025 年大模型相關招投標》數據顯示,2025 年中國主流雲廠商大模型相關中標項目累計達 341 個,中標金額約 27 億元。其中,百度智能雲以 109 箇中標項目,合計 9 億元中標金額,連續兩年成為中標項目
深度求索開源新模型 DeepSeek-OCR 2,提出“Visual Causal Flow”
深度求索剛剛發佈最新開源模型:DeepSeek-OCR 2,引入了全新的 DeepEncoder V2 視覺編碼器。該編碼器的架構打破了傳統模型按固定順序(從左上到右下)掃描圖像的限制,轉而模仿人類視覺的「因果流(Causal Flow)」邏輯。 項目地址:https://github.com/deepseek-ai/DeepSeek-OCR-2 模型下載:https://hugg
Docker 29.2.0 發佈
Docker 29.2.0 現已發佈,具體更新內容如下: New docker info現在包含NRI部分。docker/cli#6710 添加實驗性 NRI 支持。moby/moby#51711,moby/moby#51712,moby/moby#51675,moby/moby#51674,moby/moby#51636,moby/moby#51634 檢查端點新增了一個Identity
為什麼 ES 的搜索結果只到 10,000?強制 “數清楚” 的代價有多大
“為什麼搜出來的結果總數永遠是 10,000?是不是數據丟了?” 這是每一個 Elasticsearch 新手在 7.x 版本之後都會遇到的“靈魂發問”。 而在得知“這是 ES 的默認性能優化”後,絕大多數人的第一反應往往是抗拒:“我不想要優化,我要精準的數字!老闆要看,前端分頁也要用。” 於是,在許多項目的代碼庫裏,我們都能看到這樣一行“補丁”: "track_total_hits": t
“自由軟件之父” RMS 抨擊 AI、聯網汽車和智能手機
自由軟件之父 RMS (理查德·斯托曼)上週在亞特蘭大佐治亞理工學院發表演講,繼續他對自由軟件的長期倡議,同時也談及了當今的新興技術。 談到人工智能時,RMS 警告稱:“如今,人們常常用‘人工智能’這個詞來指代一些根本不智能的東西……”。他堅持將大語言模型稱為“生成器”,因為“它們生成文本,但並不真正理解這些文本的含義”,而且它們還會“面不改色地犯錯,所以你不能相信它們生成的任何東西”。 RMS
全國首例因“AI 幻覺”引發侵權案宣判
杭州互聯網法院近日針對全國首例因生成式人工智能模型“幻覺”引發的侵權糾紛案作出判決,駁回原告要求某科技公司賠償損失 9999 元的訴訟請求。 事件具體經過如下: 某生成式人工智能應用程序(以下簡稱某生成式人工智能應用),是某科技公司基於自研大語言模型,開發並運營的文本生成、信息查詢類通用型智能對話應用程序。2025年3月,梁某在同意用户協議後,註冊並開始使用某生成式人工智能應用。2025年6月
國產全鏈路信號與系統仿真軟件“NESIM-A”發佈
由天府絳溪實驗室微波與光子集成前沿研究中心(簡稱“微光中心”)與四川新先達測控技術有限公司聯合研發的,國產全鏈路信號與系統仿真軟件“NESIM-A”(紐西蒙)現已正式發佈。 根據介紹,NESIM-A的核心突破在於其“全鏈路”仿真能力與創新的交互模式。傳統設計流程中,算法設計、電路實現和系統驗證往往依賴多款獨立軟件,數據隔閡導致迭代效率低下。NESIM-A則實現了從系統、算法到電路的一體化協同仿真