3. 我在阿塔卡馬沙漠的一座廢棄礦井中發現了超高純度的量子晶體 I Found Ultra-Pure Quantum Crystals in an Abandoned Mine in the Atacama Desert (medium.com)
6. 迷你版“沙伊-胡魯德”捲土重來:314個npm包遭入侵 Mini Shai-Hulud Strikes Again: 314 npm Packages Compromised (safedep.io)
8. Show HN: 我開發了一套主權操作系統、L1區塊鏈、AI代理和語言系統 I built a sovereign OS, L1 blockchain, AI agent, and language (github.com)
12. LLMCap – 一個代理,當達到美元限額時會強制停止 LLM API 調用 LLMCap – A proxy that hard-stops LLM API calls when you hit a dollar cap (www.llmcap.io)
16. Show HN: Hsrs – 面向 Rust 的類型安全 Haskell 綁定生成器 Hsrs – Type-Safe Haskell Bindings Generator for Rust (github.com)
18. Sieve – 掃描 Cursor/Claude 的聊天記錄以查找洩露的 API 密鑰 Sieve – scans Cursor/Claude chat history for leaked API keys (apps.apple.com)
26. 數據中心餘熱作為一種新興的城市熱風險 Data Center Waste Heat as an Emerging Urban Thermal Hazard (asmedigitalcollection.asme.org)
28. 微軟推出首款服務器版Linux發行版:Azure Linux 4.0,令人驚喜 Microsoft surprises with its first server Linux distribution: Azure Linux 4.0 (www.zdnet.com)
29. 正則表達式國際象棋:一個由84,688個正則表達式組成的兩步迷你馬克斯國際象棋引擎 Regex Chess: A 2-ply minimax chess engine in 84,688 regular expressions (nicholas.carlini.com)
31. 大型語言模型(Qwen 3.5)內部的政治審查現象 What political censorship looks like inside an LLM''s weights (Qwen 3.5) (vas-blog.pages.dev)
33. Anthropic聯合創始人將與教皇利奧十四世共同發佈人工智能通諭 Anthropic co-founder to present AI encyclical alongside Pope Leo XIV (www.vaticannews.va)
34. Show HN: 《Number Gacha》——一款精煉至極致的扭蛋遊戲 Number Gacha, a gacha game distilled to its essence (isabisabel.com)
37. 地球的無線電氣泡:我們曾向太空發送過的每一條信號 Earth''s Radio Bubble: Every signal we''ve ever sent into space (www.thescientificdrop.com)
38. 一名用戶利用“Claude”成功入侵墨西哥政府系統,竊取150 GB數據 Mexican government breached by solo user with Claude, 150 GB exfiltrated (konstantintkachuk.com)
40. 對齊預訓練:AI話語製造了自我實現的(失)對齊 Alignment pretraining: AI discourse creates self-fulfilling (mis)alignment (arxiv.org)
42. 美國一項法案提議開徵新的全國性電動汽車稅,而另一些人則主張將汽油稅降至零 US bill proposes new national EV tax, while some push to slash gas tax to zero (electrek.co)
47. Show HN: 我們懷念 Winamp,於是為 macOS 開發了一款音頻播放器 We missed Winamp, so we built an audio player for macOS (www.advanced-research.net)
49. Shutterstock因難以取消的訂閱服務將支付3500萬美元 Shutterstock to pay 35M over hard-to-cancel subscriptions (www.ftc.gov)
50. 聯邦調查局希望購買覆蓋全美的車牌識別系統 The FBI Wants to Buy Nationwide Access to License Plate Readers (www.404media.co)
51. 多語言Lisp:Common Lisp、Racket、Clojure、Emacs Lisp Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp (hyperpolyglot.org)
56. Stratum:基於3D堆疊式DRAM的系統-硬件協同設計,實現高效Moe Stratum: System-Hardware Co-Design with 3D-Stackable DRAM for Efficient Moe (dl.acm.org)
57. 據報道,剛果(金)埃博拉疫情已造成至少100人死亡 At least 100 deaths reported in Ebola outbreak in DR Congo (www.bbc.com)
58. 通過 LP、FUSE、C/R 和 CUDA-checkpoint,將推理冷啟動時間縮短了 40 倍 Cutting inference cold starts by 40x with LP, FUSE, C/R, and CUDA-checkpoint (modal.com)
59. 伊朗將在霍爾木茲海峽對海底互聯網光纜徵收費用 Iran will impose fees on subsea internet cables in Strait of Hormuz (www.cnn.com)
60. 安杜瑞爾與Meta致力於研發軍用智能眼鏡 Anduril and Meta''s quest to make smart glasses for warfare (www.technologyreview.com)
62. 埃隆·馬斯克對山姆·阿爾特曼和OpenAI提起的訴訟敗訴 Elon Musk has lost his lawsuit against Sam Altman and OpenAI (techcrunch.com)
63. 風險投資機構YC的首席執行官加里·譚指責我的報道有失職業道德 Garry Tan, the CEO of venture YC, accused me of unethical reporting (radleybalko.substack.com)
64. 伊朗在霍爾木茲海峽推出以比特幣為支撐的船舶保險 Iran Starts Bitcoin-Backed Ship Insurance for Hormuz Strait (www.bloomberg.com)
68. 兩臺電腦,一臺顯示器,無需折騰——亞歷克斯·普萊斯坎 Two computers, one monitor, zero fiddling – Alex Plescan (alexplescan.com)
69. Show HN: InsForge – 面向編程代理的開源版 Heroku InsForge – Open-source Heroku for coding agents (github.com)
70. 我正在開發的一個 Rust-Python 項目。Apache 2.0 許可證 A Rust-Python thing I am working on. Apache 2 licence (github.com)
71. 20年來,斯蒂芬·科爾伯特一直致力於區分“真相”與“似是而非” For 20 years, Stephen Colbert distinguished truth from truthiness (www.npr.org)
73. 研究人員希望幼兒園教師佩戴攝像頭以訓練人工智能 Researchers Wanted Preschool Teachers to Wear Cameras to Train AI (www.404media.co)
75. Infisical(YC W23)正在招聘全棧軟件工程師(遠程工作) Infisical (YC W23) Is Hiring Full Stack Software Engineers (Remote) (jobs.ashbyhq.com)
76. 我們利用 Git 的 –author 參數,成功阻止了 GitHub 倉庫中的 AI 機器人垃圾信息 We stopped AI bot spam in our GitHub repo using Git''s –author flag (archestra.ai)
77. “亞馬遜供應鏈服務”向我們揭示了亞馬遜的本質 What "Amazon Supply Chain Services" Tells Us About What Amazon Is (gadallon.substack.com)
82. 1024000² 塊,2B2T《我的世界》服務器世界下載項目及發現 10240002 Blocks, 2B2T Minecraft Server World Download Project, and Discoveries (github.com)
88. Domo首席數據官表示:別再被AI熱潮衝昏頭腦,放慢腳步吧 Enough with the AI FOMO, go slow-mo, says Domo CDO (www.theregister.com)
90. 本尼迪克特·埃文斯:《人工智能吞噬世界》(2026年春季)[pdf] Benedict Evans: AI eats the world (Spring 26) [pdf] (static1.squarespace.com)
91. 好時押注Agentic AI,重塑20億美元營銷預算 Hershey Bets on Agentic AI to Rethink 2B in Marketing Spend (www.adweek.com)
94. 猶他州議員團結一致,推動禁止預測市場 Utah lawmakers form united front in push to ban prediction markets (www.theguardian.com)
95. 世衛組織宣佈埃博拉病毒疫情構成國際公共衛生緊急事件 WHO declares major outbreak of Ebola virus species an international emergency (www.science.org)
97. 埃裡克·施密特在畢業典禮上關於人工智能的演講遭到噓聲 Eric Schmidt speech about AI booed during graduation (www.nbcnews.com)
98. 我實現了500個數據中介網站的自動退訂功能(開源) I automated opt-outs for 500 data broker sites (open source) (github.com)
100. 全球生育危機可能比你想象的還要嚴重 The Global Fertility Crisis Is Worse Than You Probably Think (www.derekthompson.org)
102. 美國宇航局至今仍保留著部分上世紀70年代“旅行者”號航天器的源代碼 NASA still maintains some of the Voyager spacecraft code from the 70s era (spacedaily.com)
105. 可證明安全操作系統(PSOS)的基礎(1979)[pdf] The foundations of a provably secure operating system (PSOS) (1979) [pdf] (www.csl.sri.com)
106. 多名畢業典禮演講者因在致辭中提及人工智能而遭到噓聲 Multiple commencement speakers booed for AI comments during graduation speeches (www.nbcnews.com)
108. 那場持續30小時的值班,讓聖何塞的一家機器人實驗室成為了全球矚目的焦點 The 30-Hour Shift That Turned a San Jose Robot Lab into a Global Spectacle (beeble.com)
109. 無人發聲:為何工程師們總在為時已晚時才開口 Nobody Pushed Back: Why Engineers Stay Silent Until It''s Too Late (howtocenterdiv.com)
110. 哥倫比亞歌手夏奇拉在西班牙被判無罪,免於逃稅指控 Colombian singer Shakira acquitted of tax fraud in Spain (www.reuters.com)
112. 為什麼谷歌地圖又開始顯示阿爾塔迪納的舊衛星圖像了? Why is Google Maps back to showing old satellite images of Altadena? (www.reddit.com)
114. 為什麼 Bambu Studio 中的 bambu_networking 違反了 AGPL 協議 Why bambu_networking violates the AGPL in Bambu Studio (github.com)
117. 在首次核試驗的殘骸中發現了晶體 Crystals found inside wreckage from the first nuclear bomb test (www.scientificamerican.com)
118. 埃蒂安·吉斯:《字母的形態:從列奧納多·達·芬奇到唐納德·克努斯》 Étienne Ghys: The Shape of Letters: From Leonardo da Vinci to Donald Knuth (www.youtube.com)
119. Freelang——一種不依賴 Libc、直接調用系統/內核的語言,具有奇特的併發特性 Freelang – a Libc-free, direct sys/kernel call language with weird concurrency (freelang.dev)
120. 除英語和西班牙語外,美國使用最廣泛的語言 America''s Most-Spoken Languages After English and Spanish (www.visualcapitalist.com)
121. Show HN: Mezz:一款適用於物聯網滲透測試的可定製化 Wi-Fi 沙箱 Mezz, a curl-able WiFi sandbox for IoT pentesting (github.com)
122. 美國的石油時代正在崩塌。接下來可能會是一片狼藉 The American epoch of oil is collapsing. What comes next could be ugly (www.theguardian.com)
125. 大多數美國人不信任人工智能——也不信任那些負責管理它的人 Most Americans don''t trust AI – or the people in charge of it (www.theverge.com)
127. 技術文章:16字節的x86代碼,將《黑客帝國》中的雨聲轉化為音頻 WriteUp: 16 Bytes of x86 that turn Matrix rain into sound (hellmood.111mb.de)
129. 科學家查明導致海豹慘死事件的“螺旋殺手” Scientists ID ''corkscrew killer'' behind gruesome seal deaths (www.science.org)
133. Fabricked:通過錯誤配置 Infinity Fabric 來破壞 AMD SEV-SNP Fabricked: Misconfiguring Infinity Fabric to Break AMD SEV-SNP (xca-attacks.github.io)
134. ThinkPad:從IBM的便當盒到聯想的AI工作站 ThinkPad: From IBM''s Bento Box to Lenovo''s AI Workstations (www.jdhodges.com)
135. 兩架EA-18戰鬥機在芒廷霍姆航空展上相撞,飛行員已安全彈射逃生 Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely (idahonews.com)
136. “問問宇航員”:333小時的宇航員問答視頻 Ask an Astronaut: 333 hours of Q&A footage with astronauts (askanastronaut.issinrealtime.org)
138. 人工智能可穿戴設備即將問世,但要想生存下去,它們必須通過“咖啡館測試” AI Wearables Are Coming but They''ll Need to Pass the Coffee Shop Test to Survive (www.inc.com)
141. 新噩夢來襲:車流中的卡車“3D”動畫廣告 New Nightmare Just Dropped: ''3D'' Animated Ads on Trucks in Traffic (www.thedrive.com)
142. VoIP讓老式公用電話重返佛蒙特州農村 VoIP Brings Back Old-Fashioned Pay Phones to Rural Vermont (spectrum.ieee.org)
143. 哥斯達黎加雲霧林中的多物種樹冠層廁所 Multi-Species Canopy Latrines in Costa Rican Cloud Forests (onlinelibrary.wiley.com)
144. Show HN: Semble——一款面向代理的代碼搜索工具,其使用的令牌數量比 grep 少 98% Semble – Code search for agents that uses 98% fewer tokens than grep (github.com)
145. 魔幻現實主義:《北方故事》25週年(2015) Magical Realism: "Northern Exposure" 25 Years Later (2015) (www.rogerebert.com)
147. 科學家利用一種能儲存太陽能的液態電池,實現了“將太陽裝進瓶子” Scientists "bottle the sun" with a liquid battery that stores solar energy (www.sciencedaily.com)
150. Schanuel 猜想與 Triton 的 FPSan 語義 Schanuel''s Conjecture and the Semantics of Triton''s FPSan (cp4space.hatsya.com)
151. 歐盟正考慮限制使用美國雲平臺處理敏感政府數據 EU weighs restricting use of US cloud platforms to process sensitive gov data (www.osnews.com)
152. Mercurial,20年並仍在延續:我們為何依然生機勃勃?[視頻] Mercurial, 20 years and counting: how are we still alive and kicking? [video] (fosdem.org)
153. 應科威特方面要求,Meta 刪除了一個擁有100萬粉絲的熱門賬號 Meta deletes popular 1M follower account after Kuwaiti request (twitter.com)
156. 互聯網上的年齡驗證:身份、隱私與驗證的侷限性 Age Assurance on the Internet: Identity, Privacy, and the Limits of Verification (sphericalcowconsulting.com)
157. Mistral首席執行官:歐洲還有兩年時間,必須阻止自己淪為美國的AI“附庸國” Mistral''s CEO: Europe has 2 years to stop becoming America''s AI ''vassal state'' (www.businessinsider.com)
159. 適用於基於 x64 系統的 Windows 8.1 兼容性更新 Legacy Update for Windows 8.1 for x64-based Systems (legacyupdate.net)
160. 芝加哥最著名的酒館老闆薩姆·西亞尼斯去世了 Sam Sianis, Chicago''s most famous saloonkeeper, has died (www.chicagotribune.com)
162. 我把一臺售價80美元的RK3562安卓平板電腦改裝成了Debian Linux工作站 I turned a 80 RK3562 Android tablet into a Debian Linux workstation (github.com)
165. 安全研究人員稱微軟在BitLocker中植入了後門,併發布了利用程序 Security researcher says Microsoft built a Bitlocker backdoor, releases exploit (www.techspot.com)
166. 科學家認為,伊博加因有助於退伍軍人克服創傷後應激障礙 Scientists believe ibogaine can help veterans overcome PTSD (www.bbc.com)
169. 世衛組織宣佈埃博拉疫情為國際關注的突發公共衛生事件 WHO Declares Ebola Outbreak a Global Health Emergency (www.nytimes.com)
170. 每一份 AI 訂閱對企業而言都是一顆定時炸彈 Every AI Subscription Is a Ticking Time Bomb for Enterprise (www.thestateofbrand.com)
172. 我不認為人工智能會讓你的流程變得更快 I don''t think AI will make your processes go faster (frederickvanbrabant.com)
179. 在不佔用 CPU 資源的情況下,在 Amiga 上播放 Atari ST 音樂 Playing Atari ST Music on the Amiga with Zero CPU (arnaud-carre.github.io)
182. 《腳踏車時代的黃昏:林型排字機時代之前的排版競賽》 Twilight of the Velocipede: Typesetting Races Before the Age of Linotype (publicdomainreview.org)
183. Mozilla 致英國監管機構:VPN 是保障隱私和安全不可或缺的工具 Mozilla to UK regulators: VPNs are essential privacy and security tools (blog.mozilla.org)
186. 克洛維斯文化的工具製造者為何選擇加工難度較大的石英晶體? Why did Clovis toolmakers choose difficult quartz crystal? (phys.org)
187. 特斯拉太陽能屋頂正處於垂死邊緣,目前正轉向太陽能板業務 Tesla Solar Roof is on life support as it pivot to panels (electrek.co)
191. 黃石國家公園附近的垃圾堆裡,防熊噴霧正大量出現 Bear spray is exploding in the trash near Yellowstone National Park (www.sfgate.com)
196. 菲斯克破產後,車主們從廢墟中重建了一家開源汽車公司 Fisker went bankrupt and owners built an open source car company from the ashes (electrek.co)
198. asp-classic-emulator:在 macOS、Linux 和 BSD 上運行 ASP Classic asp-classic-emulator: Run ASP Classic on macOS, Linux and BSD (github.com)
202. Zerostack——一款採用純Rust語言編寫、受Unix啟發的編程代理 Zerostack – A Unix-inspired coding agent written in pure Rust (crates.io)
203. 我試圖讓克勞德通過阿爾戈拉的賞金任務(數據和工具)幫我賺錢 I tried to make Claude make me money on Algora bounties (data and tool) (github.com)
208. 首個自動定理證明器的復活(源自1956年) Reanimation of the First Automatic Theorem Prover (From 1956) (github.com)
209. OpenAI 與馬耳他合作,向全體公民提供 ChatGPT Plus 服務 OpenAI and Malta partner to bring ChatGPT Plus to all citizens (openai.com)
210. Show HN: 每日氛圍編碼視頻遊戲,第33天:塔防(單一提示) Daily vibe-coding video games, day 33: Tower Defense (single prompt) (gamevibe.us)
215. 美國開始出現人工智能相關崗位的大規模裁員 US Is Starting to See Heavy Job Losses in Roles Exposed to AI (www.bloomberg.com)
217. 《名聲!一場誤會:阿爾貝·加繆筆記全集新譯本》 Fame! A Misunderstanding: A new translation of Albert Camus''s complete notebooks (lareviewofbooks.org)
218. 鎧俠與戴爾將10 PB存儲容量塞進纖薄的2RU服務器中 Kioxia and Dell cram 10 PB into slim 2RU server (www.blocksandfiles.com)
219. Show HN: Rocksky – 基於 AT 協議的音樂記錄與發現 Rocksky – Music scrobbling and discovery on the AT Protocol (tangled.org)
220. 彈劾所有支持“統一行政權理論”的聯邦法官和最高法院大法官 Impeaching Every Federal Judge and Justice Who Endorsed Unitary Executive Theory (cmarmitage.substack.com)
222. 這種時尚崩盤現象有個名字,而他正在亞馬遜上兜售癌症治療建議 Mode collapse has a name, and he''s selling cancer treatment advice on Amazon (danielmay.co.uk)
225. 特斯拉披露兩起涉及遠程操作員的機器人出租車事故 Tesla reveals two Robotaxi crashes involving teleoperators (techcrunch.com)
226. 一支澳大利亞青少年團隊如何讓學校負擔得起射電天文學 How an Australian Teen Team Is Making Radio Astronomy Affordable for Schools (mag.openrockets.com)
227. DeepSeek-V4-Flash 意味著大型語言模型(LLM)的引導技術再次引起關注 DeepSeek-V4-Flash means LLM steering is interesting again (www.seangoedecke.com)
229. 時隔8年,我重寫了我的開源 PyTorch 曲率庫 After 8 years, I rewrote my open-source PyTorch curvature library (github.com)
236. 一位Meta員工直言不諱地講述了在那裡工作的恐怖經歷 A Meta employee gets real about the horror of working there (sfstandard.com)
237. SANA-WM:一個用於生成1分鐘720p視頻的26億像素開源世界模型 SANA-WM, a 2.6B open-source world model for 1-minute 720p video (nvlabs.github.io)
241. OpenClaw 創始人30天內斥資130萬美元購買 OpenAI 代幣 OpenClaw Creator Spent 1.3M on OpenAI Tokens in 30 Days (twitter.com)
242. 歐洲建設主權雲以擺脫美國的控制,卻忽略了處理器的問題 Europe built sovereign clouds to escape US control. Forgot about the processors (www.theregister.com)
243. 自閉症患者接受糞便移植在臨床試驗中取得成功 Fecal transplants for autism deliver success in clinical trials (refractor.io)
246. 近50年後,《辛辛那提WKRP電臺》成為了一家真正的廣播電臺 Nearly 50 Years Later, WKRP in Cincinnati Becomes a Real Radio Station (www.openculture.com)
252. 有人將一幅真正的莫奈畫作偽裝成AI生成的作品並徵求評價 Someone Shared a Real Monet Painting as AI and Asked for Critiques (petapixel.com)
253. Show HN: 60秒內完成代碼庫審核的人工智能 AI that audits your codebase in 60 seconds (triyambakam-apex-corp.hf.space)
257. 加利福尼亞州的太陽能電池陣列發電量相當於12座核電站 California''s Battery Array Is as Powerful as 12 Nuclear Power Plants (zolairenergy.com)
259. 關於黴菌汙染對模擬磁帶音質影響的研究 Research on mildew contamination affecting the sound quality of analog tapes (www.nature.com)
260. Orthrus-Qwen3:在Qwen3上每步最多可處理7.8個令牌,輸出分佈與原版完全一致 Orthrus-Qwen3: up to 7.8tokens/forward on Qwen3, identical output distribution (github.com)
264. 我從日本買了一臺“破”PSP:過程是這樣的 I Bought a "Junk" PSP from Japan: Here''s How It Went (gardinerbryant.com)
267. “無法預防這種情況,”唯一起到這種情況的包管理器如是說 ''No Way to Prevent This,'' Says Only Package Manager Where This Regularly Happens (kevinpatel.xyz)
270. Show HN: Epiq – 基於分佈式 Git 的問題跟蹤器 TUI Epiq – Distributed Git based issue tracker TUI (ljtn.github.io)
271. ESP-EEG 是一款價格實惠的 8 通道生物傳感板 ESP-EEG is an affordable 8-channel biosensing board (www.autodidacts.io)
272. 關於P2P冰毒,最主要的一點是它的數量非常龐大(2022年) The main thing about P2P meth is that there''s so much of it (2022) (dynomight.net)
276. 一種專為事件溯源設計的、受SQL啟發的查詢語言(2025) A SQL-Inspired Query Language Designed for Event Sourcing (2025) (yoeight.github.io)
278. Waymo無人駕駛汽車因故障被困在亞特蘭大郊區 Waymo driverless cars become trapped in Atlanta suburb after glitch (www.bbc.com)
280. Terra API(YC W21)招聘:應用人工智能策略師(健康智能) Terra API (YC W21) Hiring: Applied AI Strategist (Health Intelligence) (www.ycombinator.com)
282. 倫敦警方首次在抗議活動中部署人臉識別技術 London Police Deploy Facial Recognition at Protest for First Time (reclaimthenet.org)
283. Mitchellh – 我堅信,如今已有整家公司深陷人工智能狂熱之中 Mitchellh – I strongly believe there are entire companies now under AI psychosis (twitter.com)
284. Palantir 已聘請了 30 多名英國政府高級官員 Palantir has hired more than 30 senior UK Government officials (www.thenational.scot)
285. 加州一項法案擬規定,當網絡遊戲停運時,必須提供補丁或退款 California bill would require patches or refunds when online games shut down (arstechnica.com)
286. 特雷弗·豪薩姆有限公司:19世紀與20世紀的裝飾道具及壁紙 Trevor Howsam Limited: 19th- and 20th-Century Props and Wallpaper (trevorhowsam.com)
288. Meta將因其投資100億美元的路易斯安那州數據中心獲得33億美元的稅收減免 Meta to receive 3.3B in tax breaks for its 10B Louisiana data center (fortune.com)
291. Show HN: Claude Code 與 Codex 全球使用排行榜 Claude Code vs. Codex Global Usage Leaderboard (costhawk.ai)
293. 法官禁止Kars4Kids在加利福尼亞州播放“誤導性”廣告 Judge Bars Kars4Kids from Broadcasting ''Misleading'' Ads in California (www.nytimes.com)
294. 美國廣播公司新聞網已將所有FiveThirtyEight的文章下線 ABC News has taken all FiveThirtyEight articles offline (twitter.com)
297. Waymo召回3,800輛自動駕駛出租車,因其駛入積水路段 Waymo recalls 3,800 robotaxis after they drive into flood waters (www.cnbc.com)
298. Feedr v0.8.0 – 一款基於終端界面的 RSS 閱讀器,現在您可以在終端中閱讀全文了 Feedr v0.8.0 – a TUI RSS reader, now read the full article from your terminal (github.com)
299. Bun Rust 重寫:"代碼庫未能通過基本的 Miri 檢查,在 ''''safe rust'''' 模式下允許未定義行為" Bun Rust rewrite: "codebase fails basic miri checks, allows for UB in safe rust" (github.com)
300. 美國司法部要求蘋果和谷歌披露一款汽車改裝應用的逾10萬名用戶身份 U.S. DOJ demands Apple and Google unmask over 100k users of car-tinkering app (macdailynews.com)