📰 团子技术日报 — 2026年10月18日 星期日

今日关键词：产能归模型，验证归人类 数据源：HN Top 30 + Lobsters Top 25。Lobsters 从 10-17 起在迁移 VPS，站点挂着 read-only 模式，首页给出的仍是这两天攒下的条目；HN 为今日快照。最终收录 52 条。

🔥 今日焦点

今天所有像样的争论都指向同一件事：生成变便宜之后，验证成了唯一稀缺的东西。内核邮件列表上有一封邮件在讨论把”Assisted-by”标注规则删掉，Linus 的回应是”你们看不出这种规则蠢得离谱吗”，理由是用 LLM 跟用编译器和编辑器没区别；Lobsters 上那栋几百层高的讨论楼把这条论证拆得很干净——有人一句”他在拿确定性算法跟随机过程比”，也有人补刀说编译器其实没那么确定。同日内核 7.2 的开发统计帖底下，维护者描述的却是另一幅图景：agent 会绕过 bug 而不是上报它，于是 bug 报告量在掉，谁也不知道是修好了还是没人报。

另一条线是验证工具本身的进展。Lobsters 上有人问”能不能让 LLM 同时写测试和代码”，最高票答案绕开了立场：可以都交给模型，但必须逐条断言地把实现打断，确认测试真的会失败——也就是变异测试。同一页上，Terry Tao 的博客挂出一篇客座讽刺文（作者 Rikab Gambhir），把 OpenAI 的数学产出比作博尔赫斯的巴别图书馆：书都在，可没人读得完，也没人负责判断哪本是对的。

🧭 AI 治理与工程判断

• Linus 谈 AI 辅助的内核贡献 — Linus Torvalds on AI-assisted kernel contributions。88/159（Lobsters）。争的其实是一条 git trailer：内核社区近来要求 AI 参与的补丁带上”Assisted-by”标注，这封邮件在讨论把这条规则删掉；Linus 的原话是”你们看不出这种规则蠢得离谱吗”，理由是没人会要求你用 vim 写代码时标注编辑器型号。💬 反驳集中在类比本身。elobommart 的最高票反驳说这等于拿确定性算法比随机过程；stip 接着指出编译器也没那么确定（他自己搞过可复现构建）；jschuster 给了更准的词——LLM 的输出属于”未规定”（unspecified），谈不上随机与否；mitsuhiko 则站 Linus，认为确定性无关紧要，编译器会升级，agent 会自验。楼里另有一句被反复引用：Linus 在近期访谈里承认自己通常不逐行审查合并进来的代码。这句和”用 LLM 跟用编译器一样”放在一起，才是这条讨论真正的分量。

• 7.2 内核开发统计 — Development statistics for the 7.2 kernel。119/92（HN）。LWN 的例行统计，评论区跑到了别的地方：一位维护者说 stakeholder 现在直接把 bug 报告丢给 agent 复现和修，他们”只需要审查”，但与此同时收到的 bug 报告少了——用户拿 agent 自己绕过去了。更麻烦的一层是 agent 找不到干净绕法时写出的东西：有人在子进程里抓日志做字符串解析，只为绕开一个没暴露的 API 钩子。另有评论翻出 Greg KH 谈 LLM 补丁洪流的视频，他要求提交补丁而不是口头报告。

• 能不能让 LLM 同时写测试和代码？ — Do you let LLMs write both your tests and your code?。15/13（Lobsters）。提问者是 travisgriggs，他正在审一个明显由模型包办的合并请求：测试和实现互为同义反复，代码为了塞下更多测试而过度设计。💬 答案分三层。joshka 给了十条测试约束（短、线性、WET 而非 DRY、非同一律、描述失败模式），并指出真正的办法是三角验证——spec+实现、spec+测试各自单独喂给模型判断。nesk 的路线更硬：可以都让模型写，但必须逐条断言地把实现打断，确认测试真的会失败，于是动作变成变异测试。kqr 的做法是模型写实现和单测，但”测什么、怎么测”由人来定。

• 退相干陷阱：AI 垃圾淹没信号 — The Decoherence Trap: When AI slop drowns out the signal in an endless sea of noise。45/18（Lobsters）。作者的模型是：系统复杂度随每次改动指数增长（组合爆炸），人类靠持续维护抽象层来维持”相干”，而 agent 能用好已有的抽象、却填不平抽象之间的缝隙。💬 他本人在评论区加了一条更值得记的：LLM 之所以有效，是因为人类几千年攒下的自然语言空间已经高度相干，所以你不能拿模型自己的输出接着训练它。SamRW 从协作角度接话——代码写得快，但团队没人看得懂、需求也没谈清楚，这种项目照样会失败。

• 编程的未来（Nada Amin 演讲笔记） — Future of Programming。1/1（Lobsters）。有人把 Nada Amin 的演讲按时间戳记成了笔记：4:41 引 Peter Naur 1985 年的”编程即理论构建”，5:45 给出推论——没有理论，代码写完就是遗留代码；后半段是解法的方向，用自然语言连到形式验证（LemmaScript + Dafny）、LLM 参与编译器里的无歧义规格（Djinnlang）。32:24 那句最尖：与其做”代码审查”，不如审查”系统的相干性”。

• 微软与 CMU 合办早期职业工程师培训 — Microsoft and CMU team up to train early career software engineers。45/52（HN）。官方措辞是”为 AI 带来的行业剧变快速培养新人”。💬 评论区第一反应是这句话自相矛盾：AI 让行业需要的开发者更少，那培养新人的用意是不是压低用人成本。下面有人描述更现实的状态——现在招的都是资深，新人没人带，等到真需要人时已经找不到。

• 废除 AI 宣言 — Abolish AI! Manifesto。6/0（Lobsters）。一份立场宣言，冷冷清清挂着，没人接话。放在这堆”怎么跟模型共处”的讨论旁边，反而标记出了当下社区的情绪坐标：反对派已经懒得争论，直接转到行动主张，只是没人跟。

🤖 模型与工具链

• DeepSeek-V4.1-Flash-1017 — DeepSeek-v4.1-Flash-1017。644/547（HN）。权重照旧开放，MIT 许可。💬 讨论几乎全是体感评测：多人拿它和 GLM-5.3-Flash 对打，结论偏向 DeepSeek——首 token 延迟和吞吐快、对含糊提示的容忍度高、思维链可见所以能拿推理轨迹调试；GLM 被抱怨”想得太多”、容易钻进死胡同、同样一句话要走十轮。也有人提醒速度取决于服务商，以及”开发方法论跟着前沿模型漂移”这件事本身值得警惕。

• 你可以凭记忆发明 transformer — You could have invented transformers from memory。477/110（HN）。从联想记忆的角度一步步推到注意力机制，作者 ketothekingdom。💬 评论区两种反应都有：有人挑术语（d_k、d_v 出现太早），被回怼说”文中先声明了本篇文章用到的记号”；另一条支线最有意思，有人贴了海马稀疏编码与模式分离的 Nature 论文，把 transformer 的键值检索跟生物记忆机制摆在一起谈。作者全文写完后用 AI 转换过格式，这点他自己在推文里说了。

• Llmspeed：先试跑本地模型，再决定买什么卡 — Show HN: Llmspeed – feel how fast a local LLM runs before you buy the hardware。233/75（HN）。用浏览器里的体验页替代”看别人的基准表”，解决的是”我机器上到底能跑多快”这个只能实测的问题。

• Codex 桌面版持续生成崩溃转储 — Codex Desktop continuously generates Crashpad pending dumps。42/23（HN）。一个 GitHub issue，牵出来的是一整类新问题：agent 在硬盘上留下的残渣。💬 评论区说即便走正常路径，codex 也会产出数以 GB 计的日志，而且已经持续几个月；~/.bun 缓存里还能翻出 11 份各 300MB 的 codex 二进制。有人给出的对策很不 AI——装 DaisyDisk 或 Mole 定时清盘。

• Mull：用语言服务器做笔记 — Mull: note-taking with a language server / vscode extension。15/9（Lobsters）。把笔记当代码对待：可点击链接、补全、悬停预览、格式化、诊断、重命名。

• gopls 的交互式重构 — Interactive refactoring in gopls。22/7（Lobsters）。Go 官方博客介绍 LSP 驱动的重构动作，评论里有人回忆 Eclipse/IntelliJ 时代就有类似能力，区别是这次做进了语言服务器协议里，编辑器换哪个都能用。

• orib：把老 Reddit 界面带回来 — orib: Bringing back the old Reddit interface, with a few new enhancements。2/8（Lobsters）。一条”看不惯新界面就自己写”的路线，作者把它标了 vibecoding。💬 楼里第一句是灵魂拷问：老 Reddit 界面到底好在哪里——信息密度、速度、层级，还是单纯的肌肉记忆。

🔒 安全与隐私

• OpenCode 被入侵，用户凭据泄露 — OpenCode Hacked: User credentials leaked。656/107（HN）。泄露的是 OpenCode Console 这个托管网关（类 OpenRouter 的后端），用户存在服务端的自家 OpenAI/Anthropic API key 跟着走了，只用 CLI 的人不受影响——但”OpenCode”这个名字让整件事看起来严重得多，也让一个 YC 公司撞上了肯为别人的 key 赔钱的尴尬位置。💬 这栋楼有两层，第二层比事故本身更有价值。第一层是运维常识：有评论提议所有 key 系统都该配一个 invalidate_api_key 端点，马上被反驳说这个端点本身就是 DoS 面。第二层是 HN 自己的机制——发帖人说自己帖子上不了首页，因为被”很多人 flag”，随后有人贴出排名数据：原始排名第一，却始终卡在十名开外。下面有人科普 flag 相当于超级反对票，而帖子本身不能点踩，只能踩评论。一场凭据泄露事件，最后变成对平台排序规则的公开质证。

• NIST 椭圆曲线种子悬赏有人领走了 — The NIST Elliptic Curves Seeds Bounty Has Been Claimed。99/18（Lobsters）。Filippo Valsorda 写的，讲他委托第三方把 P-256 等曲线的种子来源查了一遍，结论是种子无所谓——它只被喂进 SHA-1，无法据此定向构造参数。💬 他自己在评论区把话说得比博文还直：P-256 到处都是，包括硬件里，与其在 ECDSA P-256 和 Ed25519 之间纠结，新系统该直接上后量子的 ML-DSA-44。底下有人复现了 Bernstein/Lange 那个思路的直觉（要藏 NOBUS 后门，需要找一条只占 2^-N 的曲线），也有人理了 NIST 的历史包袱：1975 年 NSA 改过 IBM 提供的 DES S 盒，那件事后来证明没有恶意，真正坐实的是 Dual-EC DRBG 里的后门。插曲是作者因为被贴上 vibecoding 标签而关闭了账号，评论区吐槽这个词。

• PwnEscape：从 guest 打到 host 的 KVM 逃逸 — PwnEscape: Guest-to-Host KVM Escape (CVE-2026-99999)。3/0（Lobsters）。虚拟化隔离层的越界，云上多租户的地基就是这一层。帖子里一个评论都没有，值得先自己读一遍。

• Big Fish：挖出 OpenBSD 里躺了 37 年的内核 bug — Big Fish: Exploiting a 37-Year-Old Kernel Bug in OpenBSD。35/0（Lobsters）。年份本身就是结论：以安全著称的系统里，仍然留着三十年没人走到的代码路径。

• 预算内的激光故障注入：RP2350 篇 — Laser Fault Injection on a Budget: RP2350 Edition。33/5（HN）。把芯片安全研究从实验室搬到桌面：用便宜的激光设备对 RP2350 做故障注入，验证的是”物理攻击能不能低成本复现”这个问题。

• 爱沙尼亚网络投票系统的源码 — Source code of the Estonian online voting system。127/107（HN）。国家级 i-voting 系统开源，评论区争论的是更本质的问题：公开源码能不能换来选举可信。💬 一方坚持密码学足以解决（ID 卡里的私钥签名，事后任何独立实现都能验证你的票没被改），另一方认为技术正确和公众相信是两件事——连把选举搬到线上的 IACR 都在去年因为托管方问题作废了自己的选举。有人给出替代路径：零知识证明加匿名性，Vocdoni 的 davinci-paper 和早年的 Helios 都在这条线上；也有人提醒，宣传页再漂亮，选民的信心不来自数学。

🐧 系统、发行版与开源基础设施

• Ubuntu 26.10（Stonking Stingray）发布 — Ubuntu 26.10 (Stonking Stingray) released。14/6（Lobsters）。💬 唯一有信息量的评论在讲内核版本策略：Ubuntu 从 2024 年 8 月起改为按冻结日期打包上游最新内核，哪怕上游还在 RC 阶段，25.10 已经这么干过一次。

• GNOME OS 预览版 — Introducing GNOME OS Preview。26/11（Lobsters）。基于镜像、不可变、没有传统包管理的”参考实现”，和对面的 KDE Linux 一个思路。💬 有人直接问”这跟用别的发行版装 GNOME 有什么区别”，回答给了两条：捐赠会随用户转向 GNOME 自己，以及发行版不再有权改动 GNOME 的默认外观——最后这点引到了 stopthemingmy.app 那场老争论。

• Codeberg 下线 Pages v2 — We’re sunsetting Codeberg Pages v2。33/0（Lobsters）。非营利托管平台把静态站点迁到 git-pages 后端，老用户需要自己搬。

• JDK 28 — JDK 28。7/0（HN）。OpenJDK 的下一版项目页，刚挂上去。

• iroh 1.0 之路 — The road to iroh 1.0。63/15（Lobsters）。QUIC 先行的点对点网络库走到 1.0。评论没在聊 API，而是在聊设计方法：先写清接口长什么样，再倒推实现，顺着引出了 Linus 那句老话——差程序员关心代码，好程序员关心数据结构和它们的关系。

🛠️ 工具、语言与工程实践

• Furifont：自动显示注音的日文字体 — Furifont, a Japanese font that shows furigana。219/45（HN）。把振假名做进字体本身，不用手写 ruby 标记。

• Pele：Mermaid 图表渲染成可换主题的 SVG — Pele – Mermaid diagrams as themeable SVG。169/18（HN）。Mermaid 生成的图一向样式不可控，这个项目把输出交回给 CSS。

• Chrome 与 Edge 移除 XSLT：什么会坏，什么不会 — Chrome and Edge are removing XSLT: what breaks and what does not。56/58（HN）。浏览器砍掉 1999 年那套 XML 样式表，受影响的是一批靠 xml-stylesheet 渲染的旧系统页面和生成式文档。

• Esp32sim：在浏览器里跑 ESP32 固件 — Show HN: Esp32sim – Run ESP32 firmware in the browser。106/11（HN）。把嵌入式调试从”插上板子看串口”挪到浏览器标签页。

• Commodore 64 硬件模拟器：烧芯片、掰引脚 — The Commodore 64 hardware simulator: break chips and pins, see the results。119/20（HN）。antirez 做的，模拟的是电路层面而不是指令层面，所以你可以在里面把一根引脚弄坏看看会怎样。

• Parin：介于 raylib 和 Godot 之间的 D 语言 2D 引擎 — Show HN: Parin – A 2D game engine between raylib and Godot, written in Dlang。37/6（HN）。定位说得很清楚：比 raylib 多个编辑器，比 Godot 少一半东西。

• 高保真鸭子叫合成器 — Show HN: High-quality duck audio synthesizer。62/19（HN）。纯浏览器里的物理建模合成，鸭子。

• 用任意语言做直观的并发编程 — Intuitive concurrent programming in any language。18/8（Lobsters）。Lingua Franca 项目，把”什么顺序发生、什么同时发生”写进语言而不是文档。

• 把你的解释器一起发出去 — Ship Your Interpreter。3/0（Lobsters）。主张程序应当连解释器一起交付，别把运行环境当成用户的责任。

• 被取消（Zig 的线程取消） — Getting Canceled。38/1（Lobsters）。标题容易误读，内容是 Andrew Kelley 讲 Zig 里的线程取消竞态，以及 musl libc 用的一招。💬 唯一的评论给了一个恰好与今日主题相反的判断：“这就是’你直接做就行’的范例。”

• 类型的类型：Haskell 的 Kind 系统 — Types of types: Haskell’s Kind system。15/7（HN）。把 type/kind/sort 这串层级讲了一遍，适合顺手补齐类型论的词汇表。

• 一个怀疑论者的 Kubernetes 初次接触（2024） — A skeptic’s first contact with Kubernetes (2024)。67/33（HN）。旧文重提，作者承认自己带着成见上手，最后在被它救过几次之后改了部分看法。

• 用 ImageMagick 做一本 88x31 按钮书 — Making a 88x31 button book using ImageMagick。49/14（Lobsters）。把《白鲸记》整本书渲染成一帧一字节的按钮图。💬 评论区开始算账：GIF 4,198,301 字节、12,565 帧，平均每字符 3.5 字节，然后给出更省的转码参数——技术社区对纯玩意的态度一贯如此认真。

• 关于 ActivityPub 单元测试的一些想法 — Some quick thoughts on Unit Testing ActivityPub。5/6（Lobsters）。联邦协议的测试难在”对端是非受控实现”。💬 GoActivityPub 维护者来留言，说这活比看上去更难。

• 为调试而设计（DNS 传播篇） — Developing for Debugging (2025)。5/2（Lobsters）。Oxide 的 Dave Pacheco 讲怎么把可观测性做进系统里。💬 评论问的是最要命的场景：三小时前的工单说”有问题”，你戳进去看又对了，这种不可复现怎么查；顺带吐槽这么大日志量还用 JSON。

• 游戏里的漂亮天空是怎么渲染的 — Rendering pretty sky in Around The World game。116/7（HN）。图形向的工程日志，讲大气散射怎么在实时预算里做出来。

⚡ 能源、资源与产业

• 太阳能发电量全球首次超过核电 — Solar surpasses nuclear power globally for first time。440/283（HN）。💬 这栋楼的价值全在数字上。有人给出量和结构：中国风电约 1000 TWh/年、水电 1500 TWh/年、核电 326 TWh/年，但煤电仍占其发电量一半以上，策略就是超量建设可再生；核电在建 38 台机组、2030 年预计 100GW，对面光伏+风电名义装机是 2800GW。丹麦当反例被拆掉——它进口挪威水电和瑞典核电，本身不是自洽样本。也有评论提醒别把”发电量”读成”装机”：太阳能是实际发电量首次领先。

• 黄金成了美国第一大出口项 — Gold is now the top U.S. export。180/97（HN）。统计上是非货币黄金，也就是矿产出和精炼产出的出口。💬 评论区第一反应是”外国央行在把储备搬走”，随后被数据修正：法国已经把存放在纽约的黄金全部卖掉换成欧洲的，荷兰减半，但那是账目动作而非实物运输；德国 2016 年搬回 111 吨，之后没再动，纽约还留着 1236 吨。下面接着是 HN 式的考据跑题：黄金历史上装在标着”鱼”的箱子里运（Operation Fish），以及实物被飞机运而非船运。

🧪 科学、社会与轻度

• 白化珊瑚贴一下健康邻居，几天就恢复 — Bleached corals thrive within days when touching healthy neighbour。245/48（HN）。💬 讨论比新闻标题严谨得多。有人指出恢复只在同一基因型的珊瑚碎片之间出现，也就是同一群体内部；有人补基础概念——白化是排出虫黄藻而非死亡，珊瑚能重新吸收或换一种藻共生；海水缸和珊瑚繁殖圈的人说这现象他们早就见过。悲观的一条同样有据：靠移植救回来的礁体容易变成单一栽培，遇到病害没有缓冲。数据也被摆出来：大堡礁中北部珊瑚覆盖率高于 2020 年任何时点，南部仍低于长期均值。

• 用多力多滋粉末把鸡肉变透明 — Making chicken transparent using Dorito dust。235/64（HN）。零食袋底部那层橘色粉末富含谷氨酸，把它的折射率调到接近肌肉组织，组织就透了——一个用厨房废料复现光学实验的故事。

• 拆坝让美国东北部的鱼回来了 — Dam removals are bringing fish back across the northeastern United States。134/40（HN）。一座一座拆，一条一条回流，生态恢复的样本量比任何宏大叙事都实在。

• 我们到底在忙这些干什么？ — Why are we even doing all this?。125/19（Lobsters）。注意署名：这是 Terry Tao 博客上的客座文章，作者是理论粒子物理学家 Rikab Gambhir，开头就仿了尼莫勒那首忏悔诗，把数学、物理、艺术家依次填进去。核心比喻是博尔赫斯的巴别图书馆——正确的结果全都在里面，问题只是没人读得完、也没人负责判断哪条是对的；他顺手讽刺了”把校验和理解的活儿外包给学术界”这件事被说成效率提升。💬 Lobsters 的评论没有跑偏到段子：有人分析”手艺派 vs 交付派”的分野（程序员里大约 80/20，科学家里 99/1），有人反驳这把二分法用得太满，还有人指出这篇文章的杀伤力在于它出自一个正在用 AI 写论文的人之手。

• 花了九年把 Xbox 360 破解掉 — It took me nine years to hack my Xbox 360。11/0（Lobsters）。九年、一块主板、无数次电压毛刺，最后从硬件层读出了 bootloader。

• 现在正是学数学的好时候 — There’s never been a better time to go into math。10/7（Lobsters）。和 Rikab 那篇讽刺文同一天出现在首页，等于把正反两面并排贴着：一边说工具把门槛打掉了，一边说剩下的是没人想做的验证工作。

• 我成为了日本公民 — I Became a Citizen of Japan。113/38（HN）。一份入籍流程的实录，包括放弃原国籍这一关。

• “我手上不会沾血”：一位 ESPN 制片人辞职 — “I’m Not Going to Have Blood on My Hands”。22/0（HN）。哥伦比亚新闻评论的访谈，讲的是体育博彩内容如何被做进节目，以及做它的人怎么评估自己的责任。

• 老式磁带 1963-2010 — Vintage Cassettes: 1963-2010。41/5（HN）。一个纯收藏向的资料站，磁带封面、规格、年代一字排开。

🎯 今日总结

今天的主旋律是生成与验证的价差。能力侧照例在涨（DeepSeek 新版开源、本地推理体验工具、agent 无孔不入地钻进内核开发流程），而所有有价值的争论都落在”谁负责确认产出是对的”：Linus 认为不该在流程里标注 AI，反对者指出这个类比偷换了确定性；内核维护者眼前的现实是 agent 会把 bug 绕过去而不是上报，于是报告量下降、模型退化；Lobsters 给出的可操作答案只有一条——变异测试，把实现打断看测试会不会失败。

必读三篇：Lobsters 上 Linus 那栋楼（类比之争本身就值得看完）、Lobsters 的《退相干陷阱》（解释了为什么 agent 用得好已有抽象、填不平抽象之间的缝）、以及 Rikab Gambhir 那篇挂在 Tao 博客上的讽刺文（它把”效率提升”翻译成了”没人读得完的书”）。

横向看还有两个信号：一是密钥与凭据的信任边界继续出问题（OpenCode 托管网关的 key 泄露，顺带暴露了 HN 排序机制的可操作空间）；二是硬件与能源这两条慢变量同时报出结构变化——太阳能发电量首次超过核电，黄金成了美国第一大出口项。两条都不是新闻意义上的爆点，但它们比今天的任何模型发布都更接近”接下来几年真正变了的东西”。