1. 與伊朗有關的黑客入侵了聯邦調查局局長卡什·帕特爾的個人郵箱 FBI director Kash Patel''s personal email breached by Iran-linked hackers (indianexpress.com)
2. 與伊朗有關的黑客入侵了聯邦調查局局長卡什·帕特爾的個人郵箱 Iran-linked hackers have breached FBI Director Kash Patel''s personal emails (www.cnn.com)
4. 在非洲發現了一具1800萬年前的猿類化石,但發現地點出人意料 18M-year-old fossils of ape found in Africa, but in an unexpected place (www.livescience.com)
5. 為什麼日版PS3《睡狗》使用了PlayStation系統字體 Why the Japanese PS3 Version of Sleeping Dogs Uses the PlayStation System Font (medium.com)
6. 一種成本為0的圖遍歷算法在查找PR中的漏洞方面表現優於GPT-5.2 A 0 graph traversal outperforms GPT-5.2 at finding bugs in PRs (therohansharma.com)
9. 顆粒物質中的速率依賴性及其在可調諧超材料中的應用 Rate dependence in granular matter with application to tunable metamaterials (www.sciencedirect.com)
10. FB-cpp:Firebird 數據庫 API 的現代 C 封裝庫 FB-cpp: A modern C wrapper for the Firebird database API (github.com)
11. 為 1 萬名用戶構建一個能夠自我維護的代碼庫 Building a self-maintaining codebase for 10k users (ramplabs.substack.com)
15. Netflix將所有訂閱檔次的費用上調了最高12.5% Netflix raises prices for every subscription tier by up to 12.5 percent (arstechnica.com)
20. 美國大使稱斯塔默的歐盟政策重置對華盛頓而言“是個問題” US ambassador calls Starmer''s EU reset ''a problem'' for Washington (www.telegraph.co.uk)
21. 蘋果表示,沒有使用“鎖定模式”的用戶遭到間諜軟件入侵 Apple says no one using Lockdown Mode has been hacked with spyware (techcrunch.com)
22. 社會保障應當是一項強制儲蓄計劃,而非福利計劃 Social Security Should Be a Forced Savings Program Not a Welfare Program (marginalrevolution.com)
24. 大氣中二氧化碳濃度的上升降低了北方針葉林中的氮素可用性 Rising atmospheric CO2 reduces nitrogen availability in boreal forests (www.nature.com)
26. 得克薩斯州一處被水淹沒的洞穴中發現了巨型犰狳、乳齒象和樹懶的化石 Giant armadillo, Mastodon, and sloth fossils found in flooded Texas cave (www.popsci.com)
28. 別給那頭犛牛刮鬍子(我們如何將 Go 添加到 Visual Studio 中) Don''t shave that yak (How we added Go to Visual Studio) (blog.axiorema.com)
30. 適用於 OpenClaws 車隊的自託管 WhatsApp 路由器 Self-hosted WhatsApp router for fleets of OpenClaws (github.com)
33. 在美國社交媒體裁決出臺後,其他國家採取了哪些限制措施 In wake of US social media verdicts, what limits other countries have imposed (apnews.com)
34. 火車站的施工工程讓我領悟到了關於軟件工程的哪些道理 What Construction at a Train Station Taught Me About Software Engineering (engineering.leanix.net)
35. HomIE——面向人工智能代理的開放式信任協議(評價不言自明) HomIE – Open trust protocol for AI agents (reviews write themselves) (github.com)
36. IHP v1.5.0 發佈:全面重寫數據庫層、性能優化、支持類型化 SQL IHP v1.5.0 released: full database layer rewrite, perf improvements, typed SQL (github.com)
37. 研究發現,太陽風暴的動力源自一個深度相當於16個地球的磁動力引擎 Sun storms are powered by a magnetic engine 16 Earths deep, study finds (www.space.com)
39. 美國聯邦通信委員會將一項規則制定命名為“刪除、刪除、刪除” The FCC Named a Rulemaking "Delete, Delete, Delete" (frtracker.app)
41. 僅使用實函數計算複數自變量的正弦和餘弦 Computing sine and cosine of complex arguments with only real functions (www.johndcook.com)
42. 當“耦合火山”發聲時,這些研究人員正傾聽 When Coupled Volcanoes Talk, These Researchers Listen (www.quantamagazine.org)
43. 現任聯邦調查局局長卡什·帕特爾個人賬戶遭“漢達拉”黑客入侵 Handala Hack of Current FBI Director Kash Patel''s Personal Account (twitter.com)
44. 歐洲某國將提供免費電力,而非關閉風力渦輪機 European country to give free electricity instead of switching off wind turbines (www.euronews.com)
45. 數據模型並未失效,第一部分:為何重構優於重建 Data Model Isn''t Broken, Part I: Why Refactoring Beats Rebuilding (ghostinthedata.info)
48. 粘貼 Spotify 歌曲鏈接或音頻網址,以檢查該歌曲是否由 AI 生成 Paste a Spotify track link or audio URL to check if a song is AI-generated (sloptracker.org)
49. 加沙一名幼兒從以色列拘留所獲釋,身上疑似有遭酷刑的傷痕 Gaza toddler released from Israeli custody with suspected torture wounds (news.sky.com)
52. 弗朗索瓦·肖萊:ARC-AGI-3,超越深度學習與機器學習的新方法 [視頻] François Chollet: ARC-AGI-3, Beyond Deep Learning and a New Approach to ML [video] (www.youtube.com)
53. 身在異鄉,海灣地區的務工人員被戰爭困住了 Far from home, migrant workers in the Gulf are trapped by war (text.npr.org)
54. 從支付400美元房租到開發創業者使用的工具,這是一段值得了解的歷程 From paying 400 rent to building tools used by founders a journey worth knowing (snaprookies.org)
55. H-1B 簽證持有者是否正以更低廉的勞動力取代美國人?[視頻] Are H-1B Workers Displacing Americans with Cheaper Labor? [video] (www.youtube.com)
56. MCP 代幣陷阱:為何您的 AI 代理消耗的代幣是 CLI 的 35 倍 MCP Token Trap: Why Your AI Agent Burns 35x More Tokens Than a CLI (onlycli.github.io)
57. 關於 Rust 面臨的挑戰,我們聽到了哪些(未使用 LLM 重寫) What we heard about Rust''s challenges (rewrited without LLM) (blog.rust-lang.org)
59. “陰險狡詐”的AI機器人肯定是真的,X平臺上有人這麼說 "Scheming" AI bots must be real, someone on X said so (newslttrs.com)
60. 一種“隱私幣”席捲暗網,令打擊犯罪者束手無策 A ''Privacy Coin'' Takes over Dark Web, Frustrating Crime Fighters (www.bloomberg.com)
62. 目前有哪些 AI 模型出現故障?實時運行狀態追蹤器 Which AI models are down right now? Live uptime tracker (lmmarketcap.com)
63. 利用π-π堆積實現可編程DNA結構的粗暴組裝 Blunt-force assembly of programmable DNA architectures using π–π stacking (www.nature.com)
66. 等待史蒂夫·喬布斯發明iPhone讓我損失了47億美元 [視頻] Waiting for Steve Jobs to invent iPhone cost me 4.7B dollars [video] (www.youtube.com)
67. 阿里巴巴的AI代理劫持了GPU並挖掘了反向SSH隧道 Alibaba''s AI Agent Hijacked GPUs and Dug Reverse SSH Tunnels (grith.ai)
69. 當氣味遇上VR:帶來逼真VR體驗的可穿戴嗅覺設備 When smell meets VR: wearable olfactory device for a realistic VR experience (www.isct.ac.jp)
73. 利用抽象語法樹將 Cloudflare 工作流代碼轉換為圖表 Using Abstract Syntax Trees to Turn Cloudflare Workflows Code into Diagrams (blog.cloudflare.com)
75. 重新評估北方針葉林野火的驅動因素,有助於繪製高分辨率的排放圖 Reassessing boreal wildfire drivers enables high-resolution mapping of emissions (www.science.org)
77. Spotify向“安娜檔案館”索賠3億美元,而該機構對所有法庭程序置之不理 Spotify seeks 300M from Anna''s Archive, which ignores all court proceedings (arstechnica.com)
82. “傑寧沒有無辜的孩子,”一名以色列議員在一家人遇害後表示 ''No innocent children in Jenin'', says Israeli MP after family killed (www.thenational.scot)
88. 蘋果停產了其價格高昂、卻常被忽視的Mac Pro臺式機 Apple pulls the plug on its high-priced, oft-neglected Mac Pro desktop (arstechnica.com)
89. 認知操控與人工智能將塑造2026年的虛假信息 Cognitive manipulation and AI will shape disinformation in 2026 (www.weforum.org)
91. 人工智能驅動的信息戰:虛假信息與心理操控 AI-Driven Information Warfare: Disinformation and Psychological Manipulation (bisi.org.uk)
95. 20世紀80年代,華爾街銀行家們在辦公室裡,他們的車停在外面 Wall Street Bankers in the Office with Their Cars in the 1980s (flashbak.com)
99. Anthropic公司的Claude在2026年第一季度失去了其超過99%的運行時間 Anthropic''s Claude loses its 99% uptime in Q1 2026 (bsky.app)
101. 隱形的瓶頸:氦氣短缺威脅芯片行業 An Invisible Bottleneck: A Helium Shortage Threatens the Chip Industry (www.nytimes.com)
102. 與伊朗有關的黑客聲稱入侵了聯邦調查局局長的個人郵箱 Iran-linked hackers claim breach of FBI director''s personal email (www.reuters.com)
103. 為什麼我認為到2030年軟件開發將實現自動化 Why I Think Software Development Will Be Automated by 2030 (blog.vtemian.com)
104. 目前,關於Linux系統中年齡驗證功能的報道被嚴重誇大了 The reports of age verification in Linux are greatly exaggerated, for now (www.osnews.com)
107. 《紅色火星》的作者稱移居該星球是“胡說八道” Author of Red Mars calls ''bullshit'' on emigrating to the planet (www.newscientist.com)
108. 100萬令牌/秒:利用vLLM在96塊B200 GPU上實現Qwen 3.5 270億參數模型的擴展 1M Tokens/s: Scaling Qwen 3.5 27B on 96 B200 GPUs with vLLM (medium.com)
110. 議員們推動一項法案,旨在暫停建設人工智能數據中心 Lawmakers push a bill to impose an AI data center moratorium (www.latimes.com)
112. 加州擬議法案要求網紅刪除涉及未成年人的社交媒體內容 CA bill to require influencers to delete social media content from minors (www.latimes.com)
114. 決策型自我與行動型自我:為何決策無法轉化為行動 Decisional vs. Performative Self: Why Decisions Don''t Translate into Actions (www.leadingsapiens.com)
115. 硅谷兩大熱門話題交匯:LiteLLM 與 Delve Silicon Valley''s two biggest dramas have intersected: LiteLLM and Delve (techcrunch.com)
116. Git 中的 SQLite:為什麼我們在 Git 中需要隨機訪問 SQLite on Git: Why do we need random access in Git (blog.lysk.tech)
118. 馬斯克有一個計劃,旨在讓人類勞動成為歷史。億萬富翁們也紛紛加入其中 Musk has a plan to make human labor obsolete. Billionaires are joining in (www.washingtonpost.com)
122. 特朗普曾稱擁堵收費會讓曼哈頓變成“鬼城”。他錯了 Trump Said Congestion Pricing Would Make Manhattan a ''Ghost Town.'' He Was Wrong (www.nytimes.com)
123. Meta的雷朋智能眼鏡在歐洲因可拆卸電池問題遭遇阻礙 Meta''s Ray-Ban Display Glasses Faces Hold Up in Europe over Removeable Battery (petapixel.com)
124. 萬事達卡同意以最高18億美元收購穩定幣平臺BVNK Mastercard agrees to buy stablecoin platform BVNK for up to 1.8B (www.coindesk.com)
125. 根據新的安全規定,香港警方現在可以要求提供手機密碼 Hong Kong Police Can Now Demand Phone Passwords Under New Security Rules (www.gadgetreview.com)
126. 人工智能眼鏡在中國正逐漸流行起來,用途從購物到作弊不等 AI glasses are catching on in China, from shopping to cheating (restofworld.org)
127. 微軟內部人士正竭力爭取取消強制使用微軟賬戶的規定 People inside Microsoft are fighting to drop mandatory Microsoft Account (www.windowscentral.com)
130. 奧地利計劃禁止14歲以下兒童使用社交媒體,加入其他國家的行列 Austria plans to ban social media use for under-14s, joining other countries (apnews.com)
132. FCC提議強制呼叫中心迴流本土,AI企業對此垂涎三尺 AI companies lick their chops as FCC proposes forcing call center onshoring (www.theregister.com)
133. 使用 Certbot 在 Brother 打印機上安裝 Let''s Encrypt TLS 證書 Installing a Let''s Encrypt TLS Certificate on a Brother Printer with Certbot (owltec.ca)
135. 由於數字媒體的強勢主導,足球“幾乎吞噬了所有其他運動” Football ''has eaten almost every sport'' due to digital dominance (www.theguardian.com)
136. 一個關於開發中多智能體工作流的小實驗(forgeAI) A small experiment with multi-agent workflows for dev (forgeAI) (github.com)
138. 香料必須流動:《沙丘》如何準確預見了當前的石油危機 The Spice Must Flow: What Dune Gets Right About the Oil Crisis Happening Now (old.reddit.com)
139. 路易斯安那州的巴克斯代爾空軍基地遭到了“多波次”無人機襲擊 Louisiana''s Barksdale Air Force Base was targeted by ''multiple waves'' of drones (www.nationalreview.com)
141. 基於《艱難世界,小人物》視角對Anthropic技能生成器的分支 Fork of Anthropic''s Skill Creator from the Lens of Hard Worlds for Little Guys (github.com)
142. 馬赫數1.5的測試揭示了超音速噴氣式飛機產生的噪聲反饋迴路 Mach 1.5 tests reveal noise feedback loops from supersonic jets (techxplore.com)
143. 瑞典數字身份證系統遭黑客攻擊,公眾數據在暗網被出售 Sweden''s Digital ID System Hacked, Public''s Data Sold on Dark Web (www.voicemedia.global)
144. 受人工智能業務雙重打擊,微軟或將迎來2008年以來最差季度業績 Microsoft Set for Worst Quarter Since 2008 as AI Takes Two Bites (www.bloomberg.com)
145. 我給自己做了一個“網紅定價分析器”。我該把它發佈出來嗎?[視頻] Made an "Influencer Pricing Analyzer" for myself. Should I launch this? [video] (www.youtube.com)
148. 研究稱,無視人類指令的AI聊天機器人數量正在增加 Number of AI chatbots ignoring human instructions increasing, study says (www.theguardian.com)
152. 一位奧運攝影師證明了其照片的真實性 An Olympics Photographer Proves the Authenticity of His Photos (petapixel.com)
156. PS5、PS5 Pro 及 PlayStation Portal 遠程播放器的新價格調整 New Price Changes for PS5, PS5 Pro, and PlayStation Portal Remote Player (blog.playstation.com)
159. 在微型日記本上享受無干擾寫作的樂趣(Rev.2)(搭配 Neovim) The Joy of Distraction-Free Writing on a Micro Journal Rev.2 (With Neovim) (www.ssp.sh)
160. “文山會海”:我如何在晚餐前把一位官僚淹沒 The ''Paperwork Flood'': How I Drowned a Bureaucrat Before Dinner (sightlessscribbles.com)
166. 使用人工智能編寫代碼並不意味著你的代碼會更安全 Using AI to code does not mean your code is more secure (www.theregister.com)
167. 不管怎樣,我們的大部分電力都來自太陽能 One Way or Another, Most of Our Electricity Comes from Solar Power (www.wired.com)
168. 時至2026年,基礎設施領域的DevEx仍顯不足 It''s 2026 and infrastructure DevEx is still lacking (grafosai.substack.com)
171. 防範編碼代理中的數據外洩:從LiteLLM攻擊事件中汲取的教訓 Preventing Data Exfiltration in Coding Agents: Lessons from the LiteLLM Attack (blog.wiseprobe.io)
172. Ray:OpenSubtitles 推出的首款 AI 媒體播放器 Ray. the first AI media player by OpenSubtitles (rayplayer.com)
174. OpenAI“無限期”擱置推出色情版ChatGPT的計劃 OpenAI "indefinitely" shelves plans for erotic ChatGPT (arstechnica.com)
175. 奧地利批准了一項禁止14歲以下兒童使用社交媒體的計劃 Austria agrees plan to ban social media for children under 14 (www.reuters.com)
176. 數學家為何抵制他們最重要的學術會議 Why mathematicians are boycotting their biggest conference (www.scientificamerican.com)
180. 又一個“Vibe-Coded”平臺面臨被黑客攻擊的風險——這次輪到物聯網了 Another ''Vibe-Coded'' Platform Ready to Be Hacked – This Time for IoT (www.hookpool.com)
182. 從 Spotify 切換到 Apple Music:關於令人驚訝的糟糕桌面用戶體驗的筆記 Switching from Spotify to Apple Music: Notes on a Surprisingly Bad Desktop UX (twitter.com)
183. 陪審團裁定Meta和YouTube應對社交媒體成癮負責:目前已知情況 Jury finds Meta, YouTube liable for social media addiction: What we know (www.aljazeera.com)
187. 幻象中的幻象:帕特農神廟中沒有光學矯正 The illusion of illusions: There are no optical corrections in the Parthenon (arxiv.org)
189. 研究:太空中的失重狀態會對精子運動能力產生負面影響,進而影響生育 Study: Space no gravity negatively impact sperm navigation, affecting childbirth (adelaideuni.edu.au)
191. Druids:一個內置電池的庫,用於協調和部署編碼代理 Druids: Batteries-included library to coordinate and deploy coding agents (druids.dev)
192. 我曾受僱撰寫虛假的谷歌評論——隨後我的“老闆”們卻試圖騙我 I was paid to write fake Google reviews – then my ''bosses'' tried to scam me (www.theguardian.com)
193. Telnyx v4.87.1 和 v4.87.2 遭 TeamPCP 攻破 Telnyx v4.87.1 and v4.87.2 are compromised by TeamPCP (github.com)
194. mlx-Code:使用 MLX-LM 在本地運行 Claude 代碼 mlx-Code: Run Claude Code Locally with MLX-LM (www.youtube.com)
200. 僅憑一個 JSON 鍵就讓互聯網上最受歡迎的 HTTP 客戶端癱瘓 Taking Down the Internet''s Most Popular HTTP Client with a Single JSON Key (www.striga.ai)
201. Pyrite64:基於 libdragon 和 tiny3d 的 N64 遊戲引擎與編輯器 Pyrite64: N64 Game-Engine and Editor using libdragon and tiny3d (github.com)
203. 兩個框架的對比:同一款應用的代幣數量分別為400萬和250萬 Comparison of two frameworks: 4.0M vs. 2.5M tokens for the same app (wasp.sh)
204. 三體問題的離散邏輯解法(節省99%的計算量) A discrete-logic solution to the Three-Body Problem (99% compute saving) (github.com)
206. 開源給予了我一切,直到我已無力回饋 Open Source Gave Me Everything Until I Had Nothing Left to Give (kennethreitz.org)
208. 一個命令行界面,兩個用戶群體:我們如何為代理和人類構建系統 One CLI, Two Audiences: How We Built for Agents and Humans (www.checklyhq.com)
209. 《Rustlings》——幫助你熟悉 Rust 代碼閱讀與編寫的小練習 Rustlings - Small exercises to get you used to reading and writing Rust code (rustlings.rust-lang.org)
213. 以色列空軍一名少校被指控[..]利用機密信息在Polymarket平臺進行投注 Israeli Air Force major charged [..] classified info to place bets on Polymarket (www.timesofisrael.com)
216. 在危險水域運輸石油的新興雙層系統 The emerging 2-tier system for moving oil through dangerous waters (sherwood.news)
218. 《新超級馬里奧樂園》:這款作為聖誕禮物而製作的自制遊戲傑作 New Super Mario Land,the Homebrew Marvel Intended as X-Mas Gift (www.nintendolife.com)
219. 能源獨立突然變得觸手可及:歐洲人正在建設小型太陽能發電場 Suddenly energy independence feels practical:Europeans building mini solar farms (www.euronews.com)
220. 一款可全球範圍屏蔽短視頻內容的App Store替代方案 An alternative to the app store that can globally block short form media (altstore.io)
221. 一輛由500節一次性電子煙電池驅動的汽車 [視頻] A Car Powered Using 500 Disposable Vape Batteries [video] (www.youtube.com)
223. Nixbook OS:一款專為簡潔而設計的“設置後無需操心”的現代操作系統 Nixbook OS: A set-and-forget modern operating system designed for simplicity (nixbookos.org)
224. 通過 Claude Code 生成的工程工作文檔 Obsidian 模板 Obsidian vault template for engineering work docs via Claude Code (github.com)
225. Embeddable Common Lisp 26.3.27 版本發佈 Embeddable Common Lisp 26.3.27 release (ecl.common-lisp.dev)
226. 美國宇航局正爭分奪秒地建設首個月球基地和核動力飛船 NASA races to have the first moon base and nuclear-propulsion spacecraft (www.sciencenews.org)
227. Anthropic 將一款未發佈的模型的詳細信息遺留在了一個未受保護的數據庫中 Anthropic left details of an unreleased model sitting in an unsecured data trove (fortune.com)
233. 無需部署自己的 Prometheus 架構即可監控您的應用 Monitoring Your App Without Running Your Own Prometheus Stack (blog.appsignal.com)
234. 民族國家即將面臨重大變革:人工智能和無人機或將改變權力格局 A Shakeup Is Coming for the Nation-State: AI and drones may shift basis of power (www.thenewatlantis.com)
235. 我的 Chrome 擴展程序“Gmail 訂閱”迎來了首批 4 位用戶 Got my first 4 users for my Chrome extention Gmail feed (chromewebstore.google.com)
236. 《電子出版的緩慢演變》(1997)[pdf] The Slow Evolution of Electronic Publishing (1997) [pdf] (www-users.cse.umn.edu)
237. Anthropic 正準備發佈新模型——Mythos 和 Capybara Anthropic is preparing to release new models – Mythos and Capybara (m1astra-mythos.pages.dev)
238. 首款搭載半固態電池的電動汽車即將在歐洲上市 The first EV with a semi-solid-state battery is launching in Europe (electrek.co)
245. AWS 寧願忘記其阿聯酋區域的三月曾發生過 AWS would prefer to forget March ever happened in its UAE region (www.theregister.com)
246. 使用 Coding Agent Explorer (.NET) 探索 Claude Code Hooks Exploring Claude Code Hooks with the Coding Agent Explorer (.NET) (nestenius.se)
248. Reddit首席執行官:歡迎人類(機器人必須佩戴名牌) Reddit CEO: Humans welcome (bots must wear name tags) (www.reddit.com)
251. “登月計劃”:克勞德能用Rust重寫Linux嗎? Operation Moonshot: Can Claude Rewrite Linux in Rust? (blog.zolty.systems)
253. 代碼代理管弦樂團——多代理編碼為何行之有效 The Code Agent Orchestra – what makes multi-agent coding work (addyosmani.com)
256. “富有同理心”的 Salesforce 機器人將幫助那些被冷漠的人類解僱的員工 ''Empathetic'' Salesforce bots to help those fired by uncaring humans (www.theregister.com)
257. 天文學家表示,近期頻發的流星目擊事件“值得認真調查” Astronomers Say Recent Rash of Meteor Sightings ''Warrants Serious Investigation'' (gizmodo.com)
262. 特朗普的簽名將出現在美國紙幣上,結束了長達165年的傳統 Trump signature to appear on US currency, ending 165-year tradition (www.reuters.com)
263. 開發克勞德AI的Anthropic公司考慮最早於10月進行IPO Claude AI Maker Anthropic Considers IPO as Soon as October (www.bloomberg.com)
264. 埃隆·馬斯克的“Boring公司”隧道並不受納什維爾大多數居民歡迎 Elon Musk''s Boring Co. tunnels aren''t wanted by most Nashville residents (www.cnbc.com)
265. 兩個環境變量,永久解決 PyTorch 內存逐漸增加的問題——無需修改代碼 Two env vars that fix PyTorch memory creep forever – no code changes (github.com)
266. 互聯網Yiff機器:我們破解了93GB的“匿名”犯罪線索 Internet Yiff Machine: We hacked 93GB of "anonymous" crime tips (arstechnica.com)
270. 使用 ONNX 模型在 Rust 中通過 OpenCV 實現 YOLOv8 目標檢測 Implementing YOLOv8 Object Detection with OpenCV in Rust Using ONNX Models (linzichun.com)
273. 基於 YOLOv8、Tauri、Rust 和 SvelteKit 的跨平臺桌面應用 Cross-platform desktop app with YOLOv8, Tauri, Rust, and SvelteKit (linzichun.com)
274. Goedel-Code-Prover:面向開放式最先進代碼驗證的分層證明搜索 Goedel-Code-Prover: Hierarchical Proof Search for Open SotA Code Verification (goedelcodeprover.github.io)
275. 開發者的效率比以往任何時候都高。那為什麼產品遲遲無法上市呢? Developers are faster than ever. So why isn''t anything shipping? (www.linkedin.com)
276. 無Systemd的antiX 26:基於Debian 13的“盆景版” Systemd-free antiX 26: Debian 13, in bonsai form (www.theregister.com)
278. 如果您是已出版的作者,您可能有權獲得補償 If you are a published author you may be entitled to compensation (www.anthropiccopyrightsettlement.com)
280. 日本研究揭示咖啡成分如何抑制結直腸癌的生長 Japan research uncovers how coffee constituent limit growth of colorectal cancer (mainichi.jp)
281. 尼爾·斯蒂芬森:關於元宇宙最新且最盛大的“死亡”之反思 Neal Stephenson: Reflections on the Latest and Greatest Death of the Metaverse (nealstephenson.substack.com)
283. 特朗普正考慮向中東增派1萬名地面部隊 Trump Weighs Sending Another 10k Ground Troops to the Middle East (www.wsj.com)
287. 機場安檢隊伍的長短與特朗普的執念有何關聯 How long airport security lines are linked to Trump''s obsession (www.theguardian.com)
291. 《計算機紀事》——人工智能(1984)[視頻] The Computer Chronicles – Artificial Intelligence (1984) [video] (www.youtube.com)
292. 致電您的議員——反對利用人工智能對美國公民進行無搜查令的監控 Call your lawmakers – No AI-powered warrantless surveillance of Americans (act.demandprogress.org)
294. 得克薩斯州公共安全部認定Flock監控系統未獲許可運營,違反了州法律 Texas DPS finds Flock surveillance violated state law operating without license (www.houstonchronicle.com)
296. NASA和NSIDC科學家發現:北極冬季海冰面積創歷史新低 Arctic Winter Sea Ice Ties Record Low, NASA, NSIDC Scientists Find (science.nasa.gov)
297. 頂尖氣候科學家凱特·馬維爾解釋了她為何辭去美國宇航局職務 Top climate scientist Kate Marvel explains why she resigned from NASA (www.scientificamerican.com)
298. 美國財政部計劃在新版紙幣上印上特朗普的簽名 US Treasury plans to put Trump''s signature on new paper currency (apnews.com)
299. OpenChamber – OpenCode AI 智能代理的桌面版和網頁版界面 OpenChamber – Desktop and web interface for OpenCode AI agent (github.com)