新聞 RSS 訂閱

雷軍發文慶祝第五十萬台小米汽車正式下線。 “今天，我們迎來了小米汽車史上一個重要的里程碑：第50萬輛汽車下線。從第1台到50萬台，我們僅僅用了1年零7個多月的時間。同事們告訴我，這是國內新能源汽車行業最快的紀錄。” 他在文中表示，第50萬輛汽車的下線僅僅是小米汽車發展的新起點。並作出承諾稱，小米會持續做好以下幾件事： 第一，堅持不懈抓安全、抓交付。我們始終認為，安全是基礎，安全是前提。在確保

Spring REST Docs 4.0.0 現已發佈，版本的主要亮點包括： 升級到 Spring Framework 7 升級到Jackson 3 Comprehensive null safety throughJSpecify 基於 Antora 的參考文檔 此外，Spring REST Docs 的 REST Assured 集成已被移除，因為在發佈時它與 Groovy 5 不

Lovable 聯合創始人兼 CEO Anton Osika 宣佈公司年度經常性收入（ARR）僅用四個月就從 1 億美元倍增至 2 億美元，刷新歐洲 SaaS 增速紀錄。這家一年前在斯德哥爾摩成立的“氛圍編程”平台總計融資逾 2.25 億美元，最新估值 18 億美元。 Osika 把高速增長歸因於“堅持留在歐洲”——儘管早期投資人多次建議遷往硅谷，Lovable 反而從 Notion、Gusto

AI 低代碼平台 Lovable（主打「vibe coding」：用自然語言直接生成應用和網站）正在高速增長。根據《彭博社》的報道，這家位於瑞典的 AI 編程初創公司年度經常性收入（ARR）已突破 2 億美元，並在洽談新一輪融資，估值有望超過 60 億美元。 Lovable 能讓用户通過自然語言生成完整的應用或網站，主要面向希望快速構建 MVP、小工具或生產力應用的非專業開發者羣體。公司自今年

Spring Integration 7.0.0 現已發佈。此外，還發布了包含錯誤修復和依賴項升級 6.5.4 及 6.4.9 版本。 7.0.0的一些更新亮點包括： Nullability via JSpecify; Jackson 3支持； 遷移到 Spring Core Retry； 基於 Spring AMQP 4.0的 Channel Adapters for AMQP 1.0

百度公司創始人、董事長兼首席執行官李彥宏在人民日報發表署名文章《內化AI能力，加快形成新質生產力》。以下為全文： 內化AI能力，加快形成新質生產力 “十五五”時期經濟社會發展的主題是推動高質量發展。推動高質量發展，最重要是加快高水平科技自立自強，積極發展新質生產力。人工智能（AI）作為引領新一輪科技革命和產業變革的重要力量，對於加快形成新質生產力、實現經濟社會高質量發展作用十分關鍵。 過去幾年，我

MiroThinker 是一款開源智能代理式“深度研究（Deep Research）”模型，旨在提升工具輔助推理和信息檢索能力，支持跨不同挑戰的複雜現實世界研究工作流程。 MiroThinker v1.0 已正式發佈，首創"深度交互Scaling"——不再卷參數，而是讓智能體在環境中"試錯+反思"，完美模擬人類處理複雜問題。 核心突破 256K上下文 + 600輪工具交互 BrowseCo

FileZilla Server 是一個免費開源的 FTP 和 FTPS 服務器，能夠提供與服務器的安全加密連接。 FileZilla Server 1.11.1 現已發佈，更新內容如下： 錯誤修復和小改動： FTP：在測試 FTP 連接期間，勿使用默認模擬程序。 修復了掛載點優先級反轉的錯誤，該錯誤導致組掛載點的優先級高於用户掛載點；現在用户掛載點的優先級已正確提升。 修復了當選中“Us

Meta AI 發佈 Segment Anything系列最新模型SAM3D，提供SAM3D Objects與SAM3D Body兩套權重：前者面向通用物體/場景，後者專注人像重建，均只需單張2D照片即可輸出帶紋理、材質與幾何一致性的3D資產，並在真實世界圖像上顯著優於現有NeRF與Gaussian Splatting方案。 SAM3D核心採用“空間位置-語義”聯合編碼，為每個像素預測3D座標與

一、DDD是什麼？ DDD全名叫做Domins drives Design；領域驅動設計。再説的通俗一點就是：通過領域建模的方式來實現軟件設計。 問題來了：什麼是軟件設計？為什麼要進行軟件設計？ 軟件開發最主要的目的就是：解決一個問題（業務）而產生的一個交付物（系統）。而軟件設計旨在高效的實現複雜項目軟件。也就是説軟件設計是從業務到系統之間的橋樑。 而DDD則是在複雜業務場景下一種更高效更合理的

據《福布斯》報道，馬斯克領導的人工智能公司 xAI 正在快速增長，預計將在2028年實現盈利。根據一場投資者電話會議的錄音，xAI 目前手頭有100億美元的現金，且在營收增長方面表現迅速。Valor Equity Partners 的喬納森・舒爾金在會議上提到，xAI 計劃進行一輪高達150億美元的股權融資，市場對這筆資金的需求已經明確。 儘管手中掌握鉅額資金，xAI 依然需要更多的資金來支撐其

Meta 首席 AI 科學家楊立昆今早在領英上宣佈，自己將於年底從 Meta 離職，計劃創辦一家專注於先進機器智能研究項目（AMI）的初創公司。 AMI 指的是高級機器智能（Advanced Machine Intelligence），這一概念最早由楊立昆提出，他曾解釋説這就是 Meta 對 AGI 的內部代號，AMI 藍圖聚焦於理解物理世界、具備常識、持久記憶、能夠推理和規劃複雜動作序列，且

螞蟻集團宣佈開源高性能權重交換框架 Awex（Asystem Weight Exchange Framework），實現了在數千卡 GPU 集羣上 5~10 秒內完成萬億參數級別的權重同步。 據介紹，Awex 是為極致性能打造的訓練推理引擎權重同步框架，解決 RL 流程中訓練權重參數同步到推理模型的核心難題，可在秒級完成 TB 級大規模參數交換，顯著降低 RL 模型訓練延遲，主要特點如下：

美國共和黨立法者再次提出在2026年國家防務授權法案中加入禁止各州執行人工智能法律的提案。眾議院多數黨領袖史蒂夫・斯卡利斯表示，相關立法語言正在商討中，預計本週內將確定法案的最終內容。這一舉動是對今年初一項類似提案失敗後的再次嘗試，去年時參議院幾乎全體一致地將這一提案剔除。 在初次嘗試中，由德克薩斯州參議員特德・克魯茲主導的提案被認為會妨礙市場發展，遭到了來自隱私保護組織和260多位州立法者的強烈

據 Apple Insider 報道，蘋果即將發佈的 macOS Tahoe 26.2 將為 M5 系列 Mac 帶來顯著的機器學習性能增強，核心升級源於對自研開源 ML 框架 MLX 的強化。 MLX 專為 Apple Silicon（包括 M 系列芯片）設計，能利用 CPU、GPU、統一內存等資源。26.2 更新後，MLX 將原生支持 M5 芯片每個 GPU 核心中的神經加速器（neural

金山軟件正式公佈了2025年第三季度財報。財報顯示，集團 2025 年第三季度營收為人民幣 24.2 億元，同比下降 17%，環比增長 5%。辦公軟件及服務業務、網絡遊戲及其他業務收益分別佔 2025 年第三季度總收益的 63% 及 37%。 2025 年第三季度的辦公軟件及服務業務收益為人民幣 15.213 億元，同比增長 26%，環比增長 12%。該增長主要是由於金山辦公及其附屬公司的 WP

微軟正在積極推動所有用户升級到 Windows 11，但其官方客户服務賬號 @MicrosoftHelps 卻在社交媒體上鬧出了烏龍。 近日，該賬號在社交媒體推廣 Windows 11 的“夜間模式”功能時，意外發布了一張展示 Windows 10 用户界面的教學動圖，用於演示如何在 Windows PC 上開啓夜間模式。 令人尷尬的是，這張圖展示的是 Windows 10 的操作中心界面，但事

Intuit 宣佈與 OpenAI 簽署了一項超過1億美元的多年合同，這一合作將使 Intuit 旗下的税務和金融應用程序，如 TurboTax、Credit Karma、QuickBooks 以及 Mailchimp，能夠在 ChatGPT 平台上運行。這意味着用户可以通過 ChatGPT 進行查詢和完成各類任務，例如估算税款退款、審查信用選項或管理商業財務。 在用户授權的情況下，Intuit

騰訊雲聯合小紅書Hilab Infra團隊，在SGLang 中實現了DeepSeek量化模型的高效推理優化，並在HuggingFace中發佈了DeepSeek-V3.1-Terminus的量化模型。 量化方案介紹 當前主流的大語言模型普遍採用MoE架構，這種架構可以在減少訓推成本的同時提升模型性能，與此同時，模型體積也變得越來越大。比如，DeepSeek系列為671B，Kimi K2達到了 1TB

FreeBSD 15.0 RC1 已發佈 ，預計將在 12 月 2 日正式推出穩定版。相比當前的 FreeBSD 14 系列，FreeBSD 在可重複構建、更完善的硬件支持、筆記本使用體驗提升等方面均有明顯進展，並帶來大量其他改進。 RC1 基於一週前的 FreeBSD 15.0 Beta 5，新增了 Google Cloud 與 Microsoft Azure 雲鏡像的構建修復、基礎倉庫調整以及

番茄小説官方數據顯示， 2025 年新書發佈量同比激增1302%，從 400 本躍升至 5606 本；與此同時，多位網文編輯透露，日均收到7- 8 篇AI生成長篇投稿，已出現關閉郵箱的“自保式操作”。 平台方近期已升級“AI痕跡檢測+人工抽檢”雙機制，部分新人作者因誤傷導致首秀流量驟降。 中腰部作者小李（連載三部均訂破萬）表示，AI對其影響有限：“95%以上新人用AI寫不到 20 萬字就崩，因為

Webpack 是一個模塊打包器，主要目的是在瀏覽器上打包 JavaScript 文件。Webpack v5.103.0 已發佈，具體更新內容如下： 特性 新增 DotenvPlugin 及頂級 dotenv 選項以啓用該插件 新增WebpackManifestPlugin 已在開發者工具插件中添加對ignoreList選項的支持。 允許使用自定義 JavaScript 解析函數 增加

作者：孫玉梅 注：本文數據都為模擬生成。 引言 過去兩年，電商客服、工單、物流等環節的自動化正急速推進。一個智能助手可以同時處理上百條退款請求、物流查詢、賬單追蹤；它不知疲倦地與用户對話，也在後台不停調用接口、記錄日誌、彙總報表。在這些自動化交互中，隱藏着大量敏感數據： 用户諮詢裏可能出現手機號、訂單號、收貨地址； 後端業務日誌中常常包含銀行卡號、接口 IP、賬户 ID； 工單流轉過程中甚

CPython 核心開發者最近提出了一項重要提案：在 Python 核心中引入 Rust 語言。初期計劃是支持可選擴展模塊，長遠目標則是讓 Rust 成為 CPython 的核心依賴。 我們提議將 Rust 編程語言引入 CPython，初步計劃是僅使用 Rust 編寫可選的擴展模塊，但最終將成為 CPython 的必要依賴項，並允許在整個 CPython 代碼庫中使用。 總而言之，Rust