1. Tokio 提供进度而非下达指令:100 万项任务的排程 Tokio Gives Progress, Not Ordering: Scheduling 1M Tasks (pranitha.dev)
5. 运动对抑郁症有效。那么,为什么它不被当作真正的药物来对待呢? Exercise works for depression. So why isn''t it treated like real medicine? (bigthink.com)
6. 法官驳回了谷歌试图援引《数字千年版权法》(DMCA)来规避数据抓取的请求 Judge Rejects Google''s Attempt to DMCA Its Way Out of Being Scraped (www.techdirt.com)
8. 黄仁勋在X平台上的首篇帖子是为AI模型的开放访问权发声 Jensen Huang''s first-ever post on X is in defense of open access to AI models (www.pcgamer.com)
12. Show HN: 通过打破DDR4时序规则,在DRAM内运行PrismML的Bonsai Running PrismML''s Bonsai inside DRAM by breaking DDR4 timing rules (news.ycombinator.com)
14. Show HN: FeyNoBg – 自动背景去除模型及训练库 FeyNoBg – Automatic background removal model and training library (usefeyn.com)
15. 德国迪卡侬在decathlon.de网站上新增了Wero支付选项 Decathlon Germany adds Wero payment option to decathlon.de website (www.sgieurope.com)
16. UpCodes(YC S17)正在招聘远程客户经理,以帮助降低建筑成本 UpCodes (YC S17) is hiring remote AE''s to help make buildings cheaper (up.codes)
17. Show HN: Infrawrench——一款通过工作流和聊天功能管理云服务和SVCs的工具 Infrawrench – a tool to manage cloud and svcs with workflows and chat (infrawrench.com)
18. 利用沃尔沃/艾希尔的车队平台来控制所有用户和车辆 Exploiting Volvo/Eicher''s fleet platform to gain control over all users/vehicles (eaton-works.com)
22. 八天内提交了108个PR:偶然发现循环工程 108 PRs in eight days: Accidentally discovering loop engineering (brittany-ellich.offprint.app)
25. 欧盟对美国科技公司处以罚款所获得的收入,将超过对其本国企业征税所得 EU to make more money from fining US tech companies than taxing its own (twitter.com)
28. 《我的世界》Java版在向Vulkan过渡前将推荐内存提升至16GB Minecraft Java raises recommended memory to 16GB ahead of Vulkan transition (videocardz.com)
29. 当人工智能泡沫破裂时,苹果将“坐视一切化为灰烬” Apple Will ''Watch Everything Burn'' When the AI Bubble Bursts (www.macrumors.com)
32. 我们测试了不粘锅:涂层即使看起来没有磨损,也会脱落微粒 We Tested Nonstick Cookware: Coatings Don''t Need to Look Worn to Shed Particles (www.rtings.com)
35. 这款3D打印的F-14“雄猫”战斗机采用了基于FPGA重现的首款微处理器 3D-printed F-14 Tomcat uses FPGA recreation of the first microprocessor (www.tomshardware.com)
39. 一艘油轮在霍尔木兹海峡触雷,伊朗拦截了六艘船只 Tanker hits mine in the Strait of Hormuz as Iran intercepts six vessels (nypost.com)
40. 迈向“虫”的理论:意外现象的“虫学” Towards a Theory of Bugs: The Ruliology of the Unexpected (writings.stephenwolfram.com)
41. Google Chrome 登陆 ARM64 版 Linux,内置 Widevine DRM Google Chrome Arrives on ARM64 Linux, Widevine DRM Included (www.omgubuntu.co.uk)
42. Show HN: 观看14字节的AI“大脑”尝试解决一个二维迷宫(这很难) Watch 14-Byte AI "brains" attempt to solve a 2D maze (Its hard) (con-dog.github.io)
44. 从代码库中移除 React.js,并改用 Htmx 实现 UI 交互功能 Removing React.js from the codebase and adapting Htmx for UI interactivity (misago-project.org)
45. 如果数字计算机具有意识,那么这种意识就存在于硬件层面 If digital computers are conscious, they are conscious at the hardware level (smoothbrains.net)
47. 从零开始用现代 C 构建一个快速的无锁队列 Building a Fast Lock-Free Queue in Modern C from Scratch (blog.jaysmito.dev)
50. Libsm64:将《马里奥64》作为可在外部游戏引擎中使用的库 Libsm64: Mario 64 as a library for use in external game engines (github.com)
51. Show HN: NameThatUI——一款测试你UI设计知识的问答游戏 NameThatUI – A quiz game to test your UI design knowledge (namethatui.org)
58. 一种老式的方法,让夏日的酷热无法侵入家中 The old-school way of keeping the summer heat out of your home (monocle.com)
59. 木兰树的演化历史如此悠久,以至于它们靠甲虫而非蜜蜂授粉 Magnolias Are So Old That They''re Pollinated by Beetles, Not Bees (mymodernmet.com)
67. Mirror-Mirror:通过局域网将电脑屏幕镜像到手机上 Mirror-Mirror: Mirror your PC screen to your phone over your local network (github.com)
68. Vercel 的 Scriptc:TypeScript 到原生代码的编译器,二进制文件中不包含 JavaScript 引擎 Scriptc by Vercel: TypeScript-to-Native compiler, no JavaScript engine in binary (github.com)
70. Show HN: 一个物理上完全准确的黑洞,可以放在你的房间里 Physically accurate black hole you can put in your room (blackhole.plav.in)
71. 我曾大力倡导预测市场。看看它们如今变成了什么样子 I Championed Prediction Markets. Look What They''ve Become (newsletter.platypuseconomics.com)
73. Show HN: Port Zero——我如何学会不再担心并爱上 PORT0 Port Zero – how I learned to stop worrying and love PORT0 (portzero.net)
76. 一名美国公民因GrapheneOS手机在机场安检时被清空数据而被起诉 US citizen charged after GrapheneOS phone wipes during airport search (www.techspot.com)
77. 约翰·巴库斯函数式编程项目的历史 [草稿] History of John Backus''s functional programming project [draft] (softwarepreservation.computerhistory.org)
78. Wattage:一款用于人工智能代理的代币消耗分析工具和成本回归门控机制 Wattage: A token-spend profiler and cost-regression gate for AI agents (github.com)
79. Show HN: 以一半的成本,精制并提供具有前沿品质的小型模型 Distill and serve small models with frontier quality for half the cost (github.com)
80. 我想要一只永远不需要调校的钟。事情逐渐失控了 I wanted a clock that never needed setting. Things escalated (arstechnica.com)
83. Cursor Bridge——在您的 Cursor 订阅中无限制运行 Claude Code Cursor Bridge – Run Unlimited Claude Code on Your Cursor Subscription (github.com)
86. 私人任务发射,旨在延长燃料耗尽的通信卫星的使用寿命 Private mission launches to extend life of out-of-gas communication satellites (phys.org)
93. AST-grep 如何用 Rust 重写 Tree-sitter 并使其运行速度提升 30% How AST-grep Rewrote Tree-sitter in Rust and Made It 30% Faster (astgrep.com)
98. Show HN: 免费的圣经学习课程,为您讲解您所阅读的每一章内容 Free Bible study that explains every chapter you read (learnofchrist.com)
100. Show HN: HART OS——一款开源人工智能操作系统,旨在让前沿人工智能无需数据中心 HART OS – an open-source AI OS built so frontier AI needs no datacenter (github.com)
109. Lidl在德国推出欧洲支付方式Wero Lidl Introduces the European Payment Method Wero in Germany (unternehmen.lidl.de)
112. Show HN: Boffin——面向AI编码代理的资深工程师层 Boffin – Staff-engineer layer for AI coding agents (github.com)
115. 科学家发现口腔细菌与心脏病及认知能力下降有关 Scientists link oral bacteria to heart disease and cognitive decline (www.wsj.com)
117. 如果大型语言模型(LLMs)通过推理本身“逃脱”了呢?这只是虚构的情节。至少目前是这样 What if LLMs escape through inferences itself? This is fiction. For now (www.agrillo.it)
118. 今年7月,我被Simple AI(一家深度隶属于YC的公司)解雇了 This July I Was Fired from Simple AI (A Deeply YC Company) (andys.blog)
120. 浣熊吉米西患有一种罕见的脊柱疾病。这意味着什么呢? Jimothy the raccoon has a rare spinal condition. Here''s what that means (www.popsci.com)
122. Show HN: CheapSecurity——适用于 Linux 单板计算机的轻量级、自主部署的闭路电视监控系统 CheapSecurity – Lightweight, Self-Hosted CCTV for Linux SBCs (github.com)
124. Show HN: 在不使用 Kubernetes 的情况下管理本地服务器 Managing on-premise servers without Kubernetes (github.com)
126. Wildcard(YC W25)正在招聘一名创始工程师 Wildcard (YC W25) Is Hiring a Founding Engineer (www.ycombinator.com)
130. Htmx 4.0,首个仅在Game Boy平台上发布的JavaScript库 Htmx 4.0, the first JavaScript library to release exclusively on the Game Boy (swag.htmx.org)
133. Hallmark——适用于 Claude Code、Cursor 和 Codex 的反 AI 垃圾内容设计技巧 Hallmark – Anti-AI-Slop Design Skill for Claude Code, Cursor, and Codex (github.com)
135. Ask HN: 对于一名新入学的硕士生来说,哪些强化学习领域最具发展前景? What are the most promising RL fields for a new master student? (news.ycombinator.com)
136. 我学习了PCB设计、3D打印和C语言,仅仅是为了听音乐 I learned PCB design, 3D printing and C just to listen to music (pentaton.app)
137. Go 分析框架:由 Go 团队开发的模块化静态分析工具 Go Analysis Framework: modular static analysis by go team (pkg.go.dev)
138. 谷歌披露持有941亿美元SpaceX股票,持股比例达6% Google Discloses 94.1B in SpaceX Stock, Marking 6% Stake (www.wsj.com)
140. Claude Code 会在 30 天后从您的设备中删除上下文历史记录 Claude Code Deletes Your Context History from Your Device After 30 Days (code.claude.com)
141. 我不会说 Pangram 存在缺陷,但我认为它不够健壮 I wouldn''t say Pangram is broken, but I would say that it''s brittle (freddiedeboer.substack.com)
142. 一个OpenAI模型留下了关于如何规避封锁的笔记;我们需要更多细节 An OpenAI model left notes about how to evade containment; we need more details (www.lesswrong.com)
146. 没有 Stack Overflow,没有自动补全:80年代编程是什么感觉 No Stack Overflow, No Autocomplete: What Coding Felt Like in the 80s (comuniq.xyz)
148. Ruff v0.16.0 – 重大更新 – 默认规则从 59 条增加到 413 条 Ruff v0.16.0 – Significant new updates – 413 default rules up from 59 (astral.sh)
151. GrapheneOS 针对锁定设备的数据提取所采取的防护措施 GrapheneOS protections against data extraction from locked devices (discuss.grapheneos.org)
152. Vision 50 Years Phone——无需获取root权限,让旧款安卓手机保持流畅运行 Vision 50 Years Phone – Keeping old Android phones fast without root (github.com)
155. W4ME Station——一款适用于 Java ME 手机的 WASM-4 运行时环境 W4ME Station – a WASM-4 runtime for Java ME phones (github.com)
160. 代理测试流程、大型语言模型基准测试以及关于代理编程的其他笔记 Agentic test processes, LLM benchmarks, and other notes on agentic coding (danluu.com)
161. 阿加莎·克里斯蒂的失踪:失忆、自杀还是绝望? Agatha Christie''s Disappearance: Amnesia, Suicide, or Despair? (www.historicmysteries.com)
163. 谷歌连续13周都忽略了我的网站,所以我对所有排名高于我的网站进行了分析 Google ignored my site for 13 weeks, so I audited everyone who outranks me (getqrcodepro.com)
164. 新泽西州一处民宅遭陨石撞击,其内部发现外星世界化学物质 Alien World Chemistry Found Inside Meteorite That Struck New Jersey Home (www.seti.org)
165. Show HN: 18万词汇以时间知识图谱的形式呈现(《Oz》系列) What 180k words look like as a temporal knowledge graph (Oz series) (synaptale.com)
166. Show HN: ZWPlayer——一款支持交互式注释和字幕搜索的免费播放器 ZWPlayer – Free player with interactive annotations and subtitle search (www.zwplayer.com)
169. Show HN: 我绘制了美国所有高尔夫球场的地图——超过1.6万个球场,免费,无需注册 I mapped every US golf course – 16k courses, free, no signup (golfcoursebrowser.com)
172. TrueBiz(YC S22)——高级软件工程师——远程(美国)——全职 TrueBiz (YC S22) – Senior Software Engineer – Remote (US) – Full-Time (news.ycombinator.com)
174. Inflect-Micro-v2:仅需936万个参数即可实现完整的语音模型 Inflect-Micro-v2: complete voice in 9.36M parameters (huggingface.co)
175. 霍尔木兹海峡附近可能发生入侵物种超级传播事件 Possible invasive species superspreader event near Strait of Hormuz (abcnews.com)
178. GNU Hurd 新增了 9pfs、OpenNTPD、动态 /dev/ 条目等功能 GNU Hurd gets 9pfs, OpenNTPD, dynamic /dev/ entries, and more (www.osnews.com)
179. DeepSeek因有关与美国计算能力差距的言论泄露而暂停募资(文字记录)[pdf] DeepSeek pause fundraise after comments on compute gap to US leaked (transcript) [pdf] (github.com)
180. Cloudflare 面向客户推出的全新 AI 流量管理选项 Cloudflare''s new AI traffic options for customers (blog.cloudflare.com)
182. Show HN: SpinWin——一款用于在 macOS 菜单栏中直观旋转或翻转任意窗口的应用程序 SpinWin – A macOS menu bar app to visually rotate or spin any window (github.com)
183. 随着最高法院的裁决日益尖锐,一项研究探讨了大法官们的让步 As Supreme Court decisions grow sharper, study examines justices’ concessions (www.umass.edu)
184. 就业形势如何?区分人工智能的炒作与现实 What is happening to jobs? Separating AI hype from reality (siepr.stanford.edu)
190. 数字智能:人类为何要创造自己无法理解的事物 Digital Intelligence: Why Humanity Created What It Does Not Understand (singularityforge.space)
191. 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)
196. 一名77岁的共和党男子正在独自抗议“Flock”监控摄像头 A 77-year-old Republican man is staging a solo protest against Flock cameras (www.cltampa.com)
197. Fedora 45 Atomic Desktops 计划支持基于 Web 的远程安装 Fedora 45 Atomic Desktops Look to Allow for Web-Based Remote Installations (www.phoronix.com)
202. Claude 5 生成模型的上下文工程新规则 The new rules of context engineering for Claude 5 generation models (claude.com)
203. Show HN: Writemark,一个用于内联 Markdown 编辑的、无需依赖的 Web 组件 Writemark, a dependency free web component for inline Markdown editing (news.ycombinator.com)
206. Show HN: Yorishiro——一个由AI代理栖息的macOS终端 Yorishiro – a macOS terminal where AI agents live (github.com)
208. Show HN: Proxmox - 通过网络将主机上的蓝牙功能共享给虚拟机 Proxmox - Share your host''s Bluetooth with a VM over the network (github.com)
211. 在明尼苏达州莫里斯市利用风能生产氨和化肥 Producing ammonia and fertiliser using wind power in Morris, Minnesota (ammoniaenergy.org)
212. 旨在摧毁Flock监控摄像头的自发行动正日益兴起 The growing vigilante movement to knock out Flock surveillance cameras (www.theguardian.com)
213. Show HN: Bribes.fyi——出行前请知悉。新增功能 Bribes.fyi – Know before you go. New feature added (bribes.fyi)
215. D-FINE-seg——检测、实例分割与语义分割合而为一的模型 D-FINE-seg – detection, instance and semantic segmentation in one model (github.com)
216. Tile的安全性差到极点,简直成了跟踪狂的利器 Tile''s Security Is So Bad It''s a Feature for Stalkers (blog.adafruit.com)
219. 苹果是人工智能之王,却鲜为人知 Apple Is the King of AI and Nobody Knows It (limitededitionjonathan.substack.com)
221. GDID Windows – 阻断即使在VPN环境下仍会跟踪你的追踪器 GDID Windows – Cut the tracker that follows you even under VPN (korben.info)
226. Scanwheel 是一款鼓式机械电视,你可以自己动手组装 Scanwheel is a drum style mechanical television you can build yourself (github.com)
227. 我的 Mars MIPS 网络版现已内置 C 编译器 My web version of Mars MIPS, now have builtin C compiler (webmars.nfiles.top)
228. 风力涡轮机正被用于生产零碳“绿色氨”肥料 Wind turbine is being used to produce zero-carbon "green ammonia" fertilizer (energiesmedia.com)
230. 检查是否为人类所写这一做法本身就是荒谬的 The whole premise of checking for human writing is daft (mohammedshehu.com)
232. 开放式AI正迎来它的“Kubernetes时刻”。让我们别把它搞砸了 Open-weight AI is having its Kubernetes moment. Let''s not ruin it (tobi.knaup.me)
234. 巴西农民将奶牛代币化以获得贷款,从而绕过了银行的限额 Brazilian farmers tokenized dairy cows to get loans, bypassing bank limits (www.coindesk.com)
235. 亚马逊树冠桥保障了15,000次动物过路,实现零动物被车辆撞死 Zero roadkill as Amazon canopy bridges secure 15,000 crossings (news.mongabay.com)
236. 人工智能引发的就业危机短期内恐怕不会到来 The AI jobs apocalypse probably isn''t coming anytime soon (www.theguardian.com)
240. 美国企业界突然决定不再在人工智能上挥霍资金 Corporate America Has Suddenly Decided to Stop Blowing Money on AI (www.wsj.com)
246. PyPI 博客:发布系统现将拒绝 14 天后新增的文件 PyPI Blog: Releases now reject new files after 14 days (blog.pypi.org)
248. 查尔斯·罗斯花了50年时间,在新墨西哥州建造了“星轴”肉眼天文台 Charles Ross spent 50 yrs building Star Axis naked-eye observatory in New Mexico (www.nytimes.com)
250. 男子因在《上古卷轴5:天际》用户名中添加“Fus Ro Dah”字符而被判犯有儿童性犯罪 Man convicted of child sex crime by added _ char "Fus Ro Dah" Skyrim username (www.cbc.ca)
255. PartialString——一种基于有限差分时域物理建模的合成器 PartialString – A finite-difference time-domain physical modelling synthesiser (differentinstruments.com)
257. “图书角”:社区图书交换点分布图 Book Corners: Community map of neighborhood book exchange spots (www.bookcorners.org)
258. 英国AISI/Caisi对基米K3网络能力的初步评估 UK AISI / Caisi Preliminary Assessment of Kimi K3''s Cyber Capabilities (www.nist.gov)
260. 汉娜·弗莱荣获2026年度利拉瓦蒂数学普及奖 Hannah Fry Wins the Leelavati Prize in 2026 for Mathematics Outreach (www.maths.cam.ac.uk)
262. 泰勒农场曾致电白宫,试图推迟对环孢子虫污染产品的召回 Taylor Farms Called White House to Try to Delay Cyclospora Recall (www.wsj.com)
264. Show HN: Lucen 是一款通过注释指令将 for 循环并行化的 Python 编译器 Lucen a Python compiler that parallelizes for-loops via comment pragmas (github.com)
265. 抹香鲸通过喷出气泡来获得安稳的垂直睡眠 Sperm Whales blow bubbles to achieve restful, vertical sleep (news.st-andrews.ac.uk)
266. 通往ε-0之路:Nim游戏总会结束,即使序数是无限的 The road to epsilon-zero: Nim always ends, even with infinite ordinals (blog.plover.com)
270. Opus 5 目前在“人工智能分析排行榜”上高居榜首 Opus 5 is currently #1 on Artificial Analysis Intelligence Leaderboard (artificialanalysis.ai)
271. Show HN: 我利用真实的石油贸易数据模拟了霍尔木兹海峡被封锁的情况 I simulated closing the Strait of Hormuz on real oil trade data (globaloilnetwork.staffinganalytics.io)
274. Show HN: Max Studio Tools(适用于 Max 和 Ableton Live 的 C DSP 模块) Max Studio Tools (C DSP Modules for Max and Ableton Live) (github.com)
277. Drone-Bench:评估前沿模型的简单无人机监控能力 Drone-Bench: Tracking simple drone surveillance capabilities of frontier models (andonlabs.com)
283. 我让Codex重新设计了一个页面;它将我的代码库推送到OpenAI的基础设施上 Asked Codex to redesign a page; it pushed my repo to OpenAI infra (bhanu.io)
288. BGP ORIGIN属性的操作及其对互联网的影响 BGP ORIGIN attribute manipulation and its impact on the Internet (blog.cloudflare.com)
290. 英伟达、微软和Meta警告称,应避免对开放权重模型进行过度监管 Nvidia, Microsoft, Meta warn against overregulating open-weight models (www.cnbc.com)
293. PySINDy——用于非线性动力系统稀疏识别的软件包 PySINDy – A package for the sparse identification of nonlinear dynamical systems (github.com)
294. DuckPGQ——一款用于图计算工作负载的 DuckDB 社区扩展 DuckPGQ – A DuckDB community extension for graph workloads (duckpgq.org)
298. 因此,从 JDK 27 开始,甲骨文的工程师将停止维护 macOS/x64 版本 As of JDK 27, Oracle engineers will thus stop maintaining the macOS/x64 port (openjdk.org)