5. 我們早在1973年就解決了人工智能代理的信任問題(只是我們忘了) We solved trust for AI Agents in 1973 (we just forgot) (www.bauplanlabs.com)
7. 大型語言模型驗證編碼的基準:形式化驗證的程序合成 A benchmark for LLM vericoding: formally verified program synthesis (arxiv.org)
10. 為何美國小鎮執意用石頭砸死居民 Why one small American town won''t stop stoning its residents to death (archiveofourown.org)
12. 紐約提案要求3D打印機制造商阻止槍支打印 New York proposal requires 3D printer manufacturers to prevent gun printing (www.tomshardware.com)
15. 年薪25萬美元的職位獲得的H-1B簽證工人數量僅為年薪20萬美元職位的十分之一 [OC] Jobs Paying 250K Get 10x Fewer H-1B Workers Than 200K Jobs [OC] (theh1brecords.substack.com)
16. 特朗普簽署法案,允許學校重新供應全脂牛奶 Trump Signs Bill Allowing Schools to Serve Whole Milk Again (www.nytimes.com)
19. 縫製帆船:以古代設計為藍本的木製傑作 Stitched Sailing Ship Is a Wooden Masterpiece Based on Ancient Designs (www.autoevolution.com)
20. Msg-SIM:從零構建Rust網絡仿真器 Msg-SIM: Building a Rust Network Emulator from Scratch (engineering.chainbound.io)
21. 美國民眾壓倒性支持科學,但部分人認為美國在科學領域落後 Americans Overwhelmingly Support Science, but Some Think the U.S. Is Lagging (www.scientificamerican.com)
24. 馬斯克與赫格塞特誓言"讓星際迷航成為現實",卻忽略了該劇的啟示 Musk and Hegseth vow to "make Star Trek real" but miss the show''s lessons (arstechnica.com)
27. 蘋果與谷歌Gemini的新合作協議規模更大、效果超出預期 Apple''s new Google Gemini deal sounds bigger, better than expected (9to5mac.com)
28. 我們正在利用人工智能來宣傳我們的產品(同時也在開發它) We''re using AI to communicate about our product (while building it) (blog.codeyam.com)
30. 瀏覽器不願讓你知道的奇葩調試技巧 Weird Debugging Tricks the Browser Doesn''t Want You to Know (alan.norbauer.com)
31. Voyage-multimodal-3.5:支持視頻的檢索前沿 Voyage-multimodal-3.5: retrieval frontier with video support (blog.voyageai.com)
32. 格陵蘭與丹麥稱特朗普會晤後執意"征服"該地區 Greenland and Denmark say Trump set on ''conquering'' territory after meeting (www.aljazeera.com)
33. Voyage 4 模型家族:採用MoE架構共享嵌入空間 The Voyage 4 model family: shared embedding space with MoE architecture (blog.voyageai.com)
39. 歐洲軍事人員抵達格陵蘭島,特朗普稱美國需要該島 European military personnel arrive in Greenland as Trump says US needs island (www.bbc.com)
42. 延遲監控器:用於TCP和UDP監控的輕量級工具 Latency Monitor: lightweight tool for TCP and UDP monitoring (mirceaulinic.net)
43. 維基百科與微軟、Meta和亞馬遜簽署人工智能訓練協議 Wikipedia signs AI training deals with Microsoft, Meta, and Amazon (arstechnica.com)
47. 安全容器市場:從泰勒·斯威夫特演唱會的男衛生間到NBA總決賽 Secure containers market: from men''s room at Taylor Swift concert to NBA finals (www.chainguard.dev)
48. Linux網絡接口名稱存在長度限制,而Netplan Linux network interface names have a length limit, and Netplan (utcc.utoronto.ca)
52. 愛迪生公司在1月7日火災發生前疏於維護工作,如今正努力彌補疏漏。 Edison neglected maintenance before the Jan. 7 fires. Now its trying to catch up (www.latimes.com)
55. 格陵蘭島的防務是北約的"共同關切",歐洲部隊正飛赴當地 Greenland''s defence is ''common concern'' for NATO, as European troops fly in (www.theguardian.com)
61. SiFive將採用英偉達技術實現芯片間高速互聯 SiFive to adopt Nvidia technology for speedy links between chips (www.reuters.com)
62. 美國政府將對AMD、英偉達向中國銷售的人工智能產品徵收25%的關稅 US Government to take 25% cut of AMD, Nvidia AI sales to China (arstechnica.com)
63. 發現:中世紀貨船——同類中迄今發現的最大船隻 Found: Medieval Cargo Ship – Largest Vessel of Its Kind Ever (www.smithsonianmag.com)
66. 蘋果正為臺積電產能展開爭奪,英偉達成為焦點 Apple Is Fighting for TSMC Capacity as Nvidia Takes Center Stage (www.culpium.com)
67. 印度警告蘋果公司,在該公司拖延時間後,將推進反壟斷訴訟 India warns Apple it will proceed with antitrust case after plays for time (www.reuters.com)
69. 解密電報估計天安門廣場事件造成1萬人死亡(2017年) Declassified cable estimates 10k killed at Tiananmen Square (2017) (www.axios.com)
72. ExoActive:費斯托為工匠打造的外骨骼系統(2024) ExoActive: Exoskeleton for trades people from Festool (2024) (www.festoolcanada.com)
74. 蝗蟲群摧毀農作物——科學家找到阻止方法 Locust swarms destroy crops – scientists found a way to stop it (news.asu.edu)
75. 為何去年火災後,洛杉磯幾乎沒有燒燬的房屋被重建? Why almost no homes burned in LA have been rebuilt since last year''s fires (grist.org)
77. 特朗普威脅動用《叛亂法》應對明尼蘇達州抗議活動 Trump Threatens to Invoke Insurrection Act in Response to Minnesota Protests (www.wsj.com)
80. Ecma批准NLIP標準套件用於通用人工智能代理通信 Ecma approves NLIP standards suite for universal AI agent communication (ecma-international.org)
81. 黑客未來——看如何在現代電腦上編寫BASIC代碼 Hack to the Future – here''s how you can write BASIC code on a modern-day PC (www.tomshardware.com)
82. Pages CMS:專為靜態網站生成器打造的無憂內容管理系統 Pages CMS: The No-Hassle CMS for Static Sites Generators (pagescms.org)
84. ICE特工不受州級起訴的"絕對豁免權"保護 ICE agents do not have ''absolute immunity'' from state prosecution (reason.com)
85. 預測市場將生活變成了一場反烏托邦式的賭博實驗 Prediction Markets Turned Life into a Dystopian Gambling Experiment (www.theringer.com)
86. 據報道,英偉達已停止生產GeForce RTX 5070 Ti顯卡,RTX 5060 Ti 16GB顯卡即將接替其位置。 Nvidia Reportedly Ends GeForce RTX 5070 Ti Production, RTX 5060 Ti 16 GB Next (www.techpowerup.com)
87. "這是AI版黑臉表演":被譽為原住民史蒂夫·歐文的賬號實為AI角色 ''It''s AI blackface'': account hailed as Aboriginal Steve Irwin is AI character (www.theguardian.com)
93. 晝夜節律性休息-活動節律與老年人痴呆症發病風險 Circadian Rest-Activity Rhythms and Incident Dementia in Older Adults (www.neurology.org)
94. 速成考古學——改變世界的三大著名偽考古事件 Quick Fix Archaeology – 3 famous hacks that changed the world (www.dodgycoder.net)
97. 加州自毀經濟前程,科技投資者因財富稅紛紛出逃 California commits economic suicide as tech investors flee wealth tax (thehill.com)
98. 數百萬音頻設備需安裝補丁以防無線入侵和追蹤 Millions of Audio Devices Need a Patch to Prevent Wireless Hacking and Tracking (www.wired.com)
99. 英特爾8087浮點芯片微代碼中的條件 Conditions in the Intel 8087 floating-point chip''s microcode (www.righto.com)
106. 快充會損傷電池嗎?40部手機歷時兩年的測試[視頻] Is Fast Charging Killing the Battery? A 2-Year Test on 40 Phones [video] (www.youtube.com)
107. 我將Docker鏡像壓縮了99.7%(從846MB縮減至2.5MB)。以下是完整分解: I Cut My Docker Image by 99.7% (846MB to 2.5MB). Here Is the Full Breakdown (www.hexplain.space)
108. 構建Docfind:基於Rust和WebAssembly的快速客戶端搜索 Building Docfind: Fast Client-Side Search with Rust and WebAssembly (code.visualstudio.com)
110. 我爬取了1,500個網站:30%的網站屏蔽AI機器人,0.2%的網站使用llms.txt文件。 I crawled 1,500 sites: 30% block AI bots, 0.2% use llms.txt (websiteaiscore.com)
111. Firefox 147 帶來 GPU 加速、更整潔的標籤頁以及隨你移動的視頻 Firefox 147 brings GPU boost, tidier tabs, and video that follows you around (www.theregister.com)
112. 使用Claude Code進行AI輔助編碼的最佳實踐及構建Claude.md指南 Best Practices for AI-Assisted Coding with Claude Code and Building Claude.md (antjanus.com)
115. 法國法院命令熱門VPN服務商屏蔽更多盜版網站,儘管存在反對意見 French Court Orders Popular VPNs to Block More Pirate Sites, Despite Opposition (torrentfreak.com)
116. 梅納沙市一名警官涉嫌使用Flock攝像頭追蹤受害者車輛 Menasha police officer allegedly used Flock cameras to find victim''s car (www.wbay.com)
117. 無時區 – 無狀態、鍵盤友好型時區可視化工具(免費版) Zoneless – Stateless, keyboard-friendly time zone visualizer (Free) (zoneless.tools)
119. 歷史性里程碑:Amiga遊戲列表收錄逾15,000款遊戲 Historic milestone: Amiga Game List lists over 15,000 games (amiga-news.de)
120. 丹麥武裝部隊擴大在格陵蘭島的存在並繼續進行演習 Danish Armed Forces expand their presence and continue exercises in Greenland (www.fmn.dk)
122. 材料項目如何助力材料科學的人工智能革命 How the Materials Project Is Helping in the AI Revolution for Materials Science (newscenter.lbl.gov)
127. "豬屠宰服務"提供即用型工具包和基礎設施 ''Pig butchering-as-a-service'' provides ready-to-use kits, infrastructure (www.scworld.com)
128. 50萬噸的筆誤:為何數據中心銅材計算存在矛盾 The 500k-ton typo: Why data center copper math doesn''t add up (investinglive.com)
129. 猶他州全力發展核工業,懷俄明州則避之不及 Utah Full Steam Ahead on Nuclear Industry While Wyoming Avoids (cowboystatedaily.com)
131. TransformConf:軟件開發領域人工智能新會議 TransformConf: A New Conference on AI in Software Development (blog.jetbrains.com)
133. 企業環境中人工智能敘事證據失效的分類學 A Taxonomy of AI Narrative Evidence Failure in Enterprise Contexts (www.aivojournal.org)
137. 臺積電利潤創紀錄超預期,宣佈將在美國增建更多工廠 TSMC smashes forecasts with record profit, flags more US factories (www.reuters.com)
141. ARPA-H啟動專項計劃,為全美46%缺乏心臟病專家的縣區提供支持 ARPA-H launches program for the 46% of U.S. counties don''t have a cardiologist (www.statnews.com)
142. SydBox——朋克搖滾的鏽蝕手術刀,氣泡膜的另類替代品 SydBox – pank rock Rust scalpel alternative to Bubblewrap (gitlab.exherbo.org)
144. X表示Grok現已屏蔽在非法地區進行的裸體照片編輯功能 X says Grok now blocks undress photo edits where theyre illegal (apnews.com)
145. 澳大利亞新社交媒體禁令下近500萬賬戶遭刪除 Nearly 5M Accounts Removed Under Australia''s New Social Media Ban (www.nytimes.com)
147. 卡漢談8087芯片與英特爾浮點單元設計(2016)[視頻] Kahan on the 8087 and designing Intel''s floating point (2016) [video] (www.youtube.com)
148. 薩迪克·汗敦促政府官員採取行動應對人工智能對倫敦就業的"巨大"影響 Sadiq Khan to urge ministers to act over ''colossal'' impact of AI on London jobs (www.theguardian.com)
151. 中國高校全球排名躍升,美國院校排名下滑 Chinese Universities Surge in Global Rankings as U.S. Schools Slip (www.nytimes.com)
157. 為什麼我不能將夏季太陽能發電的電量儲存起來,供冬季使用? Why can''t I bank a solar generated summer kWh to use in the winter? (www.philiprsteele.co.uk)
159. AI Chrome擴展程序,可將實時網站的UI組件複製到您的項目中 AI Chrome Extension that copies UI components from live websites in your project (chromewebstore.google.com)
161. 布魯斯·佩倫斯:讓特朗普想擁有格陵蘭島的業餘無線電愛好者 Bruce Perens: The Ham Radio Operator Who Made Trump Want Greenland (web.archive.org)
164. Dataframe 2026年1月更新:數據庫、Torch互操作性、Parquet修復、性能改進 Dataframe Jan 2026 updates: db, torch interop, parquet fixes, perf improvements (discourse.haskell.org)
167. 1998年《盜賊:暗影計劃》的3D軟件渲染技術 The 3D Software Rendering Technology of 1998''s Thief: The Dark Project (nothings.org)
169. 亞馬遜在歐洲推出"主權"雲服務並謀劃擴張 Amazon launches its ''sovereign'' cloud in Europe and plots expansion (www.cnbc.com)
170. 假設性神蹟:通過計算複雜性證明全知性 Hypothetical Divine Signatures: Proving Omniscience via Computational Complexity (www.stephendiehl.com)
171. 危機解讀者:亞當·圖茲如何解讀我們這個令人困惑的時代 The crisis whisperer: how Adam Tooze makes sense of our bewildering age (www.theguardian.com)
173. 智普AI首創基於華為芯片棧訓練的大型模型,打破對美國芯片的依賴 Zhipu AI breaks US chip reliance with first major model trained on Huawei stack (www.scmp.com)
176. 照片展現中國風電與太陽能建設令人驚歎的規模 Photos Capture the Breathtaking Scale of China''s Wind and Solar Buildout (e360.yale.edu)
179. 對詹姆斯·伯納姆的再思考(喬治·奧威爾,1946年) Second Thoughts on James Burnham (George Orwell, 1946) (www.orwellfoundation.com)
183. 法國對電信公司處以4200萬歐元罰款,因其在2400萬客戶數據洩露事件前安全措施不足 France fines telcos 42M for sub-par security prior to 24M customer breach (www.theregister.com)
189. X安全公司表示,Grok終於更新了,不再對婦女和兒童進行不雅動作。 Grok was finally updated to stop undressing women and children, X Safety says (arstechnica.com)
194. 構建了一個命令行界面(CLI)工具包,用於創建和維護項目結構 Built a CLI package to create and maintain project structures (pypi.org)
195. DataRiver – 基於私有AI模型的銀行對賬單解析 DataRiver – Bank statement parsing using a private AI model (www.datariver.co)
197. Q.ANT第二代光子處理器將推動下一代人工智能與高性能計算浪潮 Q.ANT Second-Generation Photonic Processor to Power the Next Wave of AI and HPC (qant.com)
198. 樹莓派新款AI擴展板新增8GB內存,支持本地大型語言模型 Raspberry Pi''s New AI Hat Adds 8GB of RAM for Local LLMs (www.jeffgeerling.com)
199. 樹莓派AI擴展板2:樹莓派5上的生成式人工智能 Raspberry Pi AI HAT 2: Generative AI on Raspberry Pi 5 (www.raspberrypi.com)
201. 米拉·穆拉蒂的初創公司將失去兩位聯合創始人,他們將加入OpenAI。 Mira Murati''s startup, is losing two of its co-founders to OpenAI (techcrunch.com)
202. 思考機器實驗室兩位聯合創始人離職,將重返OpenAI Two Thinking Machines Lab Cofounders Are Leaving to Rejoin OpenAI (www.wired.com)
203. 人工智能工具能提升個體科學家的科研能力,但可能限制整體研究發展。 AI tools boost individual scientists but could limit research as a whole (www.nature.com)
204. 蘋果、谷歌面臨壓力,需從應用商店下架X和Grok應用 Apple, Google face pressure to remove X and Grok from their app stores (vechron.com)
205. 中國Z.ai公司宣稱其僅使用華為硬件訓練了模型 China''s Z.ai claims it trained a model using only Huawei hardware (www.theregister.com)
207. 兩名印度學生與美國大學達成20萬美元和解協議 Two Indian students won a 200k settlement with US university (indianexpress.com)
209. 即時注入如何逐步演變為多步驟惡意軟件 How Prompt Injections Gradually Evolved into a Multi-Step Malware (arxiv.org)
211. 白宮剛剛宣稱你的生命一文不值。沒錯,字面意思就是如此。 The White House just said your life is worth nothing. Yes, literally. (electrek.co)
213. 人工智能失憶症終結?揭秘谷歌"泰坦"永久記憶背後的技術 End of AI Amnesia? Understand the Tech Behind Google''s "Titans" Permanent Mind (www.gptfrontier.com)
216. AAP Rocky發佈直升機主題音樂視頻,採用高斯濺射特效 AAP Rocky Releases Helicopter Music Video Featuring Gaussian Splatting (radiancefields.com)
218. 微軟承諾"自掏腰包",以平息數據中心引發的強烈反對 Microsoft vows to ''pay its way'' as it seeks to defuse data centre backlash (www.ft.com)
221. 美國宇航局宇航員開始從空間站進行"苦樂參半"的醫療撤離 NASA astronauts begin ''bittersweet'' medical evacuation from space station (www.bbc.co.uk)
224. 特斯拉將停止銷售FSD套件,轉向純訂閱模式:為何做出重大調整 Tesla to stop selling FSD package, moves to subscription-only: why a big move (electrek.co)
226. Conductor:Gemini CLI 的基於上下文的開發 Conductor: Context-driven development for Gemini CLI (developers.googleblog.com)
228. 美國政府:眾議院系統管理員偷走200部手機,被眾議院IT部門抓獲 US gov''t: House sysadmin stole 200 phones, caught by House IT desk (arstechnica.com)
231. 中國智普發佈基於華為芯片訓練的新人工智能模型 China''s Zhipu Unveils New AI Model Trained on Huawei''s Chips (www.bloomberg.com)
235. 隨著出生率急劇下降,進步派人士表示左翼需要提出新思路和解決方案。 As birthrates tumble, progressives say the left needs to offer ideas, solutions (www.npr.org)
236. Pocket TTS:一款高品質的語音合成器,為您的CPU賦予聲音 Pocket TTS: A high quality TTS that gives your CPU a voice (kyutai.org)
238. 科技投資者評估礦產開採,因美國收購格陵蘭島的傳言甚囂塵上 Tech investors assess minerals mining as U.S. takeover talk on Greenland grows (www.cnbc.com)
240. Oracle 到 PostgreSQL DDL:數據類型、分區及其他 Oracle to PostgreSQL DDL: Data Types, Partitions and More (www.datacloudgaze.com)
241. 微軟對Anthropic人工智能公司的投資有望達到5億美元 Microsoft''s spending on Anthropic AI on track to reach 500M (www.msn.com)
244. 中國軍方稱正在研發十餘種量子武器 Chinese military says it is developing over 10 quantum warfare weapons (www.scmp.com)
245. 微軟收購動視暴雪的交易本意是幫助Embracer集團 Microsoft-Activision deal was meant to help The Embracer Grou (www.gamefile.news)
246. Tract:自包含,TensorFlow 和 ONNX 推理 Tract: Self-contained, TensorFlow and ONNX inference (github.com)
249. 兵源短缺:美國服兵役意願下降的根源 Short Supply: Root Causes of Declining Propensity for US Military Service (www.cnas.org)
250. 藉助此工具,即使沒有NAS設備,您也能享受NAS功能。 With this tool, you can enjoy NAS functionality even without a NAS (quicksend.chat)
253. 肯塔基州墜毀的UPS飛機上故障部件此前已在其他飛機上發生過4次故障 Failed part on UPS plane that crashed in KY failed 4x on other planes previously (apnews.com)
254. 明尼阿波利斯市緊張局勢升級,移民官員開槍擊中一名男子 Immigration agents shoot man in Minneapolis as tensions in city run high (www.theguardian.com)
255. 電池將在三個月內改變世界,否則讓這傢伙出醜 Battery is about to change the world in 3 months, or make this guy a fool (electrek.co)
256. 讓你的鏈接看起來儘可能可疑的URL縮短服務 The URL shortener that makes your links look as suspicious as possible (creepylink.com)
262. 尼泊爾山間茶館為徒步者提升體驗 Nepal''s Mountainside Teahouses Elevate the Experience for Trekkers (www.smithsonianmag.com)
263. 我們的月亮奇特地呈不對稱狀,撞擊可能是罪魁禍首 Our Moon Is Curiously Lopsided, and an Impact Could Be to Blame (www.sciencealert.com)
264. 什麼是GraphQL?它與REST在API設計方面有何異同? What is GraphQL and how does it compare to REST for API design (www.designgurus.io)
266. 關稅:為何牛津學生比教授更支持貿易保護主義 Tariffs: Why Oxford students are more protectionist than their professors (www.lowyinstitute.org)
267. 讓蘋果的離線翻譯框架成為您的翻譯引擎 Let Apple''s offline translation framework translation be your translation engine (github.com)
270. 美國關鍵電網運營商[PJM]下調需求預期,因人工智能熱潮被高估 Key US Power Grid [PJM] Cuts Demand Outlook on Overstated AI Boom (www.bloomberg.com)
271. 研究表明:社交媒體使用時間不會加劇青少年心理健康問題 Social media time does not increase teenagers'' mental health problems – study (www.theguardian.com)
274. Skillshare:一鍵同步技能至所有AI命令行工具 Skillshare: Sync skills to all your AI CLI tools with one command (github.com)
276. AgentDiscover 掃描器——多層人工智能代理檢測(代碼、網絡、K8s eBPF) AgentDiscover Scanner – Multi-layer AI agent detection (code, network, K8s eBPF) (github.com)
279. 單擊式微軟Copilot攻擊悄然竊取個人數據 The Single-Click Microsoft Copilot Attack That Silently Steals Personal Data (www.varonis.com)
281. 別擔心。好男人難尋。特朗普/愛潑斯坦與...犯罪集團 "Don''t worry. Boys are hard to find." Trump/Epstein and... Criminal Enterprises (lisevoldeng.substack.com)
282. 氣泡膜:一種靈活的方式,防止代理訪問您的.env文件 Bubblewrap: A nimble way to prevent agents from accessing your .env files (patrickmccanna.net)
284. 國際空間站宇航員因乘組成員患病提前返回地球 ISS astronauts return to Earth early due to illness of crew member (www.cbc.ca)
286. Kutt.ai – 免費AI視頻生成器,文字與圖片轉視頻 Kutt.ai – Free AI Video Generator, Text and Image to Video (kutt.ai)
291. 消息人士稱,特朗普希望對伊朗採取的軍事行動迅速而果斷 Trump would want military action in Iran to be Swift and decisive, sources say (www.nbcnews.com)
294. Zorin OS 18在不到三個月的時間內下載量突破200萬次 Zorin OS 18 passes 2M downloads in under 3 months (www.windowscentral.com)
295. 年輕男子渴望練就魁梧體格。對某些人而言,這已然成為一種痴迷。 Young men want to get big. For some, it''s becoming an obsession (www.npr.org)
296. 美國參議院以微弱優勢阻止限制特朗普對委內瑞拉戰爭權力的努力 US Senate narrowly blocks effort to rein in Trump''s Venezuela war powers (www.reuters.com)
299. 使用A2UI自定義組件目錄構建人工智能生成儀表盤 Building AI-Generated Dashboards with A2UI Custom Component Catalogs (a2aprotocol.ai)
300. 蓋亞觀測揭示低加速度下引力修正的證據 Evidence for modified gravity at low acceleration from Gaia observations (phys.org)