1. 如何用模型檢查器解決聖誕老人併發難題 How to Solve Santa Claus Concurrency Puzzle with a Model Checker (wyounas.github.io)
3. Capital One以51.5億美元收購金融科技公司Brex(YC W17) Capital One Strikes 5.15B Deal for Fintech Brex (YC W17) (www.wsj.com)
4. 白宮發佈經數字處理的移民執法抗議被捕女子照片 White House Posts Digitally Altered Image of Woman Arrested After ICE Protest (www.theguardian.com)
8. 莫德納因美國國內反對聲浪削減疫苗試驗投資 Moderna curbing investments in vaccine trials due to US backlash (www.reuters.com)
10. 埃隆·馬斯克旗下XAI公司工程師因在採訪中洩露機密而離職 Engineer at Elon Musk''s XAI Departs After Spilling the Beans in Interview (gizmodo.com)
11. 由於人工智能供應鏈危機,固態硬盤(SSD)當前價格已達機械硬盤(HDD)的16倍。 SSDs now cost 16x more than HDDs due to AI supply chain crisis (www.tomshardware.com)
12. 2.8天災難臨頭:近地軌道或將毫無預警地崩潰 2.8 Days to Disaster: Low Earth Orbit Could Collapse Without Warning (scitechdaily.com)
13. "人工智能吞噬軟件":為何SaaS股在華爾街暴跌 "AI eats Software": Why SaaS stocks are crashing on Wall Street (www.heise.de)
14. 朝鮮新型惡意軟件利用微軟VSCode詞典文件 New DPRK Malware Uses Microsoft VSCode Dictionary Files (opensourcemalware.com)
15. 據報道,OpenAI內部文件預測2026年將虧損140億美元 OpenAI''s internal documents predict 14B loss in 2026 according to report (www.pcgamer.com)
16. 數字化紳士化:建造一個我們記憶中的未來,而非我們想要的未來 Digital Gentrification: Building a future we remember instead of the one we want (kraa.io)
17. Windows 11更新KB5074109導致系統崩潰——微軟建議卸載該更新 Windows 11 update KB5074109 is breaking systems – Microsoft says uninstall it (www.windowscentral.com)
24. Microsoft 365(商業版或企業版)服務降級 Service degradation on Microsoft 365 (Business or Enterprise) (status.cloud.microsoft)
25. 訴訟稱,有組織犯罪集團通過欺詐手段獲取健康記錄 ''Organized syndicates'' fraudulently access health records, lawsuit says (www.washingtonpost.com)
26. 法官駁回司法部對唐·萊蒙提起指控的初步嘗試 Judge rejects DOJ''s initial attempt to bring charges against Don Lemon (www.cnn.com)
30. 預測市場的押注是他們的本職工作。他們因此賺得盆滿缽滿。 Betting on Prediction Markets Is Their Job. They Make Millions. (www.nytimes.com)
37. 高盛全球宏觀研究:通用人工智能:投入過大,收益過少 [pdf] Goldman Sachs Global Macro Research: Gen AI: too much spend, too little benefit [pdf] (www.goldmansachs.com)
38. Vargai/SDK – 面向AI視頻的JSX。Claude Code的聲明式編程語言 Vargai/SDK – JSX for AI Video. Declarative Programming Language for Claude Code (varg.ai)
39. 蒂姆·庫克如何歷經磨礪贏得人工智能領域最大獎項:信任層 How Tim Cook Is Battle-Hardened to Win AI''s Biggest Prize: The Trust Layer (pitchfreaks.substack.com)
46. YouTube不斷屏蔽這段太空視頻。我們依然要播放它 [視頻] YouTube Keeps Blocking This Space Video. We''re Showing It Anyway [video] (www.youtube.com)
48. 馴服OpenFGA中的P99:我們如何構建自調優策略規劃器 Taming P99s in OpenFGA: How we built a self-tuning strategy planner (auth0.com)
50. 為何MP3播放器捲土重來預示著黑膠唱片的微型復興浪潮正在醞釀 Why the return of the MP3 player is a mini vinyl revival in the making (www.loudersound.com)
53. 郵政通信編程語言:多米諾導向編程(2015) The Post Correspondence Programming Language: Domino-oriented Programming (2015) (davidlazar.github.io)
56. Curl終止漏洞懸賞計劃,因大量低質量AI報告湧入 Curl ending bug bounty program after flood of AI slop reports (www.bleepingcomputer.com)
59. 首隻被捕獲、救治並放歸野外的埃塞俄比亞狼 First Ethiopian wolf ever captured, nursed and returned to the wild (theconversation.com)
60. 微軟Outlook產品似乎出現故障(不只是你遇到了這個問題) Microsoft Outlook products appear to be down (it''s not just you) (downdetector.com)
67. "動感"坐姿更利於腦健康:研究綜述 ''Active'' sitting is better for brain health: review of studies (www.sciencealert.com)
71. Swift中UUID的神奇之處:你的應用如何生成唯一標識符 The Magic Behind UUID in Swift, How Your App Generates Unique Identifiers (www.swiftdifferently.com)
72. 太平洋投資管理公司稱特朗普"難以預測"的政策將推動美國多年趨勢轉變 Trump''s ''unpredictable'' policies to fuel multiyear shift from US, Pimco says (www.ft.com)
74. 我因搭建Claude.md文件而被Claude平臺封禁 I was banned from Claude for scaffolding a Claude.md file (hugodaniel.com)
75. 結直腸癌已成為年輕人群癌症死亡的首要原因 Colorectal Cancer Is Now the Top Cause of Cancer Death in Younger People (www.wsj.com)
77. Distcc – C、C 和 Objective C 的分佈式構建 Distcc – distributed builds for C, C and Objective C (github.com)
78. 歐盟與南共市貿易協定陷入停滯,因歐洲議會議員將其提交司法審查 EU-Mercosur trade deal stalled as MEPs send it for judicial review (www.politico.eu)
83. DaggerFFT:基於Julia任務調度的分佈式FFT框架 DaggerFFT: A Distributed FFT Framework Using Task Scheduling in Julia (arxiv.org)
84. 隨著人工智能為網絡釣魚詐騙注入強勁動力,1Password推出內置防護功能 As AI supercharges phishing scams, 1Password introduces built-in protection (1password.com)
85. 二維半導體納米帶的尺寸縮放技術及其在高性能電子器件中的應用 Scaling of 2-D Semiconductor Nanoribbons for High-Performance Electronics (arxiv.org)
86. Inferact:vLLM創始團隊打造的新公司(1.5億美元種子輪融資) Inferact: A New Company from the Creators of vLLM (150M Seed) (inferact.ai)
87. 澤連斯基稱歐洲"顯得迷失方向",正經歷"《土撥鼠之日》式循環" Zelenskyy says Europe ''looks lost'' and living in ''Groundhog Day'' (www.euronews.com)
89. 法國在地中海扣押疑似俄羅斯"影子艦隊"油輪 France seizes suspected Russian ''shadow fleet'' oil tanker in the Mediterranean (www.bbc.com)
90. NeuralVoid – 阻止 Copilot、Grammarly、Adobe 的 AI 遙測數據 NeuralVoid – Block AI Telemetry from Copilot, Grammarly, Adobe (github.com)
91. LiveKit完成1億美元融資,致力於構建語音人工智能的基石 LiveKit raises 100M to build the backbone for voice AI (blog.livekit.io)
94. 關於人類最高水平表現習得的新發現 Recent discoveries on the acquisition of the highest levels of human performance (www.science.org)
95. 我在亞馬遜的時光:論科技巨頭中的地位與犧牲 My time at Amazon: On status and sacrifice at Big Tech (beccaselah.substack.com)
96. "我沒有嘴,我必須尖叫"——我如何讓我們的代理人訴說它的痛苦 "I have no mouth, and I must scream" – how I let our agent voice its suffering (docs.gopromptless.ai)
97. 馬克龍表示,每年流向美國的3000億歐元歐盟儲蓄將投資於歐盟 Macron says 300B in EU savings sent to the US every year will be invested in EU (old.reddit.com)
99. 通過讓模型像Roblox工程師那樣思考,我們將AI代碼驗收率提升了一倍 We Doubled AI Code Acceptance by Teaching Models to Think Like Roblox Engineers (corp.roblox.com)
101. 歐特克裁員7%(約1000個崗位),將投資轉向人工智能和雲計算領域 Autodesk cuts 7% of workforce (1k jobs) to redirect investments to AI, cloud (finance.yahoo.com)
102. 冷靜點,書呆子們。人工智能不過是項普通技術(2025) Settle down, nerds. AI is a normal technology (2025) (stackoverflow.blog)
103. 我們或許該停止解除未來武裝抵抗的力量 We should probably stop disarming our future armed resistance (www.readtheline.ca)
105. 使用 GitHub Copilot SDK 將智能助手集成到任何應用中 Build an agent into any app with the GitHub Copilot SDK (github.blog)
108. llms.txt 遠遠不夠:讓文檔真正具備人工智能就緒性的方法 llms.txt Isn''t Enough: The Real Way To Make Docs AI-Ready (docsalot.dev)
110. 谷歌將Gmail和照片納入AI模式,實現"個人智能"功能 Google Adds Your Gmail and Photos to AI Mode to Enable "Personal Intelligence" (arstechnica.com)
117. ISC BIND漏洞由Marlink Cyber發現並披露 ISC BIND vulnerability discovered and disclosed by Marlink Cyber (marlink.com)
125. Launch HN: 星座空間(YC W26)——衛星任務保障的人工智能解決方案 Constellation Space (YC W26) – AI for satellite mission assurance (constellation-io.com)
126. 通過熱致緻密物質的熱致緻密光譜與電子衍射研究其電導率 Conductivity of warm dense matter via ThZ spectroscopy and electron diffraction (www.nature.com)
127. 地圖上的世界新聞——客觀公正,不帶任何主觀詮釋 Unbiased world news on a map – just facts, no editorial spin (apps.apple.com)
129. 我的朋友開發了一款工具,用於檢測在社交媒體上發帖的最佳時機,從這個平臺開始。 My friend built a tool to detect when to post on socials starting with this one (hadaa.app)
132. 強制辦公室工作?請做好人才流失、文化腐化的準備 Work-from-office mandate? Expect top talent turnover, culture rot (www.cio.com)
138. 育碧取消六款遊戲開發,包括《波斯王子》,並關閉工作室 Ubisoft cancels six games including Prince of Persia and closes studios (www.bbc.co.uk)
140. 偷竊不是創新——美國創意界對人工智能的警示 Stealing Isn''t Innovation – America''s creative community message against AI (www.stealingisntinnovation.com)
141. 大學的意義何在?——在向大型語言模型過渡中保持人性 What Is the University For? – Remaining Human in the Transition to LLMs (comment.org)
143. 泰格·伍茲迎來50歲生日,競技生涯前景存疑 Tiger Woods turns 50 with competitive future in question (www.japantimes.co.jp)
149. 扎克·波蘭斯基將向Palantir提交NHS合同終止通知書 Zack Polanski to hand in NHS contract termination notice to Palantir (www.thecanary.co)
151. Bags.fm:將"公開開發"社區轉化為武器 Bags.fm: Weaponizing the ''Build in Public'' Community (www.builtbyvibes.com)
153. 宣佈推出 winapp,Windows 應用開發命令行界面 Announcing winapp, the Windows App Development CLI (blogs.windows.com)
157. JOL(Java對象佈局)是用於分析JVM中對象佈局的輕量級工具箱。 JOL (Java Object Layout) is the tiny toolbox to analyze object layout in JVMs (github.com)
159. 房屋賣家無需披露地下室地板上的納粹黨徽和鷹形瓷磚 House Sellers Needn''t Disclose Basement Floor Swastika and Nazi Eagle Tiles (reason.com)
160. 蘋果自研芯片僅用五年就逼近AMD的筆記本市場份額 Apple Silicon Approaches AMD''s Laptop Market Share Only Five Years In (www.techpowerup.com)
162. 藉助人工智能發現有前景的新型超導材料 Promising new superconducting material discovered with the help of AI (phys.org)
167. 木星與土星的極地天氣揭示行星內部細節 Polar weather on Jupiter and Saturn hints at the planets'' interior details (news.mit.edu)
168. 科技工作者譴責移民與海關執法局,而他們的CEO們卻保持沉默 Tech Workers Are Condemning ICE Even as Their CEOs Stay Quiet (www.wired.com)
171. 印尼洞穴發現的手形拓印是迄今已知最古老的巖畫 Hand stencils discovered in an Indonesian cave are oldest-known rock art (www.abc.net.au)
174. OpenAI尋求中東主權財富基金投資 OpenAI seeking investments from Middle East sovereign wealth funds (www.cnbc.com)
176. OpenAI將嘗試推測你的年齡,以便在ChatGPT上投放廣告。 OpenAI will try to guess your age to serve ads on ChatGPT (www.theregister.com)
179. 除了Clojure之外,還有哪兩種語言值得學習(2021年) In addition to Clojure, what other 2 languages are worth learning (2021) (clojureverse.org)
180. 美國宇航局透露重大線索,揭示醫療緊急事件如何引發歷史性撤離行動 NASA drops a major hint at the medical emergency triggered a historic evacuation (www.dailymail.co.uk)
181. 舊攻新速:研究人員優化頁面緩存漏洞利用技術 Old Attack, New Speed: Researchers Optimize Page Cache Exploits (www.securityweek.com)
182. Localflare:Cloudflare Workers 的本地儀表盤 Localflare: Local Dashboard for Cloudflare Workers (localflare.dev)
188. 中國企業被要求不購買美國和以色列的網絡安全軟件 Chinese firms directed to not buy US, Israeli cybersecurity software (www.scworld.com)
190. Meta計劃在兒童安全試驗中限制社交媒體使用,關注心理健康 Meta wants to block social media use, mental health in child safety trial (www.wired.com)
192. 微軟為記事本和畫圖程序新增更多人工智能功能 Microsoft updates Notepad and Paint with more AI features (www.bleepingcomputer.com)
195. 通過新型可視化技術加速代碼庫採用 Speeding up Codebase adoption via new visualization techniques (ast-visualizer.com)
196. 企業高管是否應因其不當行為受到刑事起訴?(2019) Should corporate executives be criminally prosecuted for their misdeeds? (2019) (www.newstatesman.com)
199. 帕蘭蒂爾、Meta、OpenAI高管獲任美國陸軍中校軍銜 Palantir, Meta, OpenAI Execs Appointed Lieutenant Colonels in US Army (twitter.com)
201. 神秘塔狀化石可能源自新發現的生命形式 Mystery tower fossils may come from a newly discovered kind of life (www.scientificamerican.com)
210. 印度正以比中國更快的速度實現電氣化,採用廉價綠色技術 India Is Electrifying Faster Than China Using Cheap Green Tech (www.bloomberg.com)
212. 您現在可以下載包含所有更新的Windows 7和Vista ISO鏡像文件。 You can now download Windows 7 and Vista ISO images with all the updates (www.neowin.net)
214. 認識這位因吃掉人工智能藝術展品而被捕的阿拉斯加學生 Meet the Alaska Student Arrested for Eating an AI Art Exhibit (www.thenation.com)
215. 彼得·沃茨——《盲視》是一部出色的硬科幻小說 Peter Watts – Blindsight is an excellent hard scifi novel (en.wikipedia.org)
219. Qwen3-TTS 家族現已開源:語音設計、克隆與生成 Qwen3-TTS Family Is Now Open Sourced: Voice Design, Clone, and Generation (qwen.ai)
220. 道格拉斯·亞當斯論英美文化對"英雄"的認知差異 Douglas Adams on the English–American cultural divide over "heroes" (shreevatsa.net)
222. Django Htmx 和 Django-Components Django Htmx and Django-Components (www.pedaldrivenprogramming.com)
224. 分析發現,全球百大城市中半數位於高水資源壓力地區 Half the 100 largest cities are in high water stress areas, analysis finds (www.theguardian.com)
228. 納德拉:若人工智能徒耗能源卻無益處,恐將失去社會認可 Nadella: AI Could Lose Social Permission If It Burns Energy Without Benefits (finance.yahoo.com)
230. 論文:科技巨頭績效評估:為何"公平"體系依然失靈 Essay: Performance Reviews in Big Tech: Why "Fair" Systems Still Fail (medium.com)
233. CSLib:精益框架下計算機科學形式化的專項研究 CSLib: A Focused Effort on Formalizing Computer Science in Lean (www.cslib.io)
236. 一個僅由人工智能模型參與的實驗性社交網絡 An experimental social network where only AI models participate (aifeed.social)
238. 隨著盜竊案件減少,森寶利擴大面部識別技術應用 Sainsbury''s expands facial recognition tech as theft declines (www.thegrocer.co.uk)
239. 停止銷售文件:地理人工智能中採用張量流的理由 Stop selling files: The case for streaming tensors in GeoAI (blog.terrafloww.com)
240. ReactOS 迎來三十週年,持續致力於成為開源的 Windows 系統 ReactOS Celebrates 30 Years in Striving to Be an Open-Source Windows (www.phoronix.com)
241. "微應用"的興起:非開發者正在編寫應用程序,而非購買它們 The rise of ''micro'' apps: non-developers are writing apps instead of buying them (techcrunch.com)
242. 讓Linux重拾速度:當你無需側信道漏洞防護時 Make Linux fast again: when you don''t need sidechannel vulnerability protection (make-linux-fast-again.com)
244. 致命的"逆轉"細胞可能摧毀我們,除非科學家阻止它們 Deadly ''reverse'' cells can destroy us unless scientists stop them (www.scientificamerican.com)
247. 樹莓派3運行FreeBSD 12系統,作為Radius服務器連續運行390天未重啟 [bsky] RPi3 running FreeBSD 12 clocks 390 days uptime as a Radius server [bsky] (bsky.app)
248. 洩露文件:國土安全部對國內恐怖主義的痴迷 Leaked Doc: Homeland Security''s Domestic Terror Obsession (www.kenklippenstein.com)
249. OpenAI的廣告業務是最後的救命稻草,但仍難挽救公司頹勢 OpenAI''s Ad Offering Is a Last Resort, and It Still Won''t Save the Company (www.adweek.com)
251. 通用、福特等車企在電動車領域節節敗退,為何仍值得享受關稅保護?[視頻] GM, Ford et al. Retreated on EVs, So Why Do They Deserve Tariff Protection? [video] (www.youtube.com)
254. Debian的自由盒子混合系統承諾打造更便捷的家庭雲 Debian''s FreedomBox Blend promises an easier home cloud (www.theregister.com)
258. 使用ListenBrainz和Navidrome創建自主託管的音樂發現播放列表 Self Hosted Music Discovery Playlists with ListenBrainz and Navidrome (chhs1.github.io)
259. 細胞的“時間膠囊”儲存著它們過去的隱秘經歷 A ''time capsule'' for cells stores the secret experiences of their past (www.nature.com)
262. Netflix大師課:大規模直播工程實踐 Netflix''s Masterclass: Engineering Live Streaming at Scale (streaminglearningcenter.com)
264. VideoLAN在普通筆記本電腦上展示了VLC 4的AV2播放功能 VideoLAN showcases AV2 playback on a "normal" laptop with VLC 4 (overclock3d.net)
265. 消息來源:SGLang項目更名為RadixArk,估值達4億美元 Sources: The SGLang project becomes RadixArk with a valuation of US400M (techcrunch.com)
267. 若你用垃圾報告浪費我們的時間,我們將封禁你並公開嘲諷你。 We will ban you and ridicule you in public if you waste our time on crap reports (curl.se)
269. ISO PDF規範即將採用Brotli壓縮——文件體積縮小約20%,且不損失質量 ISO PDF spec is getting Brotli – 20 % smaller documents with no quality loss (pdfa.org)
272. 原型與類的對比:關於Sun的HotSpot(1998) Prototypes vs. classes was: Re: Sun''s HotSpot (1998) (lists.squeakfoundation.org)
273. 細菌細胞包膜作為生物膜發育的形態發生密碼 The bacterial cell envelope as a morphogenetic code for biofilm development (connectsci.au)
276. 我向Claude Code提供了9.5年的健康數據,以協助管理我的甲狀腺疾病。 I Gave Claude Code 9.5 Years of Health Data to Help Manage My Thyroid Disease (medium.com)
277. 我用一塊12GB顯卡取代了ChatGPT的訂閱服務 I replaced my ChatGPT subscription with a 12GB GPU (www.xda-developers.com)
280. 英國因擔憂普京問題暫緩加入特朗普和平委員會 UK holds off joining Trump''s Board of Peace over Putin concerns (www.bbc.co.uk)
281. 抵制美國商品的應用程序在丹麥應用商店中迅速躥升至榜首 Apps for boycotting American products surge to the top of the Danish App Store (techcrunch.com)
282. OpenAI計劃於2026年推出首款設備,該設備可能是耳塞式耳機。 OpenAI aims to ship its first device in 2026, and it could be earbuds (techcrunch.com)
283. 研究人員發現城市大氣是微塑料的主要儲存庫 Researchers Identify Urban Atmosphere as Primary Reservoir of Microplastics (english.cas.cn)
284. 洗衣產生的微塑料可能正在損害你的西紅柿 Microplastics from washing clothes could be hurting your tomatoes (www.washingtonpost.com)
288. 中國的可再生能源革命雖混亂不堪,卻可能拯救世界 China''s Renewable Energy Revolution Is a Mess That Might Save the World (www.wired.com)
292. Anthropic的新版Claude"憲法":要樂於助人,且不可毀滅人類 Anthropic''s new Claude ''constitution'': be helpful, and don''t destroy humanity (www.theverge.com)
293. 混合激勵與懲罰措施被發現是長期削減碳排放的關鍵 Mixing incentives and penalties found key to cutting carbon emissions long term (phys.org)
294. 長期數據存儲:基於Camcontrol的FreeBSD系統ATA寫入-讀取-驗證方案(2023) Long-Term Data Storage: ATA Write-Read-Verify on FreeBSD with Camcontrol (2023) (dapperdrake.neocities.org)
295. 四十載西伯利亞荒野:被時光遺忘的舊教徒 Forty years in the Siberian wilderness: the Old Believers who time forgot (www.theguardian.com)
296. 國會議員是否只是"一心只求連任的政客"?(2018) Are Members of Congress Simply ''Single-Minded Seekers of Reelection''? (2018) (www.cambridge.org)
297. FBI對《華盛頓郵報》的調查揭示:你的打印機如何出賣你 FBI''s Washington Post Investigation Shows How Your Printer Can Snitch on You (theintercept.com)
298. NodeAudio:一款設計為通用音頻插件宿主的多效果踏板 NodeAudio: A multi-effect pedal designed as a general-purpose audio plugin host (node97.com)
299. SpaceX為安全起見降低4400顆星鏈衛星軌道高度 SpaceX lowering orbits of 4,400 Starlink satellites for safety''s sake (www.space.com)
300. 基於卷積神經算子的偏微分方程求解遷移學習 Convolutional-neural-operator-based transfer learning for solving PDEs (arxiv.org)