微軟針對 Windows 11 AI+ PC 設(shè)備推出了 AI Dev Gallery 功能,旨在幫助開發(fā)人員在其應(yīng)用中嘗試各種模型,根據(jù)使用場景整合合適的 AI 功能。
該功能已在 GitHub 開源:https://github.com/microsoft/ai-dev-gallery。
目前,Windows 11 AI+ PC 設(shè)備已支持運行小語言模型(SLM),通過本地調(diào)用 AI 模型,響應(yīng)速度比基于云端的 Copilot 或 ChatGPT 更快。
據(jù)了解,AI Dev Gallery 兼容 Windows 10、Windows 11 系統(tǒng),支持 x64 和 ARM64 架構(gòu),為開發(fā)者提供超過 25 個示例模型,涵蓋文本、圖像、代碼、音頻、視頻以及智能控制等多個領(lǐng)域,極大地方便了開發(fā)者將 AI 功能集成到應(yīng)用中。
FSF 鼓勵在 2025 年對微軟進行施壓
自由軟件基金會 (FSF) 發(fā)布了一篇名為“繼續(xù)向微軟施壓(Keep putting pressure on Microsoft)”的文章,鼓勵自由軟件支持者在 2025 年繼續(xù)向微軟進行施壓。
草根組織要對抗微軟這樣的大公司絕非易事。他們有足夠的廣告預算來宣稱自己 “熱愛 Linux”,更不用說有足夠的資金和政治意愿來把世界各地的自由軟件開發(fā)者集中到他們的非自由平臺 Microsoft GitHub 上。今年的 IDAD 針對的是一個具體的不公正行為:他們要求強制 “升級” 到 Windows 11 的用戶使用硬件 TPM 模塊。由于 Windows 10 很快將停止接收安全更新,對于仍在使用該操作系統(tǒng)的用戶來說,這是一個(微軟制造的)問題。通常,將加密技術(shù)轉(zhuǎn)移到不同的硬件模塊可以看作是一件好事 —— 但對于非自由軟件來說,這只會給用戶帶來麻煩。
正如我們在今年的行動公告中提到的,我們希望你借此機會與你認識的人分享 GNU/Linux 操作系統(tǒng),并以此為例解釋自由軟件的概念。
這些看似微不足道的舉動,除了能拯救另一臺功能完好的電腦免于成為電子垃圾之外,還能開啟一段通往自由的旅程?,F(xiàn)在最重要的是繼續(xù)向微軟施壓,無論是通過切換到 GNU/Linux、避免使用其軟件的新版本,還是采取簡單的行動,例如將你的項目從 Microsoft GitHub 上移走。如果你擔心電子垃圾,或者有朋友致力于應(yīng)對氣候變化,那么把他們召集起來,向他們介紹自由軟件,就是幫助我們的運動發(fā)展壯大的最佳方式,也能讓更多用戶擺脫微軟的數(shù)字限制。
草根組織要對抗微軟這樣的大公司絕非易事。他們有足夠的廣告預算來宣稱自己 “熱愛 Linux”,更不用說有足夠的資金和政治意愿來把世界各地的自由軟件開發(fā)者集中到他們的非自由平臺 Microsoft GitHub 上。今年的 IDAD 針對的是一個具體的不公正行為:他們要求強制 “升級” 到 Windows 11 的用戶使用硬件 TPM 模塊。由于 Windows 10 很快將停止接收安全更新,對于仍在使用該操作系統(tǒng)的用戶來說,這是一個(微軟制造的)問題。通常,將加密技術(shù)轉(zhuǎn)移到不同的硬件模塊可以看作是一件好事 —— 但對于非自由軟件來說,這只會給用戶帶來麻煩。
正如我們在今年的行動公告中提到的,我們希望你借此機會與你認識的人分享 GNU/Linux 操作系統(tǒng),并以此為例解釋自由軟件的概念。
這些看似微不足道的舉動,除了能拯救另一臺功能完好的電腦免于成為電子垃圾之外,還能開啟一段通往自由的旅程?,F(xiàn)在最重要的是繼續(xù)向微軟施壓,無論是通過切換到 GNU/Linux、避免使用其軟件的新版本,還是采取簡單的行動,例如將你的項目從 Microsoft GitHub 上移走。如果你擔心電子垃圾,或者有朋友致力于應(yīng)對氣候變化,那么把他們召集起來,向他們介紹自由軟件,就是幫助我們的運動發(fā)展壯大的最佳方式,也能讓更多用戶擺脫微軟的數(shù)字限制。
本月初,F(xiàn)ish Shell 4.0 進入測試階段,C++ 代碼被移植到了 Rust。現(xiàn)在,F(xiàn)ish Shell 的大部分代碼都過渡到了 Rust,項目團隊在日前發(fā)布了一篇博文,概述了他們在將龐大的 C++ 代碼庫移植到 Rust 的過程中取得的成功和遇到的挑戰(zhàn)。
Fish Shell 開發(fā)人員指出,他們在使用 C++ 時遇到的一些問題導致他們更傾向于探索其他語言,其中包括工具和編譯器 / 平臺差異、人體工程學和線程安全以及開發(fā)社區(qū)。其中一個例子是,F(xiàn)ish 曾用 C++ 制作過真正的多線程執(zhí)行原型,但這對這個開源 Shell 而言是非常痛苦的。
至于 Rust 編程語言,他們承認:"Rust 很酷。它很有趣"。并贊賞了 Rust 的工具性、簡單的工具設(shè)置、出色的人體工學以及更好的依賴性管理,且 Rust 的發(fā)送和同步能力也使其非常適合線程。
蘋果在歐盟地區(qū)停售 iPhone SE 和 iPhone 14 系列設(shè)備
科技媒體 The Verge 報道稱,受歐盟新法規(guī)影響,蘋果宣布在歐盟地區(qū)停售配備 Lighting 端口的設(shè)備。
據(jù)了解,當?shù)貢r間 12 月 28 日,歐盟委員會 2022 年通過的關(guān)于統(tǒng)一充電接口的新規(guī)正式生效,電子設(shè)備制造商有義務(wù)向歐盟 27 國銷售的產(chǎn)品配備 USB-C(即 USB Type-C)接口,無法適配的舊設(shè)備將逐漸 “退市”。
這項法規(guī)還要求支持快速充電的設(shè)備支持 USB PD 標準,允許將充電模塊與零售設(shè)備分開,并通過改進的標簽幫助消費者更好地了解他們購買的設(shè)備的電源要求。
今日觀察 社交觀察
解讀 DeepseekV3
我見過的最省的 GPT4o,Claude,Gemini2 級別的模型,而且是國內(nèi)唯一有機會上桌的,其實海外目前和這三家有資格掰手腕的也只有它自己,可以負責任的說其他的模型不配上桌吃菜(Gemini 上個月都沒資格)。
其實性能好就不說了,DeepseekR1 就還不錯,國內(nèi)講道理是第一家做 inference timing scaling law 的模型,阿里是第二家,其他的就不太值得談?wù)摿耍鋵崌庖仓挥?Gpt 和 google 有資格,沒想到年底還能出個 DeepseekV3,在傳統(tǒng) scaling law 這邊還能玩出花活兒,實屬不易。
- 微博 Transformer-周
AI Agent 的現(xiàn)狀與未來
AI Agent 的現(xiàn)狀讓我想起那個梗圖,自動售貨機里面藏了個人。大家想象中的 AI Agent 已經(jīng)開始擁有自主意識了,但實際上的 AI Agent 里面其實藏了個開發(fā)者。(這里大家腦補畫面,我嘗試讓 AI 生成這個圖片,發(fā)現(xiàn) AI 不能理解 “藏”)。
AI Agent 框架當前扮演一個粘合劑的作用,把 client(Twitter,Discord,Telegram 等) 和各種插件(各鏈等)粘合起來,然后框架提供一個基礎(chǔ)庫(記憶存儲,會話隔離,上下文生成)等,后面對接各種 AI 平臺接口。
- 微博 jolestar
De-e-p-s-e-ek 是站在巨人的肩膀上,使用了大量高質(zhì)量合成數(shù)據(jù)
De-e-p-S-e-ek-V3 的訓練時間減少和算力需求降低,主要得益于算法優(yōu)化、硬件適配和模型架構(gòu)改進。然而,這并不意味著 AI 訓練對算力的要求普遍降低,因為 AI 領(lǐng)域的整體趨勢仍然是模型規(guī)模和復雜性不斷增加。我們的優(yōu)化是針對特定任務(wù)和設(shè)計進行的,旨在提高效率的同時保持高性能。
- 微博 林毅沒有v
DeepSeek-V3 能夠降低訓練成本的主要技術(shù)
DeepSeek-V3 能夠降低訓練成本的幾個主要技術(shù)是:① 模型架構(gòu)改進② FP8 訓練 ③ Multi-token Prediction。這幾個技術(shù)都是既可以用在訓練上,也可以用在推理上的。其中①中的兩個架構(gòu)改進(細粒度 MoE 和 MLA),都是 DeepSeek 前期論文發(fā)表過的工作,是他們自己獨創(chuàng)的改進;②FP8 訓練,一起從來沒有人能夠在這么大規(guī)模的系統(tǒng)上能用這么低精度的參數(shù)直接訓練,這是非常大的成果,節(jié)省的訓練算力也是巨大的;當然其他模型訓練好以后也可以量化到 FP8 進行推理,但從來沒有能做到直接用 FP8 訓練這么大模型;③MTP 的思想雖然不是 DeepSeek 首次提出的,但他們做了改進并且能夠在這么大模型的訓練上用起來,這也是第一次。至于蒸餾 R1 的能力,確實是節(jié)省了訓練成本,但這個主要是帶來長鏈推理(主要是代碼和數(shù)學)能力的提高,屬于錦上添花,不影響模型的基本能力。至于合成數(shù)據(jù)、數(shù)據(jù)配比實驗等等,這是現(xiàn)在所有模型訓練都要做的事情,沒有必要跟訓練模型本身所用的時間混為一談。
- 微博 劉群MT-to-Death
AI 工程領(lǐng)域的 50 篇論文、模型和博客文章
Latent Space 從 AI 工程的 10 個領(lǐng)域中挑選了 50 篇論文 / 模型 / 博客:LLMs、基準測試、提示工程、RAG、智能體、代碼生成、視覺、語音、擴散模型、微調(diào)。
鏈接:https://www.latent.space/p/2025-papers
- 微博 i陸三金
媒體觀察美國“芯片戰(zhàn)”的枉費心機與一錯再錯
分析人士認為,美國此前單方面挑起對華經(jīng)貿(mào)摩擦,動搖了全球供應(yīng)鏈;如今動輒出口管制和鼓勵 “回流”,是 “用一個錯誤解決另一個錯誤”,其本質(zhì)不過是一種為一己之私的政治操弄。
- 新華社
重視防范 AI 造假風險
生成式人工智能是當前國內(nèi)外最熱門的 AI 技術(shù)形態(tài),因其強大的內(nèi)容生產(chǎn)功能和強交互性而受到廣大用戶歡迎。作為一種顛覆性技術(shù)的新生事物,生成式人工智能在給經(jīng)濟社會發(fā)展帶來巨大利好和無限可能的同時,也在法律規(guī)范、倫理道德、社會安全、公共治理等方面帶來沖擊。
- 經(jīng)濟日報
谷歌量子芯片的突破點在哪兒
5 分鐘與 1025 年,如此懸殊的數(shù)字對比引起了極大關(guān)注。有人不禁遐想,這是否意味著可以用 “威洛” 高效地挖比特幣、運行大模型?對此,陸朝陽在此前發(fā)布的視頻中解釋:“實際上,谷歌在這項研究中展示的算力并非通用算力,而是只針對 RCS 這一特定數(shù)學問題的專用算力?!?/span>
- 科技日報
“百鏡大戰(zhàn)”催熱供應(yīng)鏈,AI 端側(cè)落地駛?cè)肟燔嚨?/span>
AI 發(fā)展正酣,其在端側(cè)的落地風潮也涌現(xiàn)而至。近期行業(yè)廠商齊推 AI 智能眼鏡新品,與此同時,部分爆款產(chǎn)品預售全面售罄、相關(guān)應(yīng)用下載量暴增等消息頻傳,產(chǎn)業(yè)鏈上則有大量公司爭相布局,無不顯示出 AI 眼鏡賽道的 “火熱”。
- 財聯(lián)社
雷軍千萬年薪挖角 95 后 AI 天才少女,釋放什么信號?
事實上,羅福莉被重金招入小米,是小米全面發(fā)力 AI 大模型的其中一個動作。2023 年 4 月,小米正式組建了 AI 實驗室大模型團隊,并表示將不斷挖掘 AI 相關(guān)的用戶場景,發(fā)揮自身技術(shù)優(yōu)勢,并以開放的態(tài)度與合作伙伴開拓更多機會。
- 瀟湘晨報
AI 芯片新戰(zhàn)役:ASIC 登場,GPU 失色
長久以來,人工智能訓練主要依賴于價格高昂的英偉達圖形處理器。然而,云服務(wù)提供商與初創(chuàng)企業(yè)正積極研發(fā)成本更低的替代方案,并探索可能實現(xiàn)更高效處理的新途徑。蘋果采用定制芯片的做法,或許在向其他企業(yè)傳遞一個信號:非英偉達的訓練方案同樣也能奏效。
- 半導體產(chǎn)業(yè)縱橫
今日推薦
開源項目
oracle/tribuo
https://github.com/oracle/tribuo
Tribuo 是 Java 編寫的機器學習庫,可提供多類分類、回歸、聚類、異常檢測和多標簽分類。Tribuo 提供了流行的機器學習算法的實現(xiàn),還包裝了其他庫以提供統(tǒng)一的接口。
開源之聲用戶觀點
觀點 1:感覺優(yōu)化 js 引擎和運行時才是正道,優(yōu)化打包器效果不大。
觀點 2:讓引擎直接支持包管理,不用打包。
觀點 3:還是太早期了,慢慢等成熟后再看看。另外,rollback,rolldown 什么的,這些名詞看著就有點血壓
觀點 4:繡化工具我選字節(jié)的 rspack,無他,字節(jié)自己的網(wǎng)站都在用
觀點 5:造輪子也就罷了,一個個名字還那么像
觀點 6:rust 更快更安全是共識
觀點 7:前端圈沉迷文本處理工具無法自拔
觀點 8:難繃,感覺這么發(fā)展下去前端的人能重新發(fā)明編譯器
觀點 9:這已經(jīng)是老歷史了~ 寫過 coffe 嗎
觀點 10:不知道 rsbuild 和用了 rolldown 的 vite 誰更能占據(jù)大部分市場?
觀點 1:感覺優(yōu)化 js 引擎和運行時才是正道,優(yōu)化打包器效果不大。
觀點 2:讓引擎直接支持包管理,不用打包。
觀點 3:還是太早期了,慢慢等成熟后再看看。另外,rollback,rolldown 什么的,這些名詞看著就有點血壓
觀點 4:繡化工具我選字節(jié)的 rspack,無他,字節(jié)自己的網(wǎng)站都在用
觀點 5:造輪子也就罷了,一個個名字還那么像
觀點 6:rust 更快更安全是共識
觀點 7:前端圈沉迷文本處理工具無法自拔
觀點 8:難繃,感覺這么發(fā)展下去前端的人能重新發(fā)明編譯器
觀點 9:這已經(jīng)是老歷史了~ 寫過 coffe 嗎
觀點 10:不知道 rsbuild 和用了 rolldown 的 vite 誰更能占據(jù)大部分市場?
觀點 1:感覺優(yōu)化 js 引擎和運行時才是正道,優(yōu)化打包器效果不大。
觀點 2:讓引擎直接支持包管理,不用打包。
觀點 2:讓引擎直接支持包管理,不用打包。
觀點 3:還是太早期了,慢慢等成熟后再看看。另外,rollback,rolldown 什么的,這些名詞看著就有點血壓
觀點 4:繡化工具我選字節(jié)的 rspack,無他,字節(jié)自己的網(wǎng)站都在用
觀點 5:造輪子也就罷了,一個個名字還那么像
觀點 6:rust 更快更安全是共識
觀點 7:前端圈沉迷文本處理工具無法自拔
觀點 8:難繃,感覺這么發(fā)展下去前端的人能重新發(fā)明編譯器
觀點 9:這已經(jīng)是老歷史了~ 寫過 coffe 嗎
觀點 9:這已經(jīng)是老歷史了~ 寫過 coffe 嗎
觀點 10:不知道 rsbuild 和用了 rolldown 的 vite 誰更能占據(jù)大部分市場?
觀點 1:一個在找工作的應(yīng)屆生誠心發(fā)問:為什么越學越感覺自己的路越走越窄?一開始想找 C++ 的工作,隨著學習的進行,發(fā)現(xiàn)和自己對口的工作崗位也越來越少
觀點 2:編程只是整個項目的一部分,甚至不是最關(guān)鍵的;最好抽時間了解一下項目開發(fā)的流程、拓展業(yè)務(wù)知識,對后續(xù)發(fā)展有很好的幫助。祝好運。
觀點 3:10 年前我熱衷于找一門最好、最漂亮的、最有生產(chǎn)力的語言,10 年后為了養(yǎng)家糊口,我用上了 Omnis 這個小眾得不能再小眾的語言,但是收入比以前高多了,這就夠了。
觀點 4:編程這行還是需要一點靈性的,所思所想都決定著下一步的腳印,能讓你獨立思考的公司,必須好好去自我進化,人生能有幾個十年。與優(yōu)秀的人在一起久了,就像跟老板在一起久了,你也就成了老板,眼界、思想。在這個科技時代,還是得學會利用科技反哺自己才行,不能只會一味的創(chuàng)造科技,然后接了個電話,走著走著就掛了。
觀點 5:10 萬小時學數(shù)學還是菜鳥的恐怕不少
觀點 6:感謝開源與終身學習,喜歡這篇文章
觀點 1:一個在找工作的應(yīng)屆生誠心發(fā)問:為什么越學越感覺自己的路越走越窄?一開始想找 C++ 的工作,隨著學習的進行,發(fā)現(xiàn)和自己對口的工作崗位也越來越少
觀點 2:編程只是整個項目的一部分,甚至不是最關(guān)鍵的;最好抽時間了解一下項目開發(fā)的流程、拓展業(yè)務(wù)知識,對后續(xù)發(fā)展有很好的幫助。祝好運。
觀點 3:10 年前我熱衷于找一門最好、最漂亮的、最有生產(chǎn)力的語言,10 年后為了養(yǎng)家糊口,我用上了 Omnis 這個小眾得不能再小眾的語言,但是收入比以前高多了,這就夠了。
觀點 4:編程這行還是需要一點靈性的,所思所想都決定著下一步的腳印,能讓你獨立思考的公司,必須好好去自我進化,人生能有幾個十年。與優(yōu)秀的人在一起久了,就像跟老板在一起久了,你也就成了老板,眼界、思想。在這個科技時代,還是得學會利用科技反哺自己才行,不能只會一味的創(chuàng)造科技,然后接了個電話,走著走著就掛了。
觀點 5:10 萬小時學數(shù)學還是菜鳥的恐怕不少
觀點 6:感謝開源與終身學習,喜歡這篇文章
觀點 1:一個在找工作的應(yīng)屆生誠心發(fā)問:為什么越學越感覺自己的路越走越窄?一開始想找 C++ 的工作,隨著學習的進行,發(fā)現(xiàn)和自己對口的工作崗位也越來越少
觀點 2:編程只是整個項目的一部分,甚至不是最關(guān)鍵的;最好抽時間了解一下項目開發(fā)的流程、拓展業(yè)務(wù)知識,對后續(xù)發(fā)展有很好的幫助。祝好運。
觀點 2:編程只是整個項目的一部分,甚至不是最關(guān)鍵的;最好抽時間了解一下項目開發(fā)的流程、拓展業(yè)務(wù)知識,對后續(xù)發(fā)展有很好的幫助。祝好運。
觀點 3:10 年前我熱衷于找一門最好、最漂亮的、最有生產(chǎn)力的語言,10 年后為了養(yǎng)家糊口,我用上了 Omnis 這個小眾得不能再小眾的語言,但是收入比以前高多了,這就夠了。
觀點 4:編程這行還是需要一點靈性的,所思所想都決定著下一步的腳印,能讓你獨立思考的公司,必須好好去自我進化,人生能有幾個十年。與優(yōu)秀的人在一起久了,就像跟老板在一起久了,你也就成了老板,眼界、思想。在這個科技時代,還是得學會利用科技反哺自己才行,不能只會一味的創(chuàng)造科技,然后接了個電話,走著走著就掛了。
觀點 5:10 萬小時學數(shù)學還是菜鳥的恐怕不少
觀點 6:感謝開源與終身學習,喜歡這篇文章
程序員梗圖
References
https://news.ustc.edu.cn/info/1056/90248.htm
https://github.com/oracle/tribuo
https://mp.weixin.qq.com/s/a8b-evpR-Olm57U44Aq0RQ
https://mp.weixin.qq.com/s/rNizP6lRycuH9V2l56JatQ