卡片列表 ‹ 10-07 10-10 › 下载 EPUB

HN 日报 · 2026-10-08

今日怎么读：先看速览 → 深读必读 → 需要时展开扫读

Layer 1

今日速览

必读

8 则 · 热度 × 产品相关
1

Anthropic 发布 Claude Haiku 5.5：便宜九成，追平 GPT-6 Luna

10 万 token 以内输入 $0.10、输出 $0.50 每百万 token；Sonnet 5.5 缓存读取半价；Max 和 Team 订阅每月送 API 额度。

🔥 655 | 💬 328 🔗 文章 💬 讨论
Anthropic 终于有了一个价格能打的小模型，用来做摘要、分类、子代理这类大量重复的活。

事实

  • 官方称 Haiku 5.5 平均运行成本比 Haiku 4.5 低约 75%：10 万 token 以内便宜 90%，超过 10 万便宜 50%，超出部分单价是原来的 5 倍。
  • 成绩：OSWorld 2.1（电脑操作）72.4%，Haiku 4.5 是 15.7%，GPT-6 Luna 是 48.9%；Terminal-Bench 4.0（终端编程）39.2%，Luna 16.4%。
  • 这是第一款能调「思考力度」的 Haiku，可以在成本和智能之间自己选。
  • Max 5x 每月送 $100 API 额度，Max 20x 送 $200，Team 最多 $500（团队共用）；Sonnet 5.5 缓存读取降价一半，多数代理任务便宜约 20%。

解读

  • 对产品：一个强模型负责规划，再派一群便宜小模型干活（子代理），这种架构的成本又降了一档。
  • 10 万 token 的分档线要算进成本模型。长上下文的活（整个代码库、长文档）很快会越线，单价会跳到原来的 5 倍。
  • 订阅送 API 额度，等于让个人开发者用订阅钱给自己的应用付模型费，用户被往 Claude 平台上拉。

讨论

  • 正方simonw 实测：Haiku 和 Luna 在 10 万 token 内同价；画「骑自行车的鹈鹕」最低档 7 秒、0.09 美分，最高档 5 分钟、3.4 美分。Plotly 的数据分析测试说它比 Haiku 4.5 便宜 9 倍，成绩高两档。
  • 反方有人嫌 10 万的分档线太低；还有人指出 Claude 的 10 万 token 大约只相当于 GPT 的 6 万多 token，实际差距更大。
  • 反方有评论者认为，送额度是借新模型发布，把 Claude Agent SDK（claude -p）从订阅里挪到按 API 计费，换个说法推进六月那次被撤回的改动。
  • 共识复杂界面（图片转 HTML）它还做不好，最适合范围清楚的小任务。
2

GPT-6 开放给所有 ChatGPT 用户，回答可以直接是交互界面

OpenAI 推出 Intelligent UI：模型自己决定用文字、图表、按钮还是小工具来回答，付费用户今天起、免费用户明天起。

🔥 482 | 💬 251 🔗 文章 💬 讨论
聊天框不再只吐文字。模型开始按问题现场「生成界面」，这是对传统软件交互方式的一次直接挑战。

事实

  • GPT-6 的回答可以包含图形、可点按钮、表单、图表，以及分账计算器、储蓄计算器、小游戏这类即时工具。
  • 做法：一套原生、可流式渲染的组件库，加一个边生成边编译界面的编译器；训练时专门评估界面是否清楚、有用、完整。
  • Plus、Pro、Business、Enterprise 今天起在 Chat 里上线（用 GPT-6 Sol），Free 和 Go 明天起（用 GPT-6 Luna）；Work 和 Codex 用的模型不变。
  • OpenAI 说 ChatGPT 每周有超过 12 亿用户；GPT-6 还能边想边开始回答。

解读

  • 对产品：如果模型能为一次性问题现场做个小工具，很多「只做一件小事」的 App 和网页会被替代。
  • 关键在判断力：什么时候该画界面，什么时候一句话就够。OpenAI 自己也承认这部分还要改进。
  • 术语：「一次性界面」= 只为当前这一问生成、用完就丢的界面，评论里有人叫它「纸盘子 UI」。

讨论

  • 正方有人一直把这叫「纸盘子 UI」，很看好，前提是够快；也有人感叹，Bartosz Ciechanowski 那种精心打磨的交互讲解，现在也能被自动生成了。
  • 反方有人看了周日烤肉的对比示例反而反感：大量留白、清单和图片，像在把人当小孩哄。
  • 反方几位评论者认为这是在给广告铺路——OpenAI 几天前刚推出 ChatGPT 的视觉广告格式。
  • 有人翻系统卡发现，GPT-6 在「未成年用户安全回复」的自残、血腥等评测上比上一代有统计显著的退步。
3

报道：微软和 Meta 开始压缩员工的 Claude 使用

据 The Information，微软部分员工的 AI 月度额度从 10 万美元降到约 1 万；Meta 的 Claude Code 用户从 6 万降到 3 万，转向自家工具。

🔥 265 | 💬 262 🔗 文章 💬 讨论
大公司开始认真算 AI 编程工具的账，同时把预算转给自己的模型和工具。

事实

  • 微软原本预计内部每年在 Anthropic 上花超过 10 亿美元，管理层要求员工少用 Claude、多用 GitHub Copilot 和 OpenAI 的工具后，这个预计降了三分之一以上。
  • 微软云和 AI 部门多数员工的月度 AI 额度上限从 10 万美元降到约 1 万美元；这是上限，不是实际花费。客户通过微软平台使用 Anthropic 模型的支出仍在涨。
  • Meta 的 Claude Code 用户从年初约 6 万降到约 3 万，主要原因是转向自家的 MetaCode（3 万多内部用户）和 Muse Code（6000 多）。但 Meta 仍在 28 天内为 Claude Code 花了超过 1.05 亿美元。

解读

  • 对产品：AI 工具的采购，正从「先让大家随便用」走到「按预算管」。卖 AI 编程工具的团队要准备好讲清楚投入产出。
  • 用户数减半、花费仍然很高，说明少数重度用户贡献了大部分 token。按人头收费和按用量收费会越来越分化。
  • 大客户本身也是竞争对手，这是模型公司收入结构里的长期风险。

讨论

  • 主流看法：这主要是自家模型要「吃自己的狗粮」，不是因为 Claude 不好。也有人反驳，微软谈不上前沿 AI 公司，更多是转卖别人的模型。
  • simonw 纠正一个流传的说法：2025 年 Anthropic 四分之一收入来自两个客户，是 GitHub Copilot 和 Cursor，不是 Meta。
  • 正方有人说公司刚因为太贵收回了他的 Claude，认为会计终于开始算「token 最大化」的成本了。
  • 反方也有人被经理点名，说他 token 花得不够多。
  • 共识很多人认为「够用的 AI」时代到了，大部分任务不需要最强的模型。
4

OpenAI 公开内部模型的一批数学成果（热度续涨）

昨天已收录，今天升到热度第一、评论破 1400 条：预印本放在 GitHub，附部分 Lean 证明；唯一博弈猜想、Barnette 猜想都在列。

🔥 1226 | 💬 1402 🔗 文章 💬 讨论
AI 做数学从「解竞赛题」走到「批量出论文」，接下来的瓶颈是人类能不能及时读懂和核实。

事实

  • 结果来自 OpenAI 一个未发布的内部前沿模型，以预印本形式放在 openai/math 仓库，附修订和引用规则。
  • 发布方式参考了普林斯顿高等研究院（IAS）数学与 AI 顾问组的建议；部分证明有 Lean 形式化，之后会补更多。
  • 清单里包括唯一博弈猜想、Barnette 猜想，以及自 1979 年起悬而未决的三机单位作业调度问题。

解读

  • 对可信度：Lean 证明是关键，没有机器检查的部分只能算「声称」。今天另一条论文（见下一张卡）正好在挑这一环。
  • 对行业：研究型成果开始按「批」发布，发布规范（怎么引用、怎么修订）本身成了产品的一部分。
  • 术语：唯一博弈猜想（UGC）= 计算复杂性里的核心猜想，很多「近似算法做不到更好」的结论都靠它。

讨论

  • 正方一位研究 Barnette 猜想 24 年的评论者说，这次的证明走的正是他试过的方向；另一位此前用最强模型攻这道题失败，说新证明读得懂。
  • 有人统计：七个千禧年难题里，LLM 已在四个上有实质进展，并解决了 Navier–Stokes；P vs NP 和 Yang–Mills 还没有动静。
  • 反方有人提醒，模型常会自信地犯细微错误，所以很庆幸 OpenAI 在做形式化；也有人觉得某个算法的运行时间界写得很怪，降低了对结果的信心。
  • 共识真正的检验是数学界接下来几个月的核实。
5

论文：Lean 验证通过，不代表 AI 的原证明是对的

三位作者以 OpenAI 的 Navier–Stokes 爆破证明为例，说 AI 把自然语言证明翻成 Lean 时会走样，形式化证明和原文对不上。

🔥 244 | 💬 152 🔗 文章 💬 讨论
「机器验证过」只保证 Lean 里那份证明成立，不保证它就是你读到的那份证明。

事实

  • arXiv 2610.08144，作者 Bastounis、Circelli、Hansen，题为「Navier–Stokes 翻译中的失真」。
  • 论文主张：把自然语言数学忠实翻译成形式语言，难度在可计算性层级上是无限高，比停机问题还难。
  • 文中举了多个 AI 误译的例子，其中包括 OpenAI 宣布的 Navier–Stokes 证明：Lean 版本和自然语言版本不对应。
  • 作者声明：他们不评价 OpenAI 自然语言证明本身对不对，只讨论翻译到 Lean 的偏差。

解读

  • 对产品：这和「代码能编译不等于没 bug」是一回事。任何「AI 生成 + 自动校验」的流程，都要检查校验的对象是不是你真正关心的东西。
  • 真正要人工把关的是「题目陈述」：只要 Lean 里的定理和原问题等价，证明过程走样也不影响结论。
  • 术语：自动形式化 = 让 AI 把人写的数学翻成 Lean 这种机器能检查的语言。

讨论

  • 多位评论者澄清：论文没说 Navier–Stokes 没被证明，只是说给出了两份对不上的证明。
  • 正方有人类比：Lean 证明成立很容易验证，它证的是不是我们想要的东西要难得多，就像代码编译通过不代表没 bug。
  • 反方有人认为论文「基本没说什么」：自然语言本来就不如 Lean 精确，有多种翻译方式；另一位说例子更像模型在形式化时改了证明（m+4 变 m+5），而不是误译。
  • 共识关键在 Lean 里的定理陈述是否等价于克雷研究所的原题；有人说陈述本身就可能和证明一样难，也有人反驳 300 行 Lean 没那么难核对。
6

Visa、万事达和五大银行再遭商户集体诉讼

圣地亚哥一家披萨店起诉称，卡组织和银行串通维持刷卡手续费，此前 50 多亿美元的和解没有改变问题。

🔥 477 | 💬 340 🔗 文章 💬 讨论
刷卡费这件事，靠和解解决不了；只要规则不变，官司就会一轮轮来。

事实

  • 案名 The Pizza Standard LLC v. Visa Inc. 等，2026 年 9 月 30 日在纽约提起，依据《谢尔曼反垄断法》，起诉书 134 页。
  • 被告包括 Visa、万事达、美国银行、Capital One、大通、花旗、富国。
  • 指控：双方几十年来统一制定交换费（商户付给发卡行的费用），并用「接一张卡就得接所有卡」、禁止商户引导顾客改用便宜支付方式等规则锁住商户。

解读

  • 对产品：支付成本是很多小生意的大头。绕开卡组织的方式（银行转账、App 内绑定账户、巴西 PIX 这类即时支付）一直有空间。
  • 规则比费率更重要：能不能加收手续费、能不能引导顾客换支付方式，决定了竞争有没有可能发生。
  • 术语：交换费 = 每笔刷卡里商户付给发卡银行的那部分，是手续费的主体。

讨论

  • 有人观察到，大型加油站在推 App + 银行账户直扣，每加仑便宜 10 美分，因为刷卡成本更高；也有人不放心把支票账户权限交给加油站 App。
  • 正方有人主张允许商户直接加收刷卡费，或者至少在小票上写明手续费。
  • 反方有人不想再看到标价和实付对不上；也有人认为卡组织提供的价值（信用、反欺诈）显而易见。
  • 商户吐槽：Stripe 遇到拒付会立刻扣 15 美元，无论结果如何都不退。还有人提到巴西 PIX，问为什么英国有快速支付还离不开 Visa。
7

Chrome 155 重新支持 JPEG XL，解码器用 Rust 重写

几年前被 Chrome 移除的图片格式回来了：比 JPEG 压缩率高 30–50%，支持无损和 HDR；Firefox 也快了。

🔥 478 | 💬 308 🔗 文章 💬 讨论
大公司把移除的功能又加回来，少见；理由是用户呼声，加上用 Rust 解决了安全顾虑。

事实

  • Chrome 155 起支持解码 .jxl：比 JPEG 压缩率高 30–50%，支持无损压缩、HDR，以及把现有 JPEG 无损转码。
  • 解码器用纯 Rust 实现（jxl-rs），并做了不需要 unsafe 代码的 SIMD 加速，在安全和速度之间不必取舍。
  • Google 建议 AVIF 和 JPEG XL 都试试；JPEG XL 更适合高保真、无损照片和需要渐进加载的场景。

解读

  • 对产品：图片格式能不能用，取决于最大的浏览器支不支持。现在 Safari、Chrome 都有，Firefox 也在路上，生态卡点基本解开了。
  • 用内存安全的语言重写高风险的解析器（图片、字体、压缩包），正在成为大厂的标准做法。
  • 术语：渐进解码 = 图片先显示模糊版，再逐步变清楚；SIMD = 一条指令同时处理多份数据，用来加速编解码。

讨论

  • 正方评论者说 Firefox 158 也会支持，十月内 JPEG XL 会从「只有 Safari」变成多数浏览器可用；也有人觉得它能给 WebP 补上最后一刀。
  • 一位前 Google 员工回忆：当年 Chrome 一宣布放弃 JPEG XL，Pixel 相机等产品几小时内就跟着停了支持。
  • 反方有人提醒 libjxl 过去有严重安全漏洞，这也是当年被移除的原因之一；也有人打算等到明年初再上线生产。
  • 共识大家最在意的是 Google「删了又加回来」这件事本身，以及新格式在各种 App 之间的兼容会持续很久。
8

Show HN：Bigwords，把任何屏幕变成一块大字牌

消息直接写在网址里，不用注册、不存服务器；接机牌、倒计时、Wi-Fi 密码，一个链接就是整块显示屏。

🔥 344 | 💬 108 🔗 文章 💬 讨论
一个很小、很清楚的点子：把状态放进 URL，产品就不需要后端。

事实

  • 文字写在网址 # 后面；用 &bg=、&fg=、&font= 调颜色和字体，|| 分页轮播，还支持倒计时和二维码（比如 Wi-Fi 二维码）。
  • 作者的起因：想让一台只能远程管理、碰不到实体的平板显示一句话，于是让网址本身成为消息。
  • # 后面的内容浏览器不会发给服务器，所以作者看不到你的消息。

解读

  • 对产品：没有账号、没有数据库，分享和收藏就是复制链接。小工具的分发成本几乎为零。
  • 有一个真实但被低估的需求：数字标牌。评论里有人认为一台 kiosk 浏览器加一个网页，就能替代很多昂贵的标牌系统。
  • 术语：URL 片段 = 网址里 # 之后的部分，只在浏览器本地使用，不发给服务器。

讨论

  • 正方一位听障评论者说他经常要用大字和人沟通，打算自己部署一份；还有很多人当场做了自己的牌子。
  • 有人指出 Firefox 下文字缩放的 bug（scrollWidth 计算包含空格），作者承认只在自己的浏览器里测过。
  • 反方有人说首页文案（「网址就是应用」「不用 App、不用登录、只要一个链接」）读起来像 LLM 写的。

扫读

9
Apollo 软件负责人 Margaret Hamilton 去世，享年 90 岁

她带领 MIT 团队编写了把人类送上月球的机载软件，「软件工程师」这个说法也和她有关。

🔥 614 | 💬 68 🔗 文章 💬 讨论

软件能被当作严肃的工程来做，她是最早证明这一点的人之一。

事实

  • MIT 新闻 10 月 7 日发布讣告：Hamilton 领导登月舱和指令服务舱的机载飞行软件团队，共 400 多人。
  • 那张站在一摞打印纸旁的著名照片摄于 1969 年；她 2016 年获总统自由勋章，2017 年进入乐高「NASA 女性」套装。

解读

  • 对今天的意义：在没有任何现成方法的年代，她把容错、优先级调度这类思想放进了必须一次成功的系统。
  • 很多人现在用 AI 写代码，更显出「软件工程」原本的意思：为不能出错的系统负责。

讨论

  • 多位评论者说「软件工程师」这个词是她提出的，有人还找到了最早的访谈出处。
  • 有人纠正：照片里那摞纸是 Apollo 模拟器的运行输出，不是源代码；Apollo 11 的代码可以在 GitHub 上读。
  • 共识大量悼念；有人回忆三十年前见过她和 Draper 实验室的老同事，「完全不在一个层次」。
10
最长寿陆地动物「乔纳森」测序：194 岁的龟

这只亚达伯拉象龟约 1832 年出生，研究发现它在多条衰老相关通路上有独特基因变异。

🔥 40 | 💬 10 🔗 文章 💬 讨论

长寿个体的基因组，是研究衰老的天然样本。

事实

  • 乔纳森约 1832 年孵化于塞舌尔，1880 年代被送到圣赫勒拿岛，一直生活到现在。
  • 研究发表在《Science Advances》，对比其他象龟后发现，它在 DNA 修复、胰岛素调节、线粒体功能和甲基化等通路上有独特变异。
  • 样本由美国太空军从圣赫勒拿送到佛罗里达，评论解释是因为太空军在附近的阿森松岛有基地。

解读

  • 一个个体的样本量很小，结论更像线索，不是答案。
  • 长寿研究正在从「吃什么」转向「哪些基因通路在起作用」。

讨论

  • 有人调侃这是「把属性点全加在寿命上，牺牲了速度和魅力」，马上有人反驳说它魅力十足。
  • 有人指出海洋生物能活五六百年甚至更久，陆地动物还没破 200 岁。
  • 反方也有人希望大家别再打扰这只龟。
11
《Science》：富兰克林其实早就看出了 DNA 螺旋

两位研究者认为，Rosalind Franklin 知道早先的照片已显示螺旋，这正是她去拍更清晰的「51 号照片」的原因。

🔥 49 | 💬 31 🔗 文章 💬 讨论

科学史里「谁先想到」的问题，常常取决于笔记怎么读。

事实

  • 文章援引科学史学家 Alistair Sponsel 和晶体学家 Brian Sutton 的观点：Franklin 早就意识到螺旋，这个顿悟后来被 Watson 揽到自己身上。
  • 原文抓取失败，以上来自评论引用的原文片段；HN 上还有同一话题的重复帖。

解读

  • 「DNA 结构」其实是几步：是螺旋、是双螺旋、碱基怎么配对，不同人贡献了不同的部分。
  • 署名和功劳的分配，几十年后仍在被重新评估。

讨论

  • 正方一位自称 DNA 爱好者的评论者说，按 Franklin 的笔记，她确实想到了双螺旋和中间的碱基互补，这是他见过的第一份实证。
  • 反方有人说文章绕来绕去，最终没有明确说她先发现了双螺旋；也有人引用 Judson 的书，认为她始终没有迈出那一步。
  • 有人认为做纤维衍射的人本来就知道是螺旋，争议点在于是否理解了螺旋参数的意义。
12
维也纳和北京的首批钍核钟开始运行

《纽约时报》报道，基于钍-229 原子核的「核钟」首次跑起来；评论补上了《Nature》原论文链接。

🔥 20 | 💬 1 🔗 文章 💬 讨论

计时精度可能迎来下一代：从「原子钟」走向「核钟」。

事实

  • 据《纽约时报》标题，维也纳和北京的首批钍核钟已开始运行（原文抓取失败，细节未能核实）。
  • 唯一一条评论贴出了对应的《Nature》论文链接，并吐槽《纽约时报》没给出处。

解读

  • 背景：普通原子钟靠电子跃迁计时；核钟利用原子核本身的跃迁，钍-229 的核跃迁能量特别低，能用紫外激光激发，被认为更稳定、更不受环境干扰。
  • 更准的钟会影响卫星导航、通信同步，以及检验基础物理常数是否随时间变化。

讨论

  • 只有一条评论，补充了《Nature》原论文链接，没有展开讨论。
13
Docker 开源 Docker Agent：用 YAML 定义和运行 AI 代理

作为 docker 命令行插件，支持多代理协作、任意 MCP 工具、多家模型，还能把代理推到镜像仓库分享。

🔥 172 | 💬 81 🔗 文章 💬 讨论

Docker 想把「代理」做成像容器一样可以打包、分发、运行的东西。

事实

  • 用 YAML 声明代理、模型、指令和工具，docker agent run 即可运行；Docker Desktop 4.63+ 预装，Apache-2.0 许可。
  • 支持 OpenAI、Anthropic、Gemini、Bedrock、Mistral、xAI 和本地模型；内置思考、待办、记忆工具和 RAG 检索。
  • 代理可以推送到任意 OCI 镜像仓库，在别处拉下来就能运行；另有沙箱模式（跑在虚拟机里）。

解读

  • 对产品：「打包和分发」是 Docker 的老本行，它押注代理也需要同样的标准化格式。
  • 术语：harness（代理框架）= 包在模型外面、负责调用工具和管理流程的那层程序；OCI 仓库 = 存放容器镜像的标准仓库。

讨论

  • 反方有人说代理框架正在变成当年的 JS 框架，人人都有一个；还有人列出五六个相似项目，说已经分不清各自干什么。
  • 反方有人质疑「无需写代码」算什么卖点，现在代理本来就能瞬间生成大量代码。
  • 有人找不到安全说明，回复指出不开沙箱模式时它直接跑在本机，沙箱模式是一台虚拟机而不是容器。
  • 共识模型在趋同，框架层大家都在找自己存在的理由。
14
「把 if 往上推、把 for 往下压」：一条编程习惯的代数解释

从 TigerBeetle 的代码规范出发，把这条习惯类比到数据库查询优化和函数式编程里的定律，并讨论它的边界。

🔥 102 | 💬 50 🔗 文章 💬 讨论

分支集中在上层、循环集中在下层，代码更好读，有时也更快。

事实

  • 出处是 TigerBeetle 的 Tiger Style 规范：控制流集中在父函数，辅助函数只做不分支的计算；matklad 2023 年也写过同名文章。
  • 作者把它类比为数据库里「先投影、后连接」，以及函数式编程中 filter 和 map 的交换律。

解读

  • 对团队：这类规范的价值在于让「谁负责做决定」一目了然，减少到处散落的判断。
  • 编译器有时会自动做这种变换（循环外提判断），但遇到指针别名等情况就做不了。

讨论

  • 反方有人说这是把一个简单想法写成冗长、充满类比的长文，像 LLM 的手笔；也有人回应作者写了很多年，书就摆在他办公室。
  • 反方有人一直信奉相反的做法：把条件判断压到底层，让上层流程保持规整。
  • 有人建议直接读 matklad 的原文；还有人指出 C# 9 起运行时会自动做这种优化，但在 C/C++ 和 JVM 上常因别名和可变状态做不了。
15
用 Swift 写一个最小内核，在 QEMU 里跑起来

作者用 Embedded Swift 写了一个只会打印一句话然后等待的内核，记录在没有操作系统时程序要准备什么。

🔥 10 | 💬 3 🔗 文章 💬 讨论

Swift 也能用来写裸机程序了，门槛比想象低。

事实

  • 使用 Embedded Swift（为无操作系统、无标准库环境设计的 Swift 子集），在 QEMU 虚拟机里运行。
  • 按 Swift 团队成员的建议，用新的 @c 属性替代非正式的 @_cdecl，把 Swift 函数导出成 C 函数。

解读

  • 对开发者：苹果在把 Swift 推向嵌入式和系统层，这是一个可以亲手验证的小例子。
  • 这类「从零到第一行输出」的文章，是理解操作系统启动流程最便宜的方式。

讨论

  • 评论很少，有人看不懂页面里「Hack the Planet!」之类的标语。
  • 两位回复者指出这些出自 1995 年电影《Hackers》；没有技术讨论。
16
Raymond Chen：Windows 热补丁遇到被别人改过的函数会怎样

热补丁的预留空间只给 Windows Update 用；如果发现函数被第三方动过，系统就放弃热补丁、要求重启。

🔥 37 | 💬 11 🔗 文章 💬 讨论

一个机制只为一个使用者设计时，别人偷偷用它，最后吃亏的是用户。

事实

  • Windows 的热补丁目前用于 Windows Server 和较新的 Windows 11 企业版，只在管理员开启、文件标记为可热补丁时生效。
  • 如果检测到函数已被「未授权」地挂钩，文件会被判定为不可热补丁，只能重启；预扫描后才被改的情况更糟，可能停在打了一半的状态。
  • 改了数据结构布局的更新本来就不能热补丁。

解读

  • 作者的比喻：占用热补丁空间的程序就像把车停在消防通道上，平时没事，出事时整栋房子遭殃。
  • 对做基础设施的人：不重启就能更新的能力越来越重要，前提是大家遵守共享资源的规则。

讨论

  • 反方有人觉得把挂钩函数说成「流氓」行为很奇怪，微软自己就出过 Detours 挂钩库；也有人说 Steam 浮层等多个挂钩可以共存。
  • 正方有人认为在 AI 加速发现漏洞的今天，热补丁更重要了，希望 Linux 上也更容易自建。
  • 有人分享在 log4shell 时期用只有几 KB 的镜像层紧急替换 Java 类文件的经验。
17
TidesDB 作为插件存储引擎登陆 MySQL

一个主打写入和空间优化的事务型引擎，以插件形式装进原版 MySQL，可以和 InnoDB 表并存。

🔥 25 | 💬 6 🔗 文章 💬 讨论

不用换数据库，也能给写多读少的表换一个更省空间的引擎。

事实

  • TideSQL-MySQL v2.0.0 搭配 TidesDB v10.1.1，在 MySQL 9.7.0 和 26.7.0 上测试过；是插件，不是分支版本。
  • 建表时写 ENGINE = TIDESDB，引擎参数放在 ENGINE_ATTRIBUTE 的 JSON 里，拼错会直接报错而不是被静默忽略。
  • 目前通过仓库里的 install.sh 安装。

解读

  • 对产品：插件形式降低了试用成本，同一个库里可以只迁移一两张表做对比。
  • 要回答的问题是它和已有的 RocksDB / MyRocks 有什么不同。

讨论

  • 有人问 MySQL 现在相比 Postgres 还有什么独特优势；有人问和 MyRocks 的区别。
  • 反方作者现身介绍后，有人直接请他找真人把页面从「LLM 诗歌」改写一遍。
18
ascii.rest：给网页用的动画字符画库

风景、界面组件、图表、编程语言 logo、Linux 发行版、物理模拟……上百个可直接嵌入网页的字符动画。

🔥 284 | 💬 57 🔗 文章 💬 讨论

复古终端风很流行，这个库把它做成了现成素材。

事实

  • 分类包括风景场景 13 个、界面组件 12 个、数据图表 10 个、文字特效 9 个、语言 logo 27 个、发行版 22 个，以及几何、太空、物理、自然等。
  • 作者是 @bas3line；有人反馈开启「减少动态效果」时看不到动画，作者随后做了修复。

解读

  • 对设计：字符画风格借的是「简朴、技术感」的气质，适合开发者工具和落地页。
  • 尊重系统的减少动态设置是对的，但要让用户知道为什么看不到动画。

讨论

  • 反方有人说很多场景用的是不同大小的点，不是真正的 ASCII；有人形容它是借用受限媒介的可信度，却不接受它的限制，像把特斯拉改装成雪铁龙 2CV 的样子。
  • 正方也有人很喜欢翻牌（split-flap）和蕨类等自然动画，想做成数码相框挂墙上。
  • 有人推荐另一个「真 ASCII」动画库 play.ertdfgcvb.xyz。
19
照着 C64 键帽照片复刻出的一套字体

开源项目根据经典 Commodore 64 键帽的照片重建字形，提供桌面字体、网页字体和可编辑轮廓。

🔥 380 | 💬 62 🔗 文章 💬 讨论

怀旧硬件上的字，也能变成可用的数字字体。

事实

  • 仓库包含桌面字体、webfont、可编辑轮廓和字体样张，目前只有大写字母。
  • 有评论者指出 !#$% 等符号没对齐；项目 issue 里有一条措辞很冲的字形批评。

解读

  • 从照片重建字体，过程本身就是内容，比结果更吸引人。
  • 细节（标点对齐、字母比例）决定一套字体能不能真正被使用。

讨论

  • 正方很多人觉得很漂亮，有人说扩展字符后可以当编程字体。
  • 反方有人列出 S 比例不对、M 中线不到底等问题；也有人说反正是 AI 做的，批评也伤不到它的感情。
  • 有人联想到写 Gorton 字体的长文，以及 VIC-20 早期用过的 Microgramma 字体。
20
从随机游走推导布朗运动

一篇讲直觉的数学文章：从离散的随机游走出发，一步步推出布朗运动的分布。

🔥 25 | 💬 1 🔗 文章 💬 讨论

把「到底发生了什么」和「可能发生什么」分开，是概率思维的起点。

事实

  • 作者 Gregory Gundersen，以花粉在水中的随机运动开头，配多条随机路径的图。
  • 布朗运动最早由植物学家 Robert Brown 在 1830 年代观察到。

解读

  • 布朗运动是金融定价、扩散模型等很多方法的数学底子，花半小时建立直觉很值。

讨论

  • 只有一条评论，推荐所有对布朗运动好奇的人读一读。
21
机器是怎样学会精确的：工业革命里的精度史

一篇可交互的长文：从瓦特的汽缸、Maudslay 的车床，到 Whitworth 能测出百万分之一英寸的机器。

🔥 101 | 💬 50 🔗 文章 💬 讨论

精度是靠一代代机器「自举」出来的：用不完美的工具造出更好的工具。

事实

  • 1770 年代，车间还难以做出圆的大汽缸、直的长导轨；普通尺子最小刻度是 1/16 英寸（约 1.5 毫米）。
  • 到 1850 年代，Joseph Whitworth 已造出能分辨百万分之一英寸差异的机器。
  • 作者 Gary Linscott，这是他蒸汽机文章的续篇，可以在页面里旋转、缩放车床模型。

解读

  • 对产品：交互式图示让复杂机械变得好懂，这种讲解形式本身就是一种好产品。
  • 「用两个不完美的东西平均出更好的结果」，在工程和软件里都反复出现。

讨论

  • 有评论者纠正了 Maudslay 用两根丝杠取平均的原理描述，作者表示会改。
  • 反方有人提醒标题混用了「精确度」和「准确度」，作者承认纠结过。
  • 有人推荐 Simon Winchester 的《完美主义者》，也有人觉得那本书废话多。
22
旧文《木头胶带》：陪四岁儿子去五金店

2004 年的一篇父亲手记：儿子要买「木头胶带」，画的其实是一张要爸爸做桌子的图纸。

🔥 154 | 💬 19 🔗 文章 💬 讨论

认真对待孩子的「项目」，他会给你惊喜。

事实

  • 四岁的儿子列了只有「胶带」一项的购物单，还画了一张「把木板锯开做桌子」的图。
  • 父亲决定让孩子全程主导这次购物，并把过程记录下来。

解读

  • 对任何带人的人：给对方主导权、少说「不」，常常能看到意想不到的计划。

讨论

  • 有人劝家长都这样记录孩子的事，照片到处都是，用自己的话写下的回忆才稀缺。
  • 有人说这篇教会他：除非有明显安全问题，别轻易对孩子说「不」。
  • 有人一度以为是 AI 写的，查了时光机存档才放心；也有人说手机上很难读，建议横屏或阅读模式。
23
英国一栋带地下隧道的房子挂牌 30 万英镑

雷丁的这处房产下面有挖出来的地下通道，最深 15 米，泳池边的火箭模型里还藏着秘密入口。

🔥 157 | 💬 157 🔗 文章 💬 讨论

古怪的爱好，最后也会变成房产卖点。

事实

  • 房产位于英国雷丁，以 30 万英镑拍卖；拍卖页面有地下部分的平面图和视频导览。
  • 评论澄清：15 米是隧道最深处的深度，不是长度。
  • 有评论说隧道是一位土木工程师带着孩子们挖的；也有人注意到挂牌写的是「相关土地」，问到底卖房子还是只卖隧道。

解读

  • 这类「怪房」靠故事传播，一篇报道的价值远超普通挂牌。

讨论

  • 有人分享在莱比锡住过的楼地下室有战时隧道；还有人提到捷克兹诺伊莫 27 公里的地下通道和利物浦的 Williamson 隧道。
  • 有人推荐「业余挖隧道」网红 Colin Furze，也有人说维基百科已经有「Hobby tunneling」词条。
24
2026 诺贝尔化学奖：解释生命为何只用「一只手」的分子

Kagan 和 Soai 获奖，表彰他们发现不对称有机合成中的非线性效应和自催化。

🔥 290 | 💬 54 🔗 文章 💬 讨论

他们回答了一个百年难题：镜像分子里只剩一种（同手性），可以自发出现。

事实

  • 获奖者：法国巴黎南大学的 Henri B. Kagan，日本东京理科大学的 Kenso Soai（硤合宪三）。
  • 背景：很多分子有左右手两种镜像，生命只用其中一种；普通化学反应通常生成两种各半。
  • 制药里往往只有一种镜像有效，所以控制只生成一种很重要。

解读

  • 术语：手性 = 分子像左右手一样互为镜像却不能重合；自催化 = 反应产物反过来促进自己的生成，少量优势会被放大。
  • 这和「生命起源时为什么只选了一种手性」直接相关。

讨论

  • 有人回忆大学第一次学手性时「脑子被撑开」；有人补充胚胎左右不对称也和分子手性有关。
  • 日本评论者说 Soai 的汉字姓氏「硤合」极少见，多数日本媒体只能用平假名写。
  • 有人联想到「镜像生命」，也有人指出这一领域近来进展，可能让评委回头重新肯定这些早期实验。
25
Google 推出 Playground：用文字描述就能做游戏

实验性平台，不写代码就能生成、游玩和分享小游戏；目前只对美国 18 岁以上用户开放。

🔥 117 | 💬 196 🔗 文章 💬 讨论

「一句话做游戏」很容易，「做出好玩的游戏」仍然很难。

事实

  • 在 playground.google 用提示词创建游戏，可以分享给朋友或发布到社区，支持多人和排行榜。
  • 创作权限按 Google AI 订阅分档开放；之后会接入 Unity Spark 做更专业的游戏。

解读

  • 对产品：生成游戏的成本趋近于零后，稀缺的是好玩的机制和分发渠道，不是代码。
  • 上线时很多人只看到 403 错误，地区限制没有友好提示，首日体验减分。

讨论

  • 反方有人说这像过去给非开发者用的「自己做游戏」工具箱加了 AI，演示都是简单的无尽小游戏；有人调侃是「垃圾软件即服务」。
  • 做 AI 游戏平台的人说，「做出一个游戏」和「做出一个好玩的游戏」差别很大；有人提到「刷短视频式」游戏平台的想法每半年就有人融资做一次。
  • 正方有人在「蒸汽朋克消消乐」里冲到世界第二，说质量比 Claude 写的小游戏高。