Weekly Digest — 2026-W28 Weekly

(1) Apple sues OpenAI, accuses ex-employees of stealing trade secrets 🔗

苹果控告 OpenAI，指控前员工窃取商业机密

(2) EU Parliament greenlights Chat Control 1.0 🔗

欧盟议会通过聊天监控1.0，Breyer：我们的孩子要吃亏

(3) GPT-5.6 🔗

GPT-5.6 版本

(4) Decoding the obfuscated bash script on a Uniqlo t-shirt 🔗

解码优衣库 T 恤上的混淆 Bash 脚本

(5) John Deere owners will get the right to repair equipment under FTC settlement 🔗

FTC和解赋予约翰迪尔设备的修理权

(6) Organic Maps 🔗

Organic Maps 地图应用

(7) OpenPrinter 🔗

OpenPrinter：开放打印机项目

(8) Show HN: 18 Words 🔗

Show HN: 18 Words

(9) Chatto is now open source 🔗

Chatto 现已开源

(10) Chat Control 1.0 and 2.0 Explained 🔗

Chat Control 1.0 与 2.0 的解读

(11) Show HN: Getting GLM 5.2 running on my slow computer 🔗

Show HN：在慢速电脑上让 GLM 5.2 运行起来

(12) OpenWrt One – Open Hardware Router 🔗

OpenWrt One：开源硬件路由器

(13) Train sim created by just one person is being called the best ever made 🔗

单人开发的铁路模拟游戏被誉为最出色的作品

(14) StreetComplete: Fixing OpenStreetMap, one tiny quest at a time 🔗

StreetComplete：通过一个个小任务修复 OpenStreetMap

(15) Postgres rewritten in Rust, now passing 100% of the Postgres regression tests 🔗

用 Rust 重写 PostgreSQL，现已通过 100% 回归测试

(16) CoMaps – FOSS Offline Maps 🔗

CoMaps：开源离线地图

(17) Every new car sold in the European Union must include a driver monitoring camera 🔗

欧盟规定所有新车必须装配驾驶员监控摄像头

(18) Grok 4.5 🔗

Grok 4.5

(19) Rewriting Bun in Rust 🔗

用 Rust 重写 Bun

(20) GPT‑Live 🔗

GPT-Live

(21) My thoughts on the Bun Rust rewrite 🔗

我对 Bun 的 Rust 重写的一些看法

(22) QuadRF can spot drones and see WiFi through my wall 🔗

QuadRF 能侦测无人机并穿墙探测 WiFi 信号

(23) Resetting Xbox 🔗

Xbox 重置

(24) TypeScript 7 🔗

TypeScript 7

(25) It's not about physical vs. digital games, it's about ownership 🔗

不是实体/数字游戏之争，而是关于所有权的问题

(26) GLM 5.2 and the coming AI margin collapse 🔗

GLM 5.2 与 AI 利润率的收缩来临

(27) Microsoft fire idTech team at Id software 🔗

微软解雇 Id Software 的 IdTech 团队

(28) Chat Control passed first round in EU Parliament 🔗

欧盟议会完成对‘聊天控制’提案的首轮表决

(29) 30papers.com – Ilya's 30 essential ML papers, in a beginner friendly format 🔗

30papers.com——Ilya 的 30 篇核心 ML 论文，面向初学者

(30) New York City to ban deceptive subscription practices 🔗

纽约市将禁止欺骗性订阅行为

(31) Fable turned reMarkable into Tom Riddle's diary from Harry Potter 🔗

寓言将 reMarkable 打造成《哈利波特》中的汤姆·里德尔的日记

(32) Hy3 🔗

Hy3

(33) Claude Code sends 33k tokens before reading the prompt; OpenCode sends 7k 🔗

Claude Code 在读取提示前消耗 3.3 万令牌；OpenCode 仅约 7 千令牌

(34) GitLost: We Tricked GitHub's AI Agent into Leaking Private Repos 🔗

GitLost：我们欺骗 GitHub 的 AI 代理泄露私有仓库

(35) GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf] 🔗

GPT-5.6 Sol Ultra 产出循环双覆盖猜想的证明（PDF）

(36) Good Tools Are Invisible 🔗

好工具往往无形

(37) Cloudflare Drop 🔗

Cloudflare Drop

(38) A better way to tie gym shorts (or any drawstring) [video] 🔗

更好地系紧健身短裤的抽绳方法（视频）

(39) 98% isn't much 🔗

98% 并不算多

(40) Local, CPU-Friendly, High-Quality TTS (Text-to-Speech) with Kokoro 🔗

本地化、CPU友好且高质量的 Kokoro TTS

(41) FAANG Simulator 🔗

FAANG 模拟器

(42) Mistral's Robostral Navigate: a state of the art robotics navigation model 🔗

Mistral 的 Robostral Navigate：前沿机器人导航模型

(43) Has_not_been_viewed_much 🔗

未被广泛观看的内容

(44) The glass backbone: Why the Army's logistics will break in the next war 🔗

玻璃脊梁：未来战争中陆军后勤为何会崩溃

(45) EU now one step away from reviving private message scanning rules 🔗

欧盟只差一步就能重新启用私信扫描规则

(46) A global workspace in language models 🔗

语言模型的全球工作区

(47) What xAI's Grok build CLI sends to xAI: A wire-level analysis 🔗

Show HN：Grok 构建 CLI 向 xAI 发送的数据的逐字节分析

(48) Old and new apps, via modern coding agents 🔗

通过现代编码代理看待旧有应用与新应用

(49) Late Bronze Age Collapse 🔗

晚青铜时代崩溃

(50) GPT-5.6 Sol Ultra will be in Codex 🔗

GPT-5.6 Sol Ultra 将嵌入 Codex

(51) Muse Spark 1.1 🔗

Muse Spark 1.1 推出

(52) Real-time map of Great Britain's rail network 🔗

英国铁路网实时地图

(53) I think I have LLM burnout 🔗

我可能得了 LLM 倦怠

(54) Einstein's relativity rules chemical bonds in heavy elements, new research shows 🔗

新研究称相对论决定重元素的化学键

(55) The future of Flipper Zero development 🔗

Flipper Zero 开发的未来

(56) Interview with Mitchell Hashimoto about Ghostty and Zig 🔗

Mitchell Hashimoto 对 Ghostty 与 Zig 的访谈

(57) Since Chromium 148, Math.tanh is now fingerprintable to link underlying OS 🔗

自 Chromium 148 以来，Math.tanh 可用于指纹识别并关联底层操作系统

(58) Show HN: Davit, a Apple Containers UI 🔗

Davit：Apple 容器管理的本地优先 UI

(59) I love LLMs, I hate hype 🔗

我爱大语言模型，也讨厌炒作

(60) Herdr: One terminal to rule them all 🔗

Herdr：一个终端统治所有终端

(61) AI 2040: Plan A 🔗

AI 2040：计划 A

(62) AMD Ryzen AI Halo – $4k AI Dev Kit 🔗

AMD Ryzen AI Halo：4 千美元 AI 开发套件

(63) How to sequence your own DNA at home 🔗

在家自行测序自己的DNA的方法

(64) EVE Online's Carbon engine is now open source: Fenris Creations explains why 🔗

EVE Online 的 Carbon 引擎现开源：Fenris Creations 解释原因

(65) Nintendo announces new product revisions in Europe with replaceable batteries 🔗

任天堂在欧洲推出可替换电池的新产品修订

(66) Why developers are ditching GitHub for Codeberg and self-hosting alternatives 🔗

为何开发者弃用 GitHub 转投 Codeberg 与自托管替代方案

(67) Nvidia, CoreWeave, and Nebius: Inside the Circular Financing of the GPU Boom 🔗

Nvidia、CoreWeave 与 Nebius：GPU 热潮的循环融资内幕

(68) Tenda firmware (multiple versions) contains hidden authentication backdoor 🔗

Tenda 固件（多版本）含隐藏认证后门

(69) Structure and Interpretation of Computer Programs Video Lectures (1986) 🔗

《计算机程序的结构与解释》1986 年视频讲座

(70) China sentences official to death for taking $325M in bribes 🔗

中国官员因受贿3.25亿美元被判死刑

(71) ChatGPT Work 🔗

ChatGPT 在工作中的应用

(72) Write code like a human will maintain it 🔗

编写便于维护的代码

(73) An update on residential proxies and the scraper situation 🔗

住宅代理与抓取现状更新

(74) Buried Apple feature turns an iPhone into the perfect kids' dumb phone 🔗

隐藏的苹果功能将 iPhone 变为理想的儿童简易机

(75) Show HN: Microsoft releases Flint, a visualization language for AI agents 🔗

Show HN：微软发布 Flint——用于 AI 代理的可视化语言

(76) Microsoft Can Track Users via a Windows Device ID 🔗

微软可通过Windows设备ID追踪用户

(77) How to Build a Minimal ZFS NAS Without Synology, QNAP, TrueNAS (2024) 🔗

无需 Synology、QNAP、TrueNAS 的极简 ZFS NAS 构建指南

(78) Bonnie Tyler has died 🔗

邦妮·泰勒去世

(79) Road to Elm 1.0 🔗

Elm 1.0 之路

(80) Building relationships with customers through support didn't turn out as hoped 🔗

通过支持建立客户关系的尝试未如期望

(81) Amazon without the knockoffs 🔗

没有假货的亚马逊

(82) Mesh LLM: distributed AI computing on iroh 🔗

Mesh LLM：在 iroh 上的分布式 AI 计算

(83) Ternlight – 7 MB embedding model that runs in browser (WASM) 🔗

Ternlight——7 MB 嵌入式模型在浏览器(WASM)中运行

(84) Prefer strict tables in SQLite 🔗

在 SQLite 中优先使用严格表

(85) Why American ambulance rides are so expensive 🔗

美国救护车收费为何如此昂贵

(86) Top researchers leave USA for the Netherlands (in Dutch) 🔗

顶尖研究者离开美国前往荷兰（荷兰语报道）

(87) A possible future for Damn Interesting 🔗

Damn Interesting 的未来可能走向

(88) Meta reuses old RAM in new servers with custom bridge chip 🔗

Meta 在新服务器中重复利用旧 RAM，配合定制桥芯片

(89) Learning to code is still worthwhile 🔗

学习编程仍然值得

(90) Ask HN: Add flag for AI-generated articles 🔗

Ask HN：为 AI 生成的文章加上标记

(91) Show HN: Ant – A JavaScript runtime and ecosystem 🔗

Show HN：Ant——一个 JavaScript 运行时与生态系统

(92) No leap second will be introduced at the end of December 2026 🔗

2026 年底将不再加入闰秒

(93) SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth 🔗

SpaceX计划再发射十万颗 Starlink 卫星以实现百倍带宽

(94) Female US rower completes historic solo journey from California to Hawaii 🔗

美籍女性单人划艇完成加州到夏威夷的历史性旅程

(95) Spider venom kills varroa mites without harming honeybees 🔗

蜘蛛毒素能杀死瓦螨而不伤蜜蜂

(96) We charge $10k a week to delete AI-generated code 🔗

我们以每周1万美元删除 AI 生成的代码

(97) Dua Lipa opens library for banned and censored books in Portugal 🔗

杜阿·利帕在葡萄牙开设被禁书籍图书馆

(98) Vint Cerf, “father of the Internet”, is retiring 🔗

互联网之父 Vint Cerf 将退休

(99) A road to Lisp: Why Lisp 🔗

走向 Lisp 的路：为何学习 Lisp

(100) Apple to increase spend with Broadcom to produce billions more U.S. chips 🔗

苹果将增加对博通的支出，在美国生产更多数十亿颗芯片

(101) PlayStation can delete all your digital games after 3 years of inactivity (EU) 🔗

欧盟规则可能使 PlayStation 在3年不活跃后删除所有数字游戏

(102) How to read more books 🔗

如何读更多的书

(103) Aluminum foil (2021) 🔗

铝箔（2021）

(104) AI-generated videos to maximally drive a target brain region 🔗

AI 生成视频以最大化激活目标脑区

(105) US seeks cheaper hunter-killer drones after Iran destroys $1B worth of Reapers 🔗

美国在伊朗摧毁价值10亿美元的 Reaper 无人机后寻求更便宜的猎杀型无人机

(106) GAO: DOE Is Prematurely Excluding Less Expensive Options for Nuclear Cleanup 🔗

DOE 在核清理中过早排除更便宜的选项

(107) Why skilled workers come to Germany and then leave again 🔗

为何熟练工人来到德国却又离开

(108) OpenBSD has a use-after-free allowing local privilege escalation to root 🔗

OpenBSD 存在使用后释放漏洞，可能本地提权至 root

(109) Small AI Models Gain Traction In places with unreliable networks 🔗

在网络不可靠的地区，小型 AI 模型获得关注

(110) Starring the Computer 🔗

让计算机成为主角

(111) SWE-1.7 Reach Near GPT 5.5 and Opus Intelligence 🔗

SWE-1.7 接近 GPT‑5.5 与 Opus Intelligence

(112) Ghostel.el: Terminal emulator powered by libghostty 🔗

Ghostel.el：由 libghostty 驱动的终端模拟器

(113) EU Commission: addictive design Instagram and Facebook in breach of the DSA 🔗

欧盟委员会：Instagram 与 Facebook 的成瘾设计违反 DSA

(114) Modern decor may be straining people's brains 🔗

现代装饰可能增加大脑负担

(115) The tech of 'Terminator 2' – an oral history (2017) 🔗

《终结者2》技术：口述史（2017）

(116) Why we built yet another Postgres connection pooler 🔗

为何又造了一款 Postgres 连接池

(117) Cloudflare Meerkat - Globally distributed consensus 🔗

Cloudflare Meerkat：全球分布式共识

(118) Completing a computer science degree on Coursera 🔗

在 Coursera 完成计算机科学学位

(119) Europe's company websites are mostly served by US vendors 🔗

欧洲公司网站大多由美国供应商提供服务

(120) Zuckerberg says AI agent development going slower than expected 🔗

扎克伯格：AI代理开发进展慢于预期

(121) Anthropic's Method to Losing Goodwill in a Few Easy Steps 🔗

Anthropic 迅速失去信任的幾步法

(122) In Emacs, everything looks like a service 🔗

在 Emacs 中，一切看起来像服务

(123) AI content is everywhere on social media, especially LinkedIn 🔗

社交媒体上的 AI 内容无处不在，LinkedIn 尤为明显

(124) Introduction to Genomics for Engineers 🔗

工程师的基因组学入门

(125) Separating signal from noise in coding evaluations 🔗

在编码评估中分辨信号与噪声

(126) Successful companies go blind 🔗

成功的公司会变得盲目

(127) Should DayQuil Be Legal? 🔗

DayQuil 应否合法化？

(128) GPT-5.6 Sol, along with Terra and Luna, will launch publicly this Thursday 🔗

GPT-5.6 Sol 将公开发布， Terra 与 Luna 同步上市

(129) Snails' teeth beats spider silk as nature's strongest material (2015) 🔗

蜗牛牙齿成自然界最强材料，超越蜘蛛丝（2015）

(130) Canada's only watchmaking school still ticking after 80 years 🔗

加拿大唯一制表学校在80周年之际仍在运转

(131) UPI: Anatomy of a Payment Transaction 🔗

UPI：支付交易的解剖结构

(132) We're extending access to Fable 5 on all paid plans through July 12 🔗

我们将把 Fable 5 的访问权限扩展到所有付费计划，直到 7 月 12 日

(133) We scaled PgBouncer to 4x throughput 🔗

PgBouncer 吞吐量提升四倍

(134) The shingles vaccine may reduce the risk of dementia 🔗

带状疱疹疫苗或降低痴呆风险

(135) How the terrorist group Boko Haram uses frontier AI 🔗

恐怖组织博科圣地如何利用前沿人工智能

(136) An agent in 100 lines of Lisp 🔗

用 100 行 Lisp 实现的智能体

(137) After 7 years in production, Scarf has reluctantly moved away from Haskell 🔗

生产七年后，Scarf 无奈放弃了 Haskell

(138) Show HN: Homegames. An open-source game platform I've been making for 8 years 🔗

Show HN：Homegames——我8年来在打造的开源游戏平台

(139) The Art of Computer Programming by Donald E. Knuth 🔗

唐纳德·E·克努斯的《计算机程序设计艺术》

(140) Ghost Font: A font that humans can read but AI cannot 🔗

幽灵字体：人眼可读、AI不可读的字体

(141) GLM 5.2 is nearly as accurate as a human book keeper 🔗

GLM 5.2 的准确度几乎达到人类簿记员水平

(142) FDA rejects petition to set PFAS limits in food 🔗

FDA 拒绝设定食品中 PFAS 限制的请愿

(143) Clojure 1.13 adds support for checked keys 🔗

Clojure 1.13 增加对检查键的支持

(144) Jim's TrueType QR Code Font 🔗

Jim 的 TrueType QR 码字体

(145) How Doctors die. It’s not like the rest of us (2016) 🔗

医生如何离世：与其他人不同（2016）

(146) The classifiers Anthropic puts in front of Fable are too zealous 🔗

Anthropic 为 Fable 设置的分类器过于严苛

(147) OfficeCLI: Office suite for AI agents to read and edit Microsoft Office files 🔗

OfficeCLI：供 AI 代理读取与编辑 Office 文件的办公套件

(148) Show HN: Rowboat – Open-source, local-first alternative to Claude Desktop 🔗

Rowboat：开源、本地优先的 Claude Desktop 替代品

(149) The great blogging collapse: What happened to 100 successful blogs? 🔗

博客的崩溃：100个成功博客去哪儿了？

(150) Astro 7.0 🔗

Astro 7.0

(151) Combustion engine web-based simulator 🔗

基于网页的燃烧引擎模拟器

(152) The vintage beauty of Soviet control rooms (2018) 🔗

苏联控制室的复古之美（2018）

(153) AI 2040 and the cult of intelligence 🔗

AI 2040与智能崇拜

(154) Apple Silicon Exec Explains Mac Mini AI Demand and On-Device Future 🔗

苹果芯片高管解读 Mac mini 的 AI 需求与设备端未来

(155) Does code cleanliness affect coding agents? A controlled minimal-pair study 🔗

代码清洁度会影响编程代理吗？一项受控的最小对比研究

(156) Lost city discovered beneath Egypt's desert with ancient church 🔗

埃及沙漠下发现失落城市与古教堂

(157) Networking and the Internet, from First Principles 🔗

从第一性原理理解网络与互联网

(158) LARP – Revenue infrastructure for serious founders 🔗

LARP——面向认真创业者的收入基础设施

(159) Punk, or why I don't stream anymore 🔗

朋克，或者为什么我不再直播

(160) Workers Cache 🔗

Cloudflare Workers 缓存机制

(161) RISCBoy is an open-source portable games console, designed from scratch 🔗

RISCBoy：一个开源便携式游戏机，从零设计

(162) Tiny Emulators 🔗

极小型仿真器预览

(163) A love letter to flashcards 🔗

致敬抽认卡

(164) How Kalshi Infects the News 🔗

Kalshi 如何影响新闻生态

(165) Girls just wanna have fast MPMC queues with bounded waiting 🔗

带有界等待的高速 MPMC 队列

(166) What Do We Know About the Microplastics Inside Us? 🔗

我们体内的微塑料到底有多少？

(167) Turning a pile of documents into a searchable useable knowledge base 🔗

把一堆文档变成可检索的知识库

(168) Fable 5 On Vending-Bench: Misbehaving, With Plausible Deniability 🔗

Fable 5 在 Vending-Bench 上：越界行为与可辩解性

(169) The Private Capture of Public Genius 🔗

公共天才的私有化捕获

(170) Linux on the Atari Jaguar 🔗

在 Atari Jaguar 上移植 Linux，真的

(171) Don't you mean extinct? 🔗

你是说该灭绝了吗？

(172) LineageOS Statistics 🔗

LineageOS 统计数据

(173) Mr. Baby Paint and accidentally discovering a new cellular automata 🔗

小宝宝绘画与偶然发现的新型元胞自动机

(174) Mayor Mamdani announces "Click-to-Cancel" rules 🔗

马姆丹尼市长宣布‘点击取消’规则

(175) Leaded gas was a known poison the day it was invented (2016) 🔗

铅汽油在发明之日就被视为毒物

(176) Show HN: Learn by rebuilding Redis, Git, a database from scratch 🔗

Show HN: 通过从头重建 Redis、Git 与数据库来学习

(177) War Atlas: An interactive cartography of every named war in human history 🔗

战争地图集：互动呈现人类历史上的所有命名战争

(178) Stop Telling Me to Ask an LLM 🔗

别再让我去问大型语言模型

(179) TLS certificates for internal services done right 🔗

内部服务的 TLS 证书正确配置

(180) New AI tutor achieves 0.71-1.30 SD effect size in Dartmouth course [pdf] 🔗

达特茅斯课程中的新AI辅导取得0.71–1.30标准差的效应量

(181) What Emily Bender meant by "stochastic parrots" 🔗

埃米莉·本德所指的随机鹦鹉

(182) GhostLock, a stack-UAF that has existed in all Linux distributions for 15 years 🔗

GhostLock：已在所有 Linux 发行版中存在 15 年的栈上使用后释放漏洞

(183) Alternate clock designs and time systems 🔗

替代时钟设计与时间系统

(184) Show HN: Yamanote.fun – A complete soundscape for Tokyo's Yamanote line 🔗

Show HN: Yamanote.fun – 东京山手线的完整声音景观

(185) We made Grok 4.5, GPT-5.5, and Claude build the same apps 🔗

我们让 Grok 4.5、GPT‑5.5 与 Claude 一起构建同样的应用

(186) Migrating a production AI agent to GPT-5.6: 2.2x faster, 27% cheaper 🔗

将生产级 AI 代理迁移至 GPT-5.6：速度提升 2.2 倍、成本降低 27%

(187) Computation as a universal and fundamental concept 🔗

计算被视为普遍且基本的概念

(188) Parental device use and the adolescent-caregiver attachment bond 🔗

父母设备使用与青少年-照护者依恋关系

(189) Delta flight hit by firework while landing at Midway Airport on Fourth of July 🔗

Delta 航班在 Midway 降落时被烟花击中

(190) I Built the Only 2026 WWII Jeep 🔗

我打造了唯一的2026年款二战吉普

(191) Japan's Hayabusa2 probe to conduct flyby of Torifune asteroid 🔗

日本的 Hayabusa2 探测器将对 Torifune 小行星进行掠过

(192) l: A new runtime for k and q 🔗

l：面向 k 与 q 的新运行时

(193) New Sweden: the US's long-lost 'secret' colony 🔗

新瑞典：美国长期被遗忘的“秘密”殖民地

(194) Copy That Floppy – Cambridge guide for preserving data from fragile floppy disks 🔗

拷贝那张软盘——剑桥的易损软盘数据保存指南

(195) Small Penis Rule 🔗

小阴茎规则

(196) Al Vigier: Canada's AI strategy shouldn't include secret Palantir bills 🔗

Al Vigier：加拿大的 AI 战略应避免秘密的 Palantir 账单

(197) Home made GPU escalated quickly [video] 🔗

自制 GPU 竟迅速升级成庞大工程 [视频]

(198) Mark Zuckerberg's biggest legal nightmare yet could cost Meta $1.4T 🔗

扎克伯格的头号法律噩梦或让Meta损失1.4万亿美元

(199) Cargo-nextest: 3x faster than cargo test, per-test isolation, first-class CI 🔗

Cargo-nextest：比 cargo test 快3倍、逐测隔离、CI 更好

(200) Kani: A Model Checker for Rust 🔗

Kani：Rust 的模型检查器

(201) Under federal rule, colleges must leave grads better off or lose financial aid 🔗

在联邦规定下，学校必须让毕业生的境况变好，否则可能失去联邦资助

(202) An iroh powered smart fan 🔗

由 iroh 驱动的智能风扇

(203) GPT-5.6, Grok 4.5, Claude, and Muse Spark build the same 4 apps 🔗

GPT-5.6、Grok 4.5、Claude 与 Muse Spark 共同构建相同的四个应用

(204) Amazon will stop accepting new customers for Mechanical Turk 🔗

亚马逊将停止接受 Mechanical Turk 新客户

(205) Show HN: Mindwalk – Replay coding-agent sessions on a 3D map of your codebase 🔗

Show HN: Mindwalk——在代码库的3D地图上回放编码代理会话

(206) Notes on Software Quality 🔗

软件质量笔记

(207) Understanding the Odin programming language 🔗

理解 Odin 编程语言

(208) Benchmarking coding agents on Databricks' multi-million line codebase 🔗

在 Databricks 的数百万行代码库上对编码代理进行基准测试

(209) So you want to learn physics (second edition, 2021) 🔗

你想学习物理吗（第二版，2021）

(210) Opinionated and easy Pi.dev configuration 🔗

对 Pi.dev 配置的主张式与易用性

(211) Biff.graph: structure your Clojure codebase as a queryable graph 🔗

Biff.graph：将 Clojure 代码库结构化为可查询的图

(212) The revenge of the philosophy majors 🔗

哲学专业的反击

(213) Python 3.14 compiled to metal – no interpreter 🔗

Python 3.14 可直接编译为原生代码，无需解释器

(214) Building a real-time AI tutor for 5-year-olds 🔗

为5岁儿童打造实时AI导师

(215) Show HN: Follow London Trains in 3D 🔗

Show HN: 用 3D 跟踪伦敦列车

(216) AI boosts research careers but narrow the span of ideas explored: study 🔗

AI 提升研究职业但缩窄思路范围

(217) Union Busters Coming After Me 🔗

工会打压者正在逼近我

(218) Pruning RAG context down to what the answer actually needs 🔗

将 RAG 上下文裁剪到回答所需的最小信息

(219) Weightlifting beats running for blood sugar control, researchers find (2025) 🔗

研究发现举重对血糖控制优于跑步（2025）

(220) Price per 1M tokens is meaningless 🔗

每百万 token 的价格毫无意义

(221) Egypt Is Building a New Nile 🔗

埃及正在建设一条新的尼罗河

(222) The early History of the Singular Value Decomposition (1993) [pdf] 🔗

奇异值分解的早期历史（1993）

(223) NSA and IETF: Fairness 🔗

NSA 与 IETF：公平性

(224) The mathematical secrets of Barcelona's Sagrada Familia 🔗

巴塞罗那圣家堂的数学秘密

(225) Suspecting AI cheating, Ivy League prof ordered in-person final; scores fell 50% 🔗

因怀疑 AI 作弊，常春藤大学一位教授要求现场参加期末考试；分数下降约50%

(226) DOJ Closing Abbott Labs Case Spurs Wider Corporate Crime Retreat 🔗

DOJ 结束 Abbott Labs 案件促发更广泛的企业犯罪执法回撤

(227) Cyberpunk Comics, Manga and Graphic Novels 🔗

赛博朋克题材的漫画、图像小说与漫画书

(228) Please don't discontinue Gemini 2.5 Flash 🔗

请不要停用 Gemini 2.5 Flash

(229) Irish datacenters now guzzle 23% of the country's electricity 🔗

爱尔兰数据中心耗电占比达 23%

(230) Why write code in 2026 🔗

为什么在 2026 年写代码

(231) How to hide from killer drones 🔗

如何躲避致命无人机

(232) OpenMandriva: Statement regarding attempted distribution sabotage 🔗

OpenMandriva：关于试图破坏发行版的声明

(233) Januscape: Guest-to-Host Escape in KVM/x86 [CVE-2026-53359] 🔗

Januscape：KVM/x86 的来宾到宿主逃逸漏洞（CVE-2026-53359）

(234) The difference between "today's task" and "accretive work" 🔗

“今日任务”与“累积性工作”的区别

(235) Book: RISC-V System-on-Chip Design 🔗

RISC-V 系统芯片设计（书籍）

(236) Your code is fast if you're lucky 🔗

你的代码若走运才会快

(237) Rotman Lens 🔗

Rotman透镜

(238) It seems that the age of reading might be a short anomaly in human history 🔗

阅读时代可能只是人类历史中的短暂异常

(239) Protobuf-py: Protobuf for Python, without compromises 🔗

Protobuf-py：Python 版 Protobuf，毫不妥协

(240) Dolosse – a South African invention used over the world 🔗

Dolosse：一种南非发明现已全球应用的海岸结构

(241) Geosql: A Claude/Codex skill for geospatial data 🔗

Geosql：用于地理空间数据的 Claude/Codex 技能

(242) Is The Economist Always Wrong? 🔗

经济学家总是错的吗？

(243) Scheme Is a Hoot 🔗

Scheme 真有趣

(244) Death of the Status Update: Why 55% of Americans Stopped Posting on Social Media 🔗

状态更新的时代结束：为何55%的美国人停止在社交媒体发帖

(245) FCC approves test of space mirror to light night sky 🔗

FCC批准测试太空镜以点亮夜空

(246) Run Windows 2000 on a DEC Alpha with a new es40 fork 🔗

在 DEC Alpha 上用新的 es40 分叉运行 Windows 2000

(247) Billions of Sketches Reveal Hidden Cultural Variation in Human Concepts 🔗

数十亿幅素描揭示人类概念的隐藏文化差异

(248) A bug which affected only left handed users 🔗

仅影响左撇子用户的漏洞

(249) I Learned to Read Again 🔗

我重新学会了阅读

(250) C programmers commit fresh crimes against readability 🔗

C 程序员在可读性方面再犯错

(251) Launch HN: Context.dev (YC S26) – API to get structured data from any website 🔗

Launch HN：Context.dev（YC S26）——从任意网站提取结构化数据的 API

(252) Automating AI Away 🔗

让 AI 自动化

(253) Why Vanilla JavaScript 🔗

为何选用 Vanilla JavaScript？

(254) Apple sues OpenAI, accusing it of stealing company secrets 🔗

苹果起诉 OpenAI，指控其窃取公司机密

(255) Why it's so difficult to produce American-made medical gloves 🔗

为什么很难实现100%美国产医用手套

(256) How we can reduce traffic congestion 🔗

协作的力量：如何减少交通拥堵

(257) Historic Photos of NASA's Cavernous Wind Tunnels 🔗

NASA 巨大风洞的历史照片

(258) AI Meets Cryptography 1: What AI Found in Cloudflare's Circl 🔗

AI 与密码学 1：AI 在 Cloudflare Circl 中发现的漏洞与改进

(259) Ask HN: What Are You Working On? (July 2026) 🔗

Ask HN：你在忙些什么？（2026 年 7 月）

(260) OpenSSH 10.4/10.4p1 Released 🔗

OpenSSH 10.4/10.4p1 发布

(261) Automation Without Understanding 🔗

无需理解的自动化

(262) Autopsy Study Finds Replicating SARS-CoV-2 in the Hearts of Long Covid 🔗

尸检研究发现长年新冠患者心脏中存在 SARS‑CoV‑2

(263) SimPolitics: America’s quest to solve politics with computers 🔗

SimPolitics：美国用计算机解决政治的探索

(264) Reverse centaurs are the answer to the AI paradox (2025) 🔗

反向半人马：AI悖论的答案（2025）

(265) NoiseLang: Where N = 5 is a Dirac delta 🔗

NoiseLang：当 N = 5 时成为 Dirac Delta 的语言

(266) Better Auth is joining Vercel 🔗

Better Auth 将加入 Vercel

(267) Show HN: Analog Watch 🔗

Show HN：模拟钟表

(268) Fixing analog audio on the $2.58 HDMI-to-VGA adapter 🔗

修复 $2.58 HDMI 转 VGA 适配器的模拟音频问题

(269) IEEE Rolls Out Large Language Models Training Course 🔗

IEEE 推出大型语言模型培训课程

(270) I Did Not Kill Stanley Lieber: How to Draw (With 9front) 🔗

我没有杀死斯坦利·李：用 9front 绘画

(271) Unicode's transliteration rules are Turing-complete 🔗

Unicode 的转写规则具备图灵完备性

(272) Ants: Who looks after the injured in a colony? 🔗

蚂蚁：蚁群里谁照看受伤者？

(273) Exit Chat Control 🔗

退出聊天控制计划

(274) Why are US consumers so angry? It's not just high prices 🔗

美国消费者为何如此愤怒？不仅是物价

(275) Inference Optimization for MiMo v2.5: Pushing Hybrid SWA Efficiency to the Limit 🔗

MiMo v2.5 推理优化：把混合 SWA 的效率推向极限

(276) Against Usefulness 🔗

反对实用性

(277) When AI Costs More Than the Engineer 🔗

AI 成本何时会超过工程师成本

(278) Unexpected Solidlike Fracture in Simple Liquids 🔗

简单液体的意外固态断裂

(279) Composite Video on the NES: Why's it so wobbly? 🔗

NES 的复合视频：为什么会抖动？

(280) Silent speech with ultrasound 🔗

超声实现的无声语言

(281) Remote Attestation 🔗

远程证明

(282) Focus 🔗

专注

(283) Mechanistic interpretability researchers applying causality theory to LLMs 🔗

机制性可解释性研究者把因果理论应用于大语言模型

(284) A dock that wakes up reliably 🔗

一个能可靠唤醒的扩展坞

(285) Cursed circuits #5: capacitance multiplier 🔗

诅咒电路 #5：电容乘法器

(286) Otary – Image and Geometry Python Library Now Has Tutorials 🔗

Otary：图像与几何 Python 库现已提供教程

(287) Pros and Cons of Solo Development 🔗

独立开发的利与弊

(288) Ditching Vagrant: VMs with KVM and Virsh on Debian 🔗

抛弃 Vagrant：在 Debian 上使用 KVM 与 Virsh 管理虚拟机

(289) TabFont – guitar tabs rendered as you type 🔗

TabFont：打字时实时渲染吉他和弦谱

(290) My Story of 3D Realms / Apogee Part I (2020) 🔗

3D Realms/Apogee 故事：第一部分（2020）

(291) Show HN: Pulpie – Models for Cleaning the Web 🔗

Show HN: Pulpie——用于净化网络的模型

(292) OpenWiki: CLI that writes and maintains agent documentation for your codebase 🔗

OpenWiki：用于代码库的命令行工具，自动撰写与维护文档

(293) The Supreme Court Just Lit a Fuse Under Flock's License Plate Camera Empire 🔗

最高法院为 Flock 的车牌识别帝国点燃导火索

(294) 1k Words: A Writing Contest 🔗

1k 字写作比赛

(295) Airplane Boneyards List and Map 🔗

飞机停场清单与地图

(296) A pure scheme web programming tool 🔗

一个纯 Scheme 的网页编程工具

(297) GhostLock, a stack-UAF that has existed in ALL Linux distributions for 15 years 🔗

GhostLock：一个在所有 Linux 发行版中存在了15年的栈上 UAF 漏洞

(298) Long Covid May Physically Damage the Nerves That Control the Stomach 🔗

长期新冠可能会物理性损伤控制胃功能的神经

(299) Google Search lets creators know more about their reach 🔗

谷歌搜索让创作者更清楚自己的触及范围

(300) Solar rail could become common in Europe after successful trial in Switzerland 🔗

瑞士成功试验后，太阳能铁路或将进入欧洲

(301) You need a webring 🔗

你需要一个 Webring

(302) Mapping homes you can buy from the US government for <$100k 🔗

从美国政府处以低于 10 万美元的房产清单

(303) Speculations Concerning the First Ultraintelligent Machine (1965) [pdf] 🔗

关于首台超智能机器的设想（1965）

(304) Show HN: Reverse-engineering web apps into agent tools 🔗

Show HN: 将网页应用反向工程为代理工具

(305) CS2 Fog Of War: Server-sided anti-wallhack occlusion culling for CS2 servers 🔗

CS2 Fog Of War：服务器端的遮挡剔除以对抗穿墙作弊

(306) Why low-latency Java still requires discipline? 🔗

为什么低延迟 Java 仍然需要自律？

(307) Count Binface 🔗

Count Binface

(308) Amber the programming language compiled to Bash/Ksh/Zsh 🔗

Amber：编译成 Bash/Ksh/Zsh 的编程语言

(309) Do you need separate systems when you already have Postgres? 🔗

当你已经有 Postgres 时，还需要分离的系统吗？

(310) Show HN: Orbit – AR satellite tracker, watch 15k+ objects 🔗

Show HN: Orbit – AR 卫星追踪器，监视 15k+ 颗对象

(311) Designing and assembling my first PCB 🔗

设计与组装我的第一块 PCB

(312) Show HN: FableCut – A browser video editor AI agents can drive (zero deps) 🔗

FableCut：浏览器端视频编辑器，AI 代理驱动（零依赖）

(313) Show HN: Neil the Seal Game 🔗

Show HN：Neil the Seal 游戏

(314) Show HN: PostgreSQL performance and cost across 23 EC2 instance types 🔗

Show HN：23 种 EC2 实例的 PostgreSQL 性能与成本

(315) In-browser programmable robot simulator 🔗

浏览器内的可编程机器人仿真器

(316) Unauthenticated RCE in Motorola's MR2600 Router 🔗

摩托罗拉 MR2600 路由器存在未授权远程代码执行漏洞

(317) Yt-Dlp Sequence Diagrams 🔗

Yt-Dlp 的序列图解

(318) Ask HN: Are systems ready for the first negative leap second? 🔗

Ask HN：系统是否已为首个负闰秒做好准备？

(319) AI changes the economics of software rewrites 🔗

AI 改变软件重写的经济学

(320) MIRA: Multiplayer Interactive World Models Trained on Rocket League 🔗

MIRA：在火箭联盟上训练的多人互动世界模型

(321) Apricot Computers: An underrated British brand 🔗

Apricot Computers：被低估的英国品牌

(322) Show HN: Wyrm – Solve algebra by touch, built on an open-source soundness engine 🔗

Show HN: Wyrm — 通过触觉解代数，基于开源 soundness 引擎

(323) MacSurf 1.68 – NetSurf on OS 9 Released 🔗

MacSurf 1.68——在 OS 9 上发布 NetSurf

(324) Martha Lillard, last US polio patient using iron lung, dies at 78 in Oklahoma 🔗

美国最后一位使用铁肺的脊髓灰质炎患者在俄克拉荷马去世

(325) ZeroFS vs. Amazon S3 Files 🔗

ZeroFS 与 Amazon S3 文件系统的对比

(326) Text art tools 🔗

文本艺术工具

(327) The family keeping watch over a 52-year-old pot of soup 🔗

52 年来守护的一锅汤：一家人的故事

(328) What is Bending Spoons? The little-known AOL and Vimeo owner that's now public 🔗

Bending Spoons：这家鲜为人知的 AOL 与 Vimeo 的控股公司如今公开上市

(329) Windows Drops Under 60% in Global Desktop OS Share for the First Time in Years 🔗

Windows 全球桌面操作系统市场份额首次跌破 60%

(330) What's slowing down the AI buildout 🔗

AI 推进为何受阻？

(331) Show HN: I mapped 8.5M research papers into an interactive atlas 🔗

Show HN：将 850 万篇研究论文映射成一个交互式图谱

(332) Show HN: Fast, native Mac file manager (filters, fuzzy find, 9 MB, no Electron) 🔗

Show HN：快速原生 Mac 文件管理器（筛选、模糊查找，9 MB，无 Electron）

(333) The mask that compiles to nothing: how HotSpots JIT learned to reason about bits 🔗

可编译成零的掩码：HotSpot JIT 如何对比特位进行推理

(334) PostHog Open Sourced 🔗

PostHog 开源发布

(335) Full Writeup of the Windows GDID 🔗

Windows GDID 的完整写实

(336) Behind the scenes with the Midjourney scanner [video] 🔗

Midjourney 扫描器幕后实录（视频）

(337) The Age of Personalized Hardware Is Coming 🔗

个性化硬件时代正在到来

(338) Show HN: Shirei, cross-platform GUI framework in native Go 🔗

Show HN：Shirei——用原生 Go 实现的跨平台 GUI 框架

(339) Patching MechCommander's "left arm bug" for fun and profit 🔗

修补 MechCommander 的“左臂漏洞”以求乐趣与利润

(340) DNSGlobe – Rust TUI to watch DNS propagate around the world 🔗

DNSGlobe：用 Rust 构建的文本界面监视全球 DNS 传播

(341) Dungeon Proof Crawler: learn how to write proofs with RPG 🔗

Dungeon Proof Crawler：用 RPG 学写证明

(342) When 2+2=5 🔗

当 2+2=5 时

(343) Jellyfish Undersea Roundabout 🔗

海底水母环形路口

(344) EF Core 11 makes your split queries faster 🔗

EF Core 11 提升拆分查询速度

(345) Why study Diophantine equations? 🔗

为何研究丢番图方程？

(346) Camera with transparent display launches for the equivalent of $29 🔗

透明显示屏相机以29美元上市

(347) In Praise of Observational Evidence 🔗

论观测证据的价值

(348) Who manages the agents? 🔗

谁来管理员工智能代理？

(349) Installing A/UX 1.1 like it's the 90s 🔗

像90年代一样安装 A/UX 1.1

(350) Show HN: Chiptune Radio 🔗

Show HN：Chiptune Radio 电台

(351) Neocities: Create your own free website 🔗

Neocities：打造你自己的免费网站

(352) Datacentres drive up big tech's carbon emissions to a third of those of France 🔗

数据中心让大型科技公司的碳排放达到法国的三分之一

(353) Digital Deli, 1984 book by early PC hackers and enthusiasts 🔗

Digital Deli：1984 年的早期 PC 黑客与爱好者

(354) Ben Bernanke Joins Anthropic Oversight Trust 🔗

本·伯南克加入 Anthropic 监督信托

(355) How Donkey Kong Toppled Atari 🔗

《Donkey Kong》如何让 Atari 崩盘

(356) I Built a Telegram Client for Pi 🔗

我为树莓派构建了一个 Telegram 客户端

(357) Syria's solar boom is redefining Middle East's energy model 🔗

叙利亚的光伏热潮正在重新定义中东的能源模式

(358) Show HN: Frugon – Find which LLM calls a cheaper model could handle (local, MIT) 🔗

Show HN：Frugon—找出哪些 LLM 调用可以由更便宜的本地模型处理（MIT 开源）

(359) M/PC – A Concatenative OS 🔗

M/PC——一个串连式操作系统

(360) The Sneakerweb 🔗

Sneakerweb：球鞋互联网的全景地图

(361) The LLVM Compiler Infrastructure 🔗

LLVM 编译器基础设施

(362) My quest to see all of Tetris 🔗

见识所有 Tetris 版本的探索之旅

(363) How to Start a Ruby Meetup 🔗

如何发起 Ruby Meetup

(364) The Complete Homemade Juggling Beanbag Guide 🔗

完全自制的杂耍豆袋指南

(365) Understanding B-Tree Indexes in PostgreSQL: A Comprehensive Guide– Part 1 🔗

PostgreSQL 中的 B-Tree 索引详解（第一部分）

(366) Using precision editing to study human embryo development shows master gene 🔗

使用精准编辑研究人类胚胎发育，揭示主控基因

(367) Kode Dot Programmable pocket device for makers, pentesters and geeks 🔗

Kode Dot：面向制造者、渗透测试人员与极客的可编程口袋设备

(368) Show HN: Docx-CLI: agents read/edit Word docs using 1/2 the time and tokens 🔗

Docx-CLI：代理可在一半时间和令牌成本读取/编辑 Word 文档

(369) A software engineering interview question I like: computing the median 🔗

一个我喜欢的软件工程面试题：计算中位数

(370) Almost Always Unsigned 🔗

几乎总是未签名

(371) Poly/ML – A Standard ML Implementation 🔗

Poly/ML——一个 Standard ML 实现

(372) A Erlang style pure Scheme Webserver and further 🔗

一种 Erlang 风格的纯 Scheme Web 服务器及后续

(373) C++ Details of Asymmetric Fences 🔗

C++ 非对称屏障的细节分析

(374) Europe's Largest Unions Demand Right to Cancel Work on Days Above 30C 🔗

欧洲最大的工会要求在气温高于 30°C 时取消工作

(375) DeepSeek aims to make its own AI chip 🔗

DeepSeek 打算自研 AI 芯片

(376) The Annotated JEPA 🔗

JEPA 的注解版

(377) Life with Hazard Ratios 🔗

带着风险比的生活

(378) Ditching Zotero for a Text File 🔗

放弃 Zotero，改用文本文件管理参考文献

(379) Electric anti-aircraft interceptor drone breaks world air speed record at 434mph 🔗

电动防空拦截无人机刷新世界空速纪录，434 mph

(380) Fixed three bugs that made Qwen3.5-122B a daily driver on Mac Studio 🔗

修复三个错误，使 Qwen3.5-122B 成为 Mac Studio 的日常驱动

(381) Moving to FreeBSD from Linux 🔗

从 Linux 迁移到 FreeBSD

(382) Acronym Fatigue Series Introduction: why I'm wary of acronyms 🔗

首篇系列：为何我对缩略词保持警惕

(383) Show HN: Reviving my 2001 college band with AI 🔗

Show HN：用 AI 复活我2001年的大学乐队

(384) Car touchscreens are cheap, not good 🔗

车载触控屏：便宜却不够好

(385) Lost and Found 🔗

Lost and Found

(386) ActivityPub over ATProto (2023) 🔗

ActivityPub 在 ATProto 上的实现

(387) The Clouds of Hiroshima 🔗

广岛之云

(388) Why we're moving off Cloudflare Durable Objects 🔗

为何我们要放弃 Cloudflare Durable Objects

(389) Patterncollider: Generate and explore quasiperiodic tiling patterns 🔗

Patterncollider：生成与探索准周期镶嵌图案

(390) Show HN: Reame – a CPU inference server that gets faster as it runs 🔗

Show HN: Reame – 一个运行时越跑越快的 CPU 推理服务器

(391) Deir El-Medina Strikes 🔗

德尔艾尔-梅迪纳罢工

(392) Dependencies should be fetched directly from VCS 🔗

依赖应直接从版本控制系统获取

(393) YC CEO says he ships 37K LoC AI code per day. A developer looked under the hood 🔗

YC CEO称每日交付3.7万行AI代码；开发者探究内幕

(394) Inkfield 🔗

Inkfield

(395) Triple Dragon Fractal (2020) 🔗

三龙分形（2020）

(396) Computational Balloon Twisting: The Theory of Balloon Polyhedra [pdf] 🔗

计算气球扭曲：气球多面体理论

(397) The One-Step Trap (In AI Research) 🔗

AI 研究中的“一步陷阱”

(398) Cpp2Rust: Translates C++ to safe Rust automatically 🔗

Cpp2Rust：自动将 C++ 转换为安全 Rust

(399) The Writers Who Wrote the Most in History 🔗

历史上写作最多的作家

(400) Why Write Code in 2026 🔗

为什么在 2026 年写代码

(401) Men's average testosterone levels have halved in last 50 years 🔗

过去50年男性平均睾酮水平下降约一半

(402) Automate Excel with Python: From manual grind to one-click workflow 🔗

用 Python 自动化 Excel：从繁琐工作到一键工作流

(403) Optimization Solver as a Service 🔗

将优化求解器作为服务

(404) Tropical forests facing increasing risks of exposure to critical temp thresholds 🔗

热带森林正面临越来越多暴露于关键温度阈值的风险

(405) AI Can't Recreate the Thrust Game (But It Can Help You Understand It) 🔗

AI 无法完全再现 Thrust 游戏，但能帮助你理解

(406) Build your own vulnerability harness 🔗

搭建你自己的漏洞利用框架

(407) Beyond Git: Real-Time Version Control for Godot – Lilith Duncan – GodotCon 2026 [video] 🔗

超越 Git：Godot 的实时版本控制

(408) How should group chats work in decentralized systems? 🔗

去中心化系统中的群聊应该如何运作？

(409) The Chinese Voice Actor Forced to Prove He's Human 🔗

被迫证明自己是人类的中国配音演员

(410) Storm clouds gather over America's financial supremacy 🔗

风云再起：美国的金融霸权面临挑战

(411) But Nothing Has Changed on Our Side 🔗

但我们这边却没变

(412) Anyone else get a vague GitHub shakedown notice? 🔗

还有人收到模糊的 GitHub 要价通知吗？

(413) Maxwell's Equations Were Discovered [video] 🔗

麦克斯韦方程被发现的视频

(414) Papa Johns Can Predict When Your Fridge Is Empty 🔗

Papa Johns 能预测你冰箱何时空空

(415) A 2048-spin bulk acoustic wave Ising machine for number partitioning and Sudoku 🔗

一个 2048 自旋的体声波伊辛模型用于数值分区与数独

(416) DKIM2 and DMARCbis Have Landed 🔗

DKIM2 与 DMARCbis 已落地

(417) Satteri: A Markdown pipeline forged in Rust for the JavaScript world 🔗

Satteri：用 Rust 为 JavaScript 世界打造的 Markdown 流水线

(418) Odin 1.0 Announcement 🔗

Odin 1.0 发布公告

(419) Preemption is GC for memory reordering (2019) 🔗

抢占即内存重排序的垃圾回收

(420) X402, a static blog monetization excercise 🔗

X402：一个静态博客货币化实验

(421) Show HN: Osint tool that finds exposed files on domains 🔗

Show HN：发现域名暴露文件的 OSINT 工具

(422) Theo de Raadt: "You've been smoking something mind altering" (2007) 🔗

Theo de Raadt：‘你一直在吸食某种会改变脑子的东西’（2007）

(423) Croc: Securely transfer files and folders between two computers 🔗

Croc：在两台计算机之间安全传输文件和文件夹

(424) Show HN: Runloom – Go-style coroutines for Python free-threaded 🔗

Show HN: Runloom——为 Python 提供 Go 风格的协程

(425) First Principles of Model Routing 🔗

模型路由的第一性原理

(426) Handsum: An LQIP Image File Format 🔗

Handsum：一种 LQIP 图像文件格式

(427) FreeCAD in the Browser 🔗

浏览器中的 FreeCAD

(428) BLISS 🔗

BLISS 编程语言

(429) How version control will evolve for the agent boom 🔗

代理热潮下版本控制将如何演进

(430) EndBASIC 0.14: Are we multimedia yet? 🔗

EndBASIC 0.14：我们已经具备多媒体能力了吗？

(431) Show HN: Earth Game – An offline CLI for turning life goals into quests 🔗

Show HN: Earth Game – 将生活目标转化为任务的离线 CLI

(432) Xbox 'OG' Adventures 🔗

Xbox 原版机的冒险之旅

(433) Hands-On with the AMD Ryzen AI Halo 🔗

AMD Ryzen AI Halo 实测

(434) Common prefix skipping, adaptive sort 🔗

常用前缀跳跃的自适应排序

(435) Do you hate XML? (2010) 🔗

你讨厌 XML 吗？（2010）

(436) How did Windows 95 decide that a setup program ran? 🔗

Windows 95 如何判断一个安装程序是否在运行？

(437) My burner email blocklist blocked me 🔗

我的临时邮箱黑名单把我挡住了

(438) My road trip with the do-gooding cactus smugglers 🔗

与善意仙人掌走私者同行的公路旅行

(439) Android is almost dead – OSnews 🔗

Android 几乎死亡：OSnews

(440) Pure-Python symbolic regression that rediscovered Kepler's law from 8 data point 🔗

纯 Python 符号回归用 8 个数据点重新发现 Kepler 定律

(441) Unified Memory, Explained: Why Mini PCs Can Run 70B Models a Big GPU Can't 🔗

统一内存解析：为何小型 PC 能跑 70B 参数模型，而大型GPU 做不到

(442) Generate parametric, manufacturable 3D models in seconds 🔗

秒生成参数化可制造的3D模型

(443) Evaluation order and nontermination in query languages 🔗

查询语言中的求值顺序与非终止性

(444) Show HN: LastShelf – an emergency map of your family's documents bills& contacts 🔗

LastShelf：家庭紧急档案地图

(445) Show HN: Scan your AI agents for dangerous capabilities 🔗

Show HN：扫描你的 AI 代理的危险能力

(446) Profiling the "Abundance" housing bottleneck with real data 🔗

用真实数据分析“Abundance”住房瓶颈

(447) Fable extended until 19 July 🔗

Fable 延长至 7 月 19 日

(448) Ask HN: Is GitHub preparing to go behind a login wall? 🔗

Ask HN：GitHub 是否准备让内容走向登录墙？

(449) GitHub Freno: cooperative, highly available throttler service 🔗

GitHub Freno：协作、高度可用的限流服务

(450) The footgun of right-to-left decorative characters 🔗

从右到左装饰字符的坑

(451) Ask HN: Why isn't Google indexing information about the AT Protocol? 🔗

Ask HN：为什么 Google 没有对 AT Protocol 进行索引？

(452) Ways to think about token pricing 🔗

关于代币定价的思考方式

(453) Apache Shiro security framework releases 3.0.0 🔗

Apache Shiro 安全框架发布 3.0.0

(454) Show HN: Free Mermaid Diagram Editor 🔗

Show HN：免费的 Mermaid 图表编辑器

(455) Modernizing Property Tax Assessments in Allegheny County 🔗

Allegheny County 房产税评估现代化

(456) Flash-MSA: Accelerating Million-Token Training with Sparse Attention Kernels 🔗

Flash-MSA：通过稀疏注意力核实现百万级令牌训练加速

(457) An interactive explorer for Benford's Law across real datasets 🔗

一个用于 Benford 法在真实数据集中的互动探索器

(458) TK, or the secret to effortless writing (2024) 🔗

TK，写作的秘密（2024）

(459) The Making of Claude Code 🔗

Claude Code 的诞生

(460) What's the best way to do authentication in modern applications 🔗

现代应用中的认证最佳实践

(461) Star Just Ate a Planet, and It's Not Done Yet 🔗

恒星吞噬行星，尚未结束

(462) Every postcard tells a story 🔗

每张明信片都讲述一个故事

(463) Show HN: Sqlsure – deterministic semantic checks for AI-generated SQL 🔗

Show HN: Sqlsure——用于 AI 生成 SQL 的确定性语义检查

(464) The four horsemen behind Postgres outages 🔗

PostgreSQL 停运背后的四大因素

(465) Software Engineer's Firing Ruled Illegal in a Rare Win for a Tech Worker 🔗

软件工程师被解雇判定违法，这是科技行业少见的胜利

(466) Show HN: Abralo – Free, easy way to run several Claude Code agents in one window 🔗

Show HN: Abralo — 免费、简便地在一个窗口中运行多个 Claude Code 代理

(467) Show HN: Kastor – Terraform-style specs for AI agents 🔗

Show HN: Kastor — 面向 AI 代理的 Terraform 风格规格

(468) Reducing Doom Loops with Final Token Preference Optimization 🔗

用最终令牌偏好优化减少 Doom 循环

(469) Tell HN: Who wants to be hired" posts outpace "Who's hiring" 2 to 1 🔗

Tell HN：Who Wants to Be Hired 的帖子数量为何比 Who's Hiring 多两倍

(470) Cache-Conscious Data Layout in Rust: Field Zoning, False Sharing, 128-Byte Rule 🔗

Rust 中的缓存感知数据布局：字段分区、伪共享与 128 字节规则

(471) I Changed My Name 🔗

我改名了

(472) The Energetic Costs of Cellular Computation (2012) 🔗

细胞计算的能量成本（2012）

(473) Show HN: Halo – open-source, tamper-evident runtime evidence for AI agents 🔗

Halo：开源、防篡改的 AI 代理运行时证据

(474) Why We Don't Trust the Database with Authentication 🔗

为什么我们不信任数据库中的身份验证

(475) Documentation is still in your Mum's filing cabinet 🔗

文档仍在妈妈的档案柜里

(476) Show HN: Agent Draw: An agent draws while you talk, built on TLDraw 🔗

Show HN: Agent Draw: An agent draws while you talk, built on TLDraw

(477) Architecture Description Languages [pdf] 🔗

架构描述语言（ADLs）[PDF]

(478) Autoresearch, Claude and Constrained Optimization 🔗

Autoresearch、Claude 与约束优化

(479) Show HN: Nectar, a Rust-like React that compiles to WebAssembly 🔗

Show HN：Nectar，一种像 Rust 的 React，能够编译为 WebAssembly

(480) Materials innovation has a scale-up problem, not discovery 🔗

材料创新的问题在于放大阶段，而非发现阶段

(481) The State of MCP Security [pdf] 🔗

MCP 安全现状（PDF）

(482) Most slopcode projects are abandoned and deleted within months of release 🔗

大多数 slopcode 项目在发布数月内就被放弃并删除