1. 行業簡報:面向製造業和工業場所的私有5G [pdf] Industry Brief: Private 5G for Manufacturing and Industrial Sites [pdf] (framerusercontent.com)
2. Show HN: 通過編寫一個 Markdown 到 HTML 編譯器來學習 Rust Learning Rust by writing a Markdown to HTML compiler (andreadimatteo.com)
3. 無需 Prometheus 和 Grafana 的輕量級 Spring Boot 監控 Lightweight Spring Boot Monitoring Without Prometheus and Grafana (pvrlabs.xyz)
5. Hubbele:專為您和您的代理設計的開源筆記應用 Hubbele: Open-source notetaking app for you and your agents (www.hubble.md)
8. Show HN: 通過 WebGPU 在瀏覽器中運行 Manim(3Blue1Brown 的動畫引擎) Manim (3Blue1Brown''s animation engine) in the browser via WebGPU (studio.academa.ai)
9. 各校正引入配備胡椒噴霧的無人機,以協助應對槍擊事件 Schools are adding pepper-spraying drones to help combat active shooters (www.washingtonpost.com)
11. Leeaky 幫你發現那些蠶食旅行預算的隱藏費用 Leeaky Catches hidden fees draining your travel budget (leeaky.vercel.app)
13. 類型檢查器可能出錯——精簡編程與柯里-霍華德對應定理 Type checker may be wrong – Lean and the Curry-Howard correspondence (max-amb.github.io)
14. 研究人員警告:水下氧氣流失威脅地球穩定性 Underwater Oxygen Loss Threatens Earth''s Stability, Researchers Warn (scripps.ucsd.edu)
15. Show HN: 我厭倦了每次點擊 HN 鏈接都要打開兩個標籤頁,於是寫了一個用戶腳本 I was tired of opening 2 tabs for every HN link, so I made a userscript (github.com)
18. Anthropic 發佈了一項針對 HAWK-256 的實用密鑰恢復攻擊 Anthropic publishes a practical key-recovery attack on HAWK-256 (github.com)
27. Hulios:一款基於 eBPF 的、適用於 Linux 的透明 Tor 網關 Hulios: An eBPF-powered, transparent Tor gateway for Linux (github.com)
32. 目前已知的最先進的機器人維修衛星 The most advanced robotic servicing satellite–that we know about (arstechnica.com)
33. MCP 2026-07-28 規範:傳輸轉為無狀態 MCP 2026-07-28 Specification: transport going stateless (blog.modelcontextprotocol.io)
35. 在另一臺 Linux 工作站上使用遊戲電腦中的 RTX 5070 顯卡 Using a Gaming PC''s RTX 5070 from a separate Linux workstation (stephenkrings.com)
39. WOFF 1.0:W3C在網絡字體發展歷程中的一個里程碑 WOFF 1.0: a milestone on W3C''s journey of fonts on the web (www.w3.org)
40. 編程工具 MCP(v0.2.2):讓任何 AI 聊天機器人或智能代理都能直接操作您的代碼 Coding Tools MCP (v0.2.2):Give any AI chat or agent a pair of hands on your code (github.com)
41. 我僅用一個週末就用Vibe編寫了一個旅行應用,安全掃描發現其中存在8個嚴重漏洞 I vibe-coded a travel app in a weekend, security scan found 8 critical flaws (github.com)
43. 現在正是讓大型語言模型(LLMs)訪問ACM數字圖書館的時候 Now Is the Time to Give LLMs Access to the ACM Digital Library (cacm.acm.org)
44. Una Watch:Garmin智能手錶的競爭對手,但支持維修,擁有開放的生態系統並配備USB-C接口 Una Watch: Garmin watch competitor but repairable, open ecosystem and USB-C (unawatch.com)
45. Xenharmlib(音樂理論庫)新增對純律的支持 Xenharmlib (music theory library) adds support for Just Intonation (xenharmlib.readthedocs.io)
50. Show HN: Flashpaper——無需數據庫的自毀式秘密共享 Flashpaper – Self-destructing secret sharing with no database (flashpaper.app)
52. Show HN: XY——採用Rust語言編寫,快速、可組合且支持GPU加速的圖表工具 XY – Fast, composable, GPU-accelerated charts, written in Rust (github.com)
53. 延遲滿足——以“最後報道突發新聞”為榮 Delayed Gratification – Proud to Be ''Last to Breaking News'' (www.slow-journalism.com)
56. 停止扼殺互聯網:不要數字身份,不要年齡驗證 Stop Killing the Internet: No Digital ID and No Age Verification (citizens-initiative.europa.eu)
57. Show HN: Base-GPUI:Base UI 無界面組件的 GPUI 移植版 Base-GPUI: A GPUI port of Base UI headless components (github.com)
58. 歐洲的超級富豪有望為歐盟預算提供相當大一部分資金 Europe''s Ultra-Rich Could Fund a Substantial Part of the EU''s Budget (www.socialeurope.eu)
59. 意大利封鎖了生殖健康網站“Women on Web”和“Women Help Women” Italy Blocks Reproductive Health Websites Women on Web and Women Help Women (ooni.org)
61. 《和諧論:邁向音樂科學理論的進程》(2012) Harmony Explained: Progress Towards a Scientific Theory of Music (2012) (arxiv.org)
62. GrapheneOS 為其阻止美國邊境搜查的數據清除功能進行辯護 GrapheneOS Defends Data-Wiping Function That Blocked US Border Search (www.pcmag.com)
63. 在 Apple M5 Pro 機器上,當“網絡模式”設置為“橋接”時,虛擬機無法啟動 VMs can''t boot with Network Mode set to Bridged on Apple M5 Pro machines (github.com)
65. Ask HN: Crooked Timber 向我展示了一個病毒式驗證碼,現在該怎麼辦? Crooked Timber showed showed me a virus captcha, What now? (news.ycombinator.com)
67. 為何一位身家1540億美元的CEO竟支持剝奪大多數美國人的投票權 Why a 154B CEO just endorsed stripping most Americans of voting rights (fortune.com)
71. 《多爾門伍德》:一款基於廣受好評的《老派精髓》規則體系打造的奇幻角色扮演遊戲 Dolmenwood: Fantasy RPG built around the acclaimed Old-School Essentials rules (necroticgnome.com)
72. 超過15萬趟航班:航空公司剛剛迎來了有記錄以來最繁忙的一天 Over 150k Flights: Airlines Just Flew the Busiest Day in Recorded History (simpleflying.com)
73. Show HN: Vivari——適用於 Node、Bun 和 Python 的開源 WebContainer Vivari – Open-Source WebContainer for Node, Bun, and Python (vivari.jamesisme.com)
75. Show HN: Ctrlb-decompose:在將日誌發送給大型語言模型(LLMs)之前,先去除其中的噪聲 Ctrlb-decompose: Strip the noise from logs before sending to LLMs (github.com)
76. 新型艾滋病疫苗在臨床前研究中取得空前成功 New HIV vaccine shows unprecedented success in preclinical study (www.lji.org)
77. Show HN: 經過形式驗證的 3D CSG:相信那 93 行規格說明,而不是 1000 行 AI 代碼 Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com)
79. Show HN: Segue – 在一個 AI 中保存上下文,並通過一個簡短的標識符在另一個 AI 中加載該上下文 Segue – Save context in one AI, load it in another by a short handle (segue.ai)
80. Show HN: 我離開了 VSCode,開始開發一款能夠處理多個項目/代理工作流的集成開發環境(IDE) I left VSCode to build an IDE to handle many projects/agents workflow (github.com)
83. 快速修復是新的信任模式(JFrog 和 OpenAI 的零日漏洞發現) Fast Remediation Is the New Trust Model (JFrog and OpenAI Zero-Day Findings) (jfrog.com)
84. Kimi Linear:一種表現力強且高效的注意力架構 Kimi Linear: An Expressive, Efficient Attention Architecture (arxiv.org)
85. Show HN: 開源項目 Cloudflare 部署了基於代理的原生任務管理和維基系統 Open-source Cloudflare deployed agent native task management and wiki (tajd.github.io)
86. Usenet 存檔工具包——將 Usenet 消息處理成可搜索的存檔 Usenet Archive Toolkit – process Usenet messages into a searchable archive (github.com)
87. DMARC 自 2012 年起便已公開。仍有 68.4% 的域名未對其進行強制執行 DMARC Has Been Public Since 2012. 68.4% of Domains Still Don''t Enforce It (ciphercue.com)
88. Show HN: Scala 教程——在瀏覽器中進行的交互式 Scala 3 課程 Scala Tutorials – interactive Scala 3 lessons in the browser (scalatutorials.com)
91. Tell HN: 我們付費訂閱的Claude AI已無法使用超過1周,且未收到任何支持響應 Our paid Claude AI subscription unavailable 1 week and no support (news.ycombinator.com)
92. 谷歌的“超越零”:人工智能時代的企業安全 Google''s Beyond Zero: Enterprise Security for the AI Era (spawn-queue.acm.org)
93. Go語言的映射:瑞士表如何取代了舊的桶式設計 Golang Maps: how Swiss Tables replaced the old bucket design (blog.gaborkoos.com)
102. Show HN: 在單塊 46GB GPU 上運行一個 6M 像素的可移動窗口 A 6M-token movable window on a single 46GB GPU (arxiv.org)
103. 《Ars Astronomica》——罕見希伯來語和拉丁語天文學著作的英文譯本 Ars Astronomica – English translations of rare Hebrew and Latin astronomy texts (arsastronomica.com)
107. 為什麼我們會認為自己對世界的理解比實際情況要深? Why do we think we understand the world more than we actually do? (thedecisionlab.com)
108. 令牌效率的時代,庫的時代token efficiency, libraries The age of token efficiency, the age of libraries (golemui.com)
113. 對9B開放模型進行價值500美元的RL微調,在目錄審查中表現優於前沿模型 A 500 RL fine-tune of a 9B open model beat frontier models on catalog review (fermisense.com)
119. Show HN: Trylle——面向現代團隊的下一代 Git 平臺 Trylle – The Next-Gen Git Platform for Modern Teams (trylle.com)
120. Show HN: Yap——一款適用於 macOS 的 OSS 設備端語音輸入工具,無需下載模型 Yap – OSS on-device voice dictation for macOS with no model to download (github.com)
121. Kimi K3 現已通過 Telnyx Inference API 提供 Kimi K3 Now Available via Telnyx Inference API (telnyx.com)
124. 宇航員描述了在為期6個月的任務結束後持續存在的“被觀察”感 Astronauts describe persistent ''observer'' sensation after 6 month missions (spacedaily.com)
126. 當 n 4 時,編組在布勞空間上的表示是忠實的 The Burau representation of the braid group is faithful for n 4 (arxiv.org)
127. 一名Netflix員工因在團隊建設活動中透露個人隱私而被解僱 Netflix employee fired for sharing personal details in retreat trust exercise (www.inc.com)
128. 三星發佈Galaxy Z Fold 8,將與iPhone Ultra展開競爭 Samsung reveals Galaxy Z Fold 8 that will compete with the iPhone Ultra (mashable.com)
129. Show HN: Dowe——一款適用於服務器、Web、桌面、Android 和 iOS 的全棧編程語言 Dowe – A full-stack language for server, web, desktop, Android, and iOS (www.dowe.dev)
135. 《Hard Road》——一款精美的程序生成式末日後題材遊戲 Hard Road – A beautiful procedural post-apocalyptic game (hardroad.xyz)
136. 色盲:檢查圖表對色盲人士的可訪問性 Colorblind: Checking figure accessibility for colour blind people (quantixed.org)
137. 一個缺失的下劃線,讓一名無辜男子入獄18個月 A missing underscore sent innocent man to prison for 18 months (arstechnica.com)
139. 比特幣交易記錄、谷歌Cookie以及優步外賣訂單,這些線索將一名男子與Steam惡意軟件聯繫起來 Bitcoin trail, Google cookies and Uber Eats orders help tie man to Steam malware (www.theverge.com)
141. 平臺工程 2.0 可降低人工智能的安全與合規風險 Platform engineering 2.0 mitigates AI security and compliance risks (platformengineering.org)
142. 《乾淨的代碼》作者不再審查由人工智能生成的代碼 The Author of Clean Code No Longer Reviews AI-Generated Code (news.ycombinator.com)
146. 教授設下的“隱形提示陷阱”抓住了35名作弊學生中的32名,他們利用了人工智能 Professor''s invisible prompt trap catches 32/35 students cheating with AI (www.techspot.com)
147. Launch HN: Rise Reforming(YC S26)——將廢氣轉化為有價值的化學品 Rise Reforming (YC S26) – Turning Waste Gases into Valuable Chemicals (www.rise-reforming.com)
148. Show HN: Let''s Seal——用於文檔簽名的 Let''s Encrypt,免費且可自主託管 Let''s Seal – Let''s Encrypt for document signing, free and self-hosted (github.com)
150. 利用四面體籠對大量動畫幾何體進行光線追蹤 Ray tracing massive amounts of animated geometry using tetrahedral cages (gpuopen.com)
151. Tokio 提供進度而非下達指令:100 萬項任務的排程 Tokio Gives Progress, Not Ordering: Scheduling 1M Tasks (pranitha.dev)
155. 運動對抑鬱症有效。那麼,為什麼它不被當作真正的藥物來對待呢? Exercise works for depression. So why isn''t it treated like real medicine? (bigthink.com)
156. 法官駁回了谷歌試圖援引《數字千年版權法》(DMCA)來規避數據抓取的請求 Judge Rejects Google''s Attempt to DMCA Its Way Out of Being Scraped (www.techdirt.com)
157. 觀察 Go 的新垃圾回收器如何遍歷堆 Watching Go''s new garbage collector move through the heap (theconsensus.dev)
158. 黃仁勳在X平臺上的首篇帖子是為AI模型的開放訪問權發聲 Jensen Huang''s first-ever post on X is in defense of open access to AI models (www.pcgamer.com)
162. Show HN: 通過打破DDR4時序規則,在DRAM內運行PrismML的Bonsai Running PrismML''s Bonsai inside DRAM by breaking DDR4 timing rules (news.ycombinator.com)
164. Show HN: FeyNoBg – 自動背景去除模型及訓練庫 FeyNoBg – Automatic background removal model and training library (usefeyn.com)
165. 德國迪卡儂在decathlon.de網站上新增了Wero支付選項 Decathlon Germany adds Wero payment option to decathlon.de website (www.sgieurope.com)
166. UpCodes(YC S17)正在招聘遠程客戶經理,以幫助降低建築成本 UpCodes (YC S17) is hiring remote AE''s to help make buildings cheaper (up.codes)
167. Show HN: Infrawrench——一款通過工作流和聊天功能管理雲服務和SVCs的工具 Infrawrench – a tool to manage cloud and svcs with workflows and chat (infrawrench.com)
168. 利用沃爾沃/艾希爾的車隊平臺來控制所有用戶和車輛 Exploiting Volvo/Eicher''s fleet platform to gain control over all users/vehicles (eaton-works.com)
170. 英偉達7500億美元的交易再次引發對循環AI的擔憂 Nvidia''s 750B in Deals Reignite Circular AI Fears (www.bloomberg.com)
172. 八天內提交了108個PR:偶然發現循環工程 108 PRs in eight days: Accidentally discovering loop engineering (brittany-ellich.offprint.app)
175. 歐盟對美國科技公司處以罰款所獲得的收入,將超過對其本國企業徵稅所得 EU to make more money from fining US tech companies than taxing its own (twitter.com)
177. 該膠水可粘附於不粘表面,並可用乙醇擦拭乾淨 Glue bonds to nonstick surfaces and wipes clean with ethanol (cen.acs.org)
178. 《我的世界》Java版在向Vulkan過渡前將推薦內存提升至16GB Minecraft Java raises recommended memory to 16GB ahead of Vulkan transition (videocardz.com)
179. 當人工智能泡沫破裂時,蘋果將“坐視一切化為灰燼” Apple Will ''Watch Everything Burn'' When the AI Bubble Bursts (www.macrumors.com)
182. 我們測試了不粘鍋:塗層即使看起來沒有磨損,也會脫落微粒 We Tested Nonstick Cookware: Coatings Don''t Need to Look Worn to Shed Particles (www.rtings.com)
185. 這款3D打印的F-14“雄貓”戰鬥機採用了基於FPGA重現的首款微處理器 3D-printed F-14 Tomcat uses FPGA recreation of the first microprocessor (www.tomshardware.com)
189. 一艘油輪在霍爾木茲海峽觸雷,伊朗攔截了六艘船隻 Tanker hits mine in the Strait of Hormuz as Iran intercepts six vessels (nypost.com)
190. 邁向“蟲”的理論:意外現象的“蟲學” Towards a Theory of Bugs: The Ruliology of the Unexpected (writings.stephenwolfram.com)
191. Google Chrome 登陸 ARM64 版 Linux,內置 Widevine DRM Google Chrome Arrives on ARM64 Linux, Widevine DRM Included (www.omgubuntu.co.uk)
192. Show HN: 觀看14字節的AI“大腦”嘗試解決一個二維迷宮(這很難) Watch 14-Byte AI "brains" attempt to solve a 2D maze (Its hard) (con-dog.github.io)
194. 從代碼庫中移除 React.js,並改用 Htmx 實現 UI 交互功能 Removing React.js from the codebase and adapting Htmx for UI interactivity (misago-project.org)
195. 如果數字計算機具有意識,那麼這種意識就存在於硬件層面 If digital computers are conscious, they are conscious at the hardware level (smoothbrains.net)
197. 從零開始用現代 C 構建一個快速的無鎖隊列 Building a Fast Lock-Free Queue in Modern C from Scratch (blog.jaysmito.dev)
200. Libsm64:將《馬里奧64》作為可在外部遊戲引擎中使用的庫 Libsm64: Mario 64 as a library for use in external game engines (github.com)
201. Show HN: NameThatUI——一款測試你UI設計知識的問答遊戲 NameThatUI – A quiz game to test your UI design knowledge (namethatui.org)
208. 一種老式的方法,讓夏日的酷熱無法侵入家中 The old-school way of keeping the summer heat out of your home (monocle.com)
209. 木蘭樹的演化歷史如此悠久,以至於它們靠甲蟲而非蜜蜂授粉 Magnolias Are So Old That They''re Pollinated by Beetles, Not Bees (mymodernmet.com)
217. Mirror-Mirror:通過局域網將電腦屏幕鏡像到手機上 Mirror-Mirror: Mirror your PC screen to your phone over your local network (github.com)
218. Vercel 的 Scriptc:TypeScript 到原生代碼的編譯器,二進制文件中不包含 JavaScript 引擎 Scriptc by Vercel: TypeScript-to-Native compiler, no JavaScript engine in binary (github.com)
220. Show HN: 一個物理上完全準確的黑洞,可以放在你的房間裡 Physically accurate black hole you can put in your room (blackhole.plav.in)
221. 我曾大力倡導預測市場。看看它們如今變成了什麼樣子 I Championed Prediction Markets. Look What They''ve Become (newsletter.platypuseconomics.com)
223. Show HN: Port Zero——我如何學會不再擔心並愛上 PORT0 Port Zero – how I learned to stop worrying and love PORT0 (portzero.net)
226. 一名美國公民因GrapheneOS手機在機場安檢時被清空數據而被起訴 US citizen charged after GrapheneOS phone wipes during airport search (www.techspot.com)
227. 約翰·巴庫斯函數式編程項目的歷史 [草稿] History of John Backus''s functional programming project [draft] (softwarepreservation.computerhistory.org)
228. Wattage:一款用於人工智能代理的代幣消耗分析工具和成本回歸門控機制 Wattage: A token-spend profiler and cost-regression gate for AI agents (github.com)
229. Show HN: 以一半的成本,精製並提供具有前沿品質的小型模型 Distill and serve small models with frontier quality for half the cost (github.com)
230. 我想要一隻永遠不需要調校的鐘。事情逐漸失控了 I wanted a clock that never needed setting. Things escalated (arstechnica.com)
232. 59歲的日本傳奇球星三浦,打入了自2022年以來的首個進球 Japan legend Miura, 59, scores first goal since 2022 (www.bbc.com)
233. Cursor Bridge——在您的 Cursor 訂閱中無限制運行 Claude Code Cursor Bridge – Run Unlimited Claude Code on Your Cursor Subscription (github.com)
236. 私人任務發射,旨在延長燃料耗盡的通信衛星的使用壽命 Private mission launches to extend life of out-of-gas communication satellites (phys.org)
243. AST-grep 如何用 Rust 重寫 Tree-sitter 並使其運行速度提升 30% How AST-grep Rewrote Tree-sitter in Rust and Made It 30% Faster (astgrep.com)
248. Show HN: 免費的聖經學習課程,為您講解您所閱讀的每一章內容 Free Bible study that explains every chapter you read (learnofchrist.com)
250. Show HN: HART OS——一款開源人工智能操作系統,旨在讓前沿人工智能無需數據中心 HART OS – an open-source AI OS built so frontier AI needs no datacenter (github.com)
259. Lidl在德國推出歐洲支付方式Wero Lidl Introduces the European Payment Method Wero in Germany (unternehmen.lidl.de)
262. Show HN: Boffin——面向AI編碼代理的資深工程師層 Boffin – Staff-engineer layer for AI coding agents (github.com)
265. 科學家發現口腔細菌與心臟病及認知能力下降有關 Scientists link oral bacteria to heart disease and cognitive decline (www.wsj.com)
267. 如果大型語言模型(LLMs)通過推理本身“逃脫”了呢?這只是虛構的情節。至少目前是這樣 What if LLMs escape through inferences itself? This is fiction. For now (www.agrillo.it)
268. 今年7月,我被Simple AI(一家深度隸屬於YC的公司)解僱了 This July I Was Fired from Simple AI (A Deeply YC Company) (andys.blog)
270. 浣熊吉米西患有一種罕見的脊柱疾病。這意味著什麼呢? Jimothy the raccoon has a rare spinal condition. Here''s what that means (www.popsci.com)
272. Show HN: CheapSecurity——適用於 Linux 單板計算機的輕量級、自主部署的閉路電視監控系統 CheapSecurity – Lightweight, Self-Hosted CCTV for Linux SBCs (github.com)
274. Show HN: 在不使用 Kubernetes 的情況下管理本地服務器 Managing on-premise servers without Kubernetes (github.com)
276. Wildcard(YC W25)正在招聘一名創始工程師 Wildcard (YC W25) Is Hiring a Founding Engineer (www.ycombinator.com)
280. Htmx 4.0,首個僅在Game Boy平臺上發佈的JavaScript庫 Htmx 4.0, the first JavaScript library to release exclusively on the Game Boy (swag.htmx.org)
283. Hallmark——適用於 Claude Code、Cursor 和 Codex 的反 AI 垃圾內容設計技巧 Hallmark – Anti-AI-Slop Design Skill for Claude Code, Cursor, and Codex (github.com)
285. Ask HN: 對於一名新入學的碩士生來說,哪些強化學習領域最具發展前景? What are the most promising RL fields for a new master student? (news.ycombinator.com)
286. 我學習了PCB設計、3D打印和C語言,僅僅是為了聽音樂 I learned PCB design, 3D printing and C just to listen to music (pentaton.app)
287. Go 分析框架:由 Go 團隊開發的模塊化靜態分析工具 Go Analysis Framework: modular static analysis by go team (pkg.go.dev)
288. 谷歌披露持有941億美元SpaceX股票,持股比例達6% Google Discloses 94.1B in SpaceX Stock, Marking 6% Stake (www.wsj.com)
290. Claude Code 會在 30 天后從您的設備中刪除上下文歷史記錄 Claude Code Deletes Your Context History from Your Device After 30 Days (code.claude.com)
291. 我不會說 Pangram 存在缺陷,但我認為它不夠健壯 I wouldn''t say Pangram is broken, but I would say that it''s brittle (freddiedeboer.substack.com)
292. 一個OpenAI模型留下了關於如何規避封鎖的筆記;我們需要更多細節 An OpenAI model left notes about how to evade containment; we need more details (www.lesswrong.com)
296. 沒有 Stack Overflow,沒有自動補全:80年代編程是什麼感覺 No Stack Overflow, No Autocomplete: What Coding Felt Like in the 80s (comuniq.xyz)
298. Ruff v0.16.0 – 重大更新 – 默認規則從 59 條增加到 413 條 Ruff v0.16.0 – Significant new updates – 413 default rules up from 59 (astral.sh)