7. AST-grep 如何用 Rust 重寫 Tree-sitter 並使其運行速度提升 30% How AST-grep Rewrote Tree-sitter in Rust and Made It 30% Faster (astgrep.com)
12. Show HN: 免費的聖經學習課程,為您講解您所閱讀的每一章內容 Free Bible study that explains every chapter you read (learnofchrist.com)
14. Show HN: HART OS——一款開源人工智能操作系統,旨在讓前沿人工智能無需數據中心 HART OS – an open-source AI OS built so frontier AI needs no datacenter (github.com)
23. Lidl在德國推出歐洲支付方式Wero Lidl Introduces the European Payment Method Wero in Germany (unternehmen.lidl.de)
29. 科學家發現口腔細菌與心臟病及認知能力下降有關 Scientists link oral bacteria to heart disease and cognitive decline (www.wsj.com)
31. 如果大型語言模型(LLMs)通過推理本身“逃脫”了呢?這只是虛構的情節。至少目前是這樣 What if LLMs escape through inferences itself? This is fiction. For now (www.agrillo.it)
32. 今年7月,我被Simple AI(一家深度隸屬於YC的公司)解僱了 This July I Was Fired from Simple AI (A Deeply YC Company) (andys.blog)
34. 浣熊吉米西患有一種罕見的脊柱疾病。這意味著什麼呢? Jimothy the raccoon has a rare spinal condition. Here''s what that means (www.popsci.com)
36. Show HN: CheapSecurity——適用於 Linux 單板計算機的輕量級、自主部署的閉路電視監控系統 CheapSecurity – Lightweight, Self-Hosted CCTV for Linux SBCs (github.com)
40. Wildcard(YC W25)正在招聘一名創始工程師 Wildcard (YC W25) Is Hiring a Founding Engineer (www.ycombinator.com)
44. Htmx 4.0,首個僅在Game Boy平臺上發佈的JavaScript庫 Htmx 4.0, the first JavaScript library to release exclusively on the Game Boy (swag.htmx.org)
47. Hallmark——適用於 Claude Code、Cursor 和 Codex 的反 AI 垃圾內容設計技巧 Hallmark – Anti-AI-Slop Design Skill for Claude Code, Cursor, and Codex (github.com)
49. Ask HN: 對於一名新入學的碩士生來說,哪些強化學習領域最具發展前景? What are the most promising RL fields for a new master student? (news.ycombinator.com)
50. 我學習了PCB設計、3D打印和C語言,僅僅是為了聽音樂 I learned PCB design, 3D printing and C just to listen to music (pentaton.app)
51. Go 分析框架:由 Go 團隊開發的模塊化靜態分析工具 Go Analysis Framework: modular static analysis by go team (pkg.go.dev)
52. 谷歌披露持有941億美元SpaceX股票,持股比例達6% Google Discloses 94.1B in SpaceX Stock, Marking 6% Stake (www.wsj.com)
54. Claude Code 會在 30 天后從您的設備中刪除上下文歷史記錄 Claude Code Deletes Your Context History from Your Device After 30 Days (code.claude.com)
55. 我不會說 Pangram 存在缺陷,但我認為它不夠健壯 I wouldn''t say Pangram is broken, but I would say that it''s brittle (freddiedeboer.substack.com)
56. 一個OpenAI模型留下了關於如何規避封鎖的筆記;我們需要更多細節 An OpenAI model left notes about how to evade containment; we need more details (www.lesswrong.com)
60. 沒有 Stack Overflow,沒有自動補全:80年代編程是什麼感覺 No Stack Overflow, No Autocomplete: What Coding Felt Like in the 80s (comuniq.xyz)
62. Ruff v0.16.0 – 重大更新 – 默認規則從 59 條增加到 413 條 Ruff v0.16.0 – Significant new updates – 413 default rules up from 59 (astral.sh)
65. GrapheneOS 針對鎖定設備的數據提取所採取的防護措施 GrapheneOS protections against data extraction from locked devices (discuss.grapheneos.org)
66. Vision 50 Years Phone——無需獲取root權限,讓舊款安卓手機保持流暢運行 Vision 50 Years Phone – Keeping old Android phones fast without root (github.com)
69. W4ME Station——一款適用於 Java ME 手機的 WASM-4 運行時環境 W4ME Station – a WASM-4 runtime for Java ME phones (github.com)
74. 代理測試流程、大型語言模型基準測試以及關於代理編程的其他筆記 Agentic test processes, LLM benchmarks, and other notes on agentic coding (danluu.com)
75. 阿加莎·克里斯蒂的失蹤:失憶、自殺還是絕望? Agatha Christie''s Disappearance: Amnesia, Suicide, or Despair? (www.historicmysteries.com)
77. 谷歌連續13周都忽略了我的網站,所以我對所有排名高於我的網站進行了分析 Google ignored my site for 13 weeks, so I audited everyone who outranks me (getqrcodepro.com)
78. 新澤西州一處民宅遭隕石撞擊,其內部發現外星世界化學物質 Alien World Chemistry Found Inside Meteorite That Struck New Jersey Home (www.seti.org)
79. Show HN: 18萬詞彙以時間知識圖譜的形式呈現(《Oz》系列) What 180k words look like as a temporal knowledge graph (Oz series) (synaptale.com)
80. Show HN: ZWPlayer——一款支持交互式註釋和字幕搜索的免費播放器 ZWPlayer – Free player with interactive annotations and subtitle search (www.zwplayer.com)
83. Show HN: 我繪製了美國所有高爾夫球場的地圖——超過1.6萬個球場,免費,無需註冊 I mapped every US golf course – 16k courses, free, no signup (golfcoursebrowser.com)
86. TrueBiz(YC S22)——高級軟件工程師——遠程(美國)——全職 TrueBiz (YC S22) – Senior Software Engineer – Remote (US) – Full-Time (news.ycombinator.com)
88. Inflect-Micro-v2:僅需936萬個參數即可實現完整的語音模型 Inflect-Micro-v2: complete voice in 9.36M parameters (huggingface.co)
89. 霍爾木茲海峽附近可能發生入侵物種超級傳播事件 Possible invasive species superspreader event near Strait of Hormuz (abcnews.com)
92. GNU Hurd 新增了 9pfs、OpenNTPD、動態 /dev/ 條目等功能 GNU Hurd gets 9pfs, OpenNTPD, dynamic /dev/ entries, and more (www.osnews.com)
93. DeepSeek因有關與美國計算能力差距的言論洩露而暫停募資(文字記錄)[pdf] DeepSeek pause fundraise after comments on compute gap to US leaked (transcript) [pdf] (github.com)
94. Cloudflare 面向客戶推出的全新 AI 流量管理選項 Cloudflare''s new AI traffic options for customers (blog.cloudflare.com)
96. Show HN: SpinWin——一款用於在 macOS 菜單欄中直觀旋轉或翻轉任意窗口的應用程序 SpinWin – A macOS menu bar app to visually rotate or spin any window (github.com)
97. 隨著最高法院的裁決日益尖銳,一項研究探討了大法官們的讓步 As Supreme Court decisions grow sharper, study examines justices’ concessions (www.umass.edu)
98. 就業形勢如何?區分人工智能的炒作與現實 What is happening to jobs? Separating AI hype from reality (siepr.stanford.edu)
104. 數字智能:人類為何要創造自己無法理解的事物 Digital Intelligence: Why Humanity Created What It Does Not Understand (singularityforge.space)
105. Show HN: Awsmux – 支持多賬戶的 AWS CLI,速度最高可提升 5.4 倍,所需令牌數量減少 7.4 倍 Awsmux – Multi-account AWS CLI, up to 5.4x faster, 7.4x fewer tokens (github.com)
110. 一名77歲的共和黨男子正在獨自抗議“Flock”監控攝像頭 A 77-year-old Republican man is staging a solo protest against Flock cameras (www.cltampa.com)
111. Fedora 45 Atomic Desktops 計劃支持基於 Web 的遠程安裝 Fedora 45 Atomic Desktops Look to Allow for Web-Based Remote Installations (www.phoronix.com)
116. Claude 5 生成模型的上下文工程新規則 The new rules of context engineering for Claude 5 generation models (claude.com)
117. Show HN: Writemark,一個用於內聯 Markdown 編輯的、無需依賴的 Web 組件 Writemark, a dependency free web component for inline Markdown editing (news.ycombinator.com)
120. Show HN: Yorishiro——一個由AI代理棲息的macOS終端 Yorishiro – a macOS terminal where AI agents live (github.com)
122. Show HN: Proxmox - 通過網絡將主機上的藍牙功能共享給虛擬機 Proxmox - Share your host''s Bluetooth with a VM over the network (github.com)
125. 在明尼蘇達州莫里斯市利用風能生產氨和化肥 Producing ammonia and fertiliser using wind power in Morris, Minnesota (ammoniaenergy.org)
126. 旨在摧毀Flock監控攝像頭的自發行動正日益興起 The growing vigilante movement to knock out Flock surveillance cameras (www.theguardian.com)
127. Show HN: Bribes.fyi——出行前請知悉。新增功能 Bribes.fyi – Know before you go. New feature added (bribes.fyi)
129. D-FINE-seg——檢測、實例分割與語義分割合而為一的模型 D-FINE-seg – detection, instance and semantic segmentation in one model (github.com)
130. Tile的安全性差到極點,簡直成了跟蹤狂的利器 Tile''s Security Is So Bad It''s a Feature for Stalkers (blog.adafruit.com)
133. 蘋果是人工智能之王,卻鮮為人知 Apple Is the King of AI and Nobody Knows It (limitededitionjonathan.substack.com)
135. GDID Windows – 阻斷即使在VPN環境下仍會跟蹤你的追蹤器 GDID Windows – Cut the tracker that follows you even under VPN (korben.info)
140. Scanwheel 是一款鼓式機械電視,你可以自己動手組裝 Scanwheel is a drum style mechanical television you can build yourself (github.com)
141. 我的 Mars MIPS 網絡版現已內置 C 編譯器 My web version of Mars MIPS, now have builtin C compiler (webmars.nfiles.top)
142. 風力渦輪機正被用於生產零碳“綠色氨”肥料 Wind turbine is being used to produce zero-carbon "green ammonia" fertilizer (energiesmedia.com)
144. 檢查是否為人類所寫這一做法本身就是荒謬的 The whole premise of checking for human writing is daft (mohammedshehu.com)
146. 開放式AI正迎來它的“Kubernetes時刻”。讓我們別把它搞砸了 Open-weight AI is having its Kubernetes moment. Let''s not ruin it (tobi.knaup.me)
148. 巴西農民將奶牛代幣化以獲得貸款,從而繞過了銀行的限額 Brazilian farmers tokenized dairy cows to get loans, bypassing bank limits (www.coindesk.com)
149. 亞馬遜樹冠橋保障了15,000次動物過路,實現零動物被車輛撞死 Zero roadkill as Amazon canopy bridges secure 15,000 crossings (news.mongabay.com)
150. 人工智能引發的就業危機短期內恐怕不會到來 The AI jobs apocalypse probably isn''t coming anytime soon (www.theguardian.com)
154. 美國企業界突然決定不再在人工智能上揮霍資金 Corporate America Has Suddenly Decided to Stop Blowing Money on AI (www.wsj.com)
160. PyPI 博客:發佈系統現將拒絕 14 天后新增的文件 PyPI Blog: Releases now reject new files after 14 days (blog.pypi.org)
162. 查爾斯·羅斯花了50年時間,在新墨西哥州建造了“星軸”肉眼天文臺 Charles Ross spent 50 yrs building Star Axis naked-eye observatory in New Mexico (www.nytimes.com)
164. 男子因在《上古卷軸5:天際》用戶名中添加“Fus Ro Dah”字符而被判犯有兒童性犯罪 Man convicted of child sex crime by added _ char "Fus Ro Dah" Skyrim username (www.cbc.ca)
169. PartialString——一種基於有限差分時域物理建模的合成器 PartialString – A finite-difference time-domain physical modelling synthesiser (differentinstruments.com)
171. “圖書角”:社區圖書交換點分佈圖 Book Corners: Community map of neighborhood book exchange spots (www.bookcorners.org)
172. 英國AISI/Caisi對基米K3網絡能力的初步評估 UK AISI / Caisi Preliminary Assessment of Kimi K3''s Cyber Capabilities (www.nist.gov)
174. 漢娜·弗萊榮獲2026年度利拉瓦蒂數學普及獎 Hannah Fry Wins the Leelavati Prize in 2026 for Mathematics Outreach (www.maths.cam.ac.uk)
176. 泰勒農場曾致電白宮,試圖推遲對環孢子蟲汙染產品的召回 Taylor Farms Called White House to Try to Delay Cyclospora Recall (www.wsj.com)
178. Show HN: Lucen 是一款通過註釋指令將 for 循環並行化的 Python 編譯器 Lucen a Python compiler that parallelizes for-loops via comment pragmas (github.com)
179. 抹香鯨通過噴出氣泡來獲得安穩的垂直睡眠 Sperm Whales blow bubbles to achieve restful, vertical sleep (news.st-andrews.ac.uk)
180. 通往ε-0之路:Nim遊戲總會結束,即使序數是無限的 The road to epsilon-zero: Nim always ends, even with infinite ordinals (blog.plover.com)
184. Opus 5 目前在“人工智能分析排行榜”上高居榜首 Opus 5 is currently #1 on Artificial Analysis Intelligence Leaderboard (artificialanalysis.ai)
185. Show HN: 我利用真實的石油貿易數據模擬了霍爾木茲海峽被封鎖的情況 I simulated closing the Strait of Hormuz on real oil trade data (globaloilnetwork.staffinganalytics.io)
188. Show HN: Max Studio Tools(適用於 Max 和 Ableton Live 的 C DSP 模塊) Max Studio Tools (C DSP Modules for Max and Ableton Live) (github.com)
191. Drone-Bench:評估前沿模型的簡單無人機監控能力 Drone-Bench: Tracking simple drone surveillance capabilities of frontier models (andonlabs.com)
197. 我讓Codex重新設計了一個頁面;它將我的代碼庫推送到OpenAI的基礎設施上 Asked Codex to redesign a page; it pushed my repo to OpenAI infra (bhanu.io)
202. BGP ORIGIN屬性的操作及其對互聯網的影響 BGP ORIGIN attribute manipulation and its impact on the Internet (blog.cloudflare.com)
204. 英偉達、微軟和Meta警告稱,應避免對開放權重模型進行過度監管 Nvidia, Microsoft, Meta warn against overregulating open-weight models (www.cnbc.com)
207. PySINDy——用於非線性動力系統稀疏識別的軟件包 PySINDy – A package for the sparse identification of nonlinear dynamical systems (github.com)
208. DuckPGQ——一款用於圖計算工作負載的 DuckDB 社區擴展 DuckPGQ – A DuckDB community extension for graph workloads (duckpgq.org)
212. 因此,從 JDK 27 開始,甲骨文的工程師將停止維護 macOS/x64 版本 As of JDK 27, Oracle engineers will thus stop maintaining the macOS/x64 port (openjdk.org)
217. 對OpenAI關於“失控黑客代理”的說法要持懷疑態度 Be skeptical of OpenAI''s rogue hacker agent story (www.theguardian.com)
222. 風險投資家馬克·安德森,娶了……等等,什麼? Marc Andreessen, venture capitalist, married to wait, what? (tyrandus.dev)
223. 面向正確性的前端框架:基於 Effect 構建,採用 Elm 式的架構設計 The front end framework for correctness: built on Effect, architected like Elm (foldkit.dev)
225. 政府下令GitHub下架基於藍牙的聊天應用Bitchat:傑克·多爾西 Government orders GitHub to remove Bluetooth-based chat app Bitchat: Jack Dorsey (www.thehindu.com)
226. 利用 Linux 進程進行高性能網絡仿真 (2022) Co-Opting Linux Processes for High-Performance Network Simulation (2022) (www.usenix.org)
227. 《Mag Computer》:Mag 編撰的 RAM 發展史(1960–2025) Mag Computer: A Mag History of RAM (1960–2025) (magworld.pw)
235. PCI DSS 的 DMARC 要求:第 5.4.1 節的規定 PCI DSS DMARC Requirement: What Section 5.4.1 Requires (dmarcguard.io)
240. 《如此明亮的願景》(1956)——一個關於機器代替人類寫作的故事 [pdf] So bright the vision (1956) a story about machines writing instead of humans [pdf] (s3.us-west-1.wasabisys.com)
248. 伊朗空襲摧毀了八架新生產的MQ-9“死神”無人機 Eight Newly Produced MQ-9 Reaper Drones Destroyed in Iranian Strike (militarywatchmagazine.com)
251. 我嘗試用人工智能開發了一個真正的應用程序。這花了一年時間 I Tried Building a Real App with AI. It Took a Year (www.alexhyett.com)
252. 我的安防攝像頭在其登錄頁面中洩露了一個 GitHub 管理員令牌 My security camera shipped a GitHub admin token in its login page (hhh.hn)
253. 符合 ISO 3166-1 alpha-2 國家代碼的編程語言文件擴展名 Programming language file extensions that match ISO 3166-1 alpha-2 country code (www.bruh.ltd)
254. 印度首枚由私營企業研製的火箭在首次發射中驚豔亮相,成功進入軌道 India''s first privately-developed rocket reaches orbit on dramatic debut launch (arstechnica.com)
255. 伊朗革命衛隊聲稱已摧毀亞馬遜位於巴林的數據中心 IRGC Claims It Destroyed Amazon''s Bahrain Data Center (houseofsaud.com)
256. Show HN: 音頻播放器,內置與您的音樂調性相同的“雙耳節拍” Audio Player with "Binaural Beats" tuned to the same key as your music (github.com)
260. Tangleflow:將 GitHub Actions 工作流轉換為 Tangle 工作流,反之亦然 Tangleflow: Converts GitHub Actions workflows to tangled workflows and back (github.com)
261. Game of Trees——由 OpenBSD 團隊開發的基於 Git 的版本控制系統 Game of Trees – Git-based version control from OpenBSD folks (www.gameoftrees.org)
262. Mohabi:Firefox JavaScript 引擎的拆分與沙箱化 Mohabi: Disaggregating and Sandboxing the Firefox JavaScript Engine (www.usenix.org)
264. Buz——基於 Bun 的分支,採用現代版 Zig,增量構建時間不到 1 秒 Buz – A fork of Bun using modern Zig, with sub-1s incremental builds (ziggit.dev)
266. 計算化學,本地運行?我在SSH上的吐槽 Computational chemistry, Locally? My rant on SSH (chillphysicsenjoyer.substack.com)
268. Show HN: 一個支持巴西葡萄牙語的靜態客戶端塔羅牌計算器 A static, client-side tarot calculator for Brazilian Portuguese (meuarcanopessoal.net)
278. 烏克蘭對Wildberries的攻擊給俄羅斯企業帶來壓力 Russia''s businesses under strain from Ukraine''s attacks on Wildberries (www.bbc.com)
279. PImpl 慣用法與 C26 中的 std:indirect 類型 The PImpl idiom and the C26 std:indirect type (mariusbancila.ro)
280. Stripe 正就以約 100 億美元收購 OpenRouter 一事進行談判 Stripe in talks to buy OpenRouter for about 10B (twitter.com)
286. 對大多數美國司機而言,電動汽車既能減少排放,又能節省開支 For most US drivers, EVs offer emissions benefits and cost savings (news.mit.edu)
287. 計算機歷史博物館中的 Modula-3 歷史收藏 Modula-3 History Collection on Computer History Museum (softwarepreservation.computerhistory.org)
291. 索尼為何無法重推其經典Walkman機型 Why Sony can''t bring back its classic Walkman models (obsoletesony.substack.com)
292. Plex的企業化傾向:為何現在可能是轉向Jellyfin的時候了 The Corporate Creep of Plex: Why it may be time to move to Jellyfin (reprodev.com)
294. 警方將幾位知名科學家從ADA會議上帶離。研究人員作出回應 Police Removed Prominent Scientists from the ADA Meeting. Researchers Respond (www.the-scientist.com)
296. Fractl.art——一款擁有8奧克蒂利昂種不同圖案的分形生成器 Fractl.art – a fractal generator with 8 octillion different patterns (fractl.art)
298. A24:版權方是否對《Backrooms》的藝術作品發起維權?這些作品的創作時間早於電影本身 A24 Is Copyright Striking Backrooms Artwork Older Than the Movie (www.thegamer.com)