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

今日关键词：代码管够，验证不够 数据源：HN Top 30 + Lobsters Top 25。Lobsters 首页常驻、昨日（vol-121）已收录的 7 条（I’m sorry but you still have to think、D-Bus Hell、Arena Allocators in C、I’m still around、六年 Rust 游戏 AMA、Valen 借用检查、What’s Wrong with GitHub）不再重复；HN 上被重新顶上来的 strtod 可移植性一篇已在 vol-120 收录，同样跳过。最终收录 42 条。

🔥 今日焦点

今天最清楚的信号出现在治理层，而不是模型层。QGIS 把”禁止 AI 生成贡献”写成了正式提案（QEP428，PR #387），同一天 HN 上挂着”AI 编码 agent 产出更多代码，但没产出更多软件”，底下 Plotly、Hatchet、PgDog、Godot 的维护者在评论区轮流描述同一件事：有人拿 agent 批量扫仓库、跑一句”找 bug 并修好”就盲投 PR，审查成本被推到维护者身上。厂商那边的节奏完全相反——Meta 发布 Muse Wonder 系列，宣传语是”个人超级智能”；智谱发 GLM-Legal 打法律场景；Linus Torvalds 被发现在自己仓库里开了一个用 Claude Code 写的新分支。

两条线放在一起看，分歧不在”AI 能不能写代码”。分歧是谁负担验证：能力侧每年都在涨，而”读完并确认这段代码做了我以为的事”这件事没有变快，于是靠近核心的项目开始用制度手段（禁令、信任名单、更高的准入测试）把闸门关小。

🛡️ AI 的治理闸门

  • QGIS 在提案层禁止 AI 贡献 — QGIS enacts moratorium on AI contributions。360/391（HN）。QEP428 由 Nyall Dawson 提交，措辞是”不受理”而不是”需声明”：AI 生成的补丁和 issue 一律不进流程。💬 评论区事实上变成了一次维护者现状调查。Plotly 说三页长、没人校对过的 issue 加上”看着合理但很弱”的 PR 正在吃掉审查时间，他们已经在考虑放弃路人贡献；Hatchet 说最近审的 PR 多半是”借别人的账号跟 Claude 来回吵架”，怀疑有人拿 agent 反复扫仓库然后盲投；PgDog 直接关掉 PR 只留 issue；Godot 提到开发者被 AI 生成的 PR 骚扰后只能发一句很弱的道歉。也有人给出反向解释：瓶颈已经从写代码变成”跟得上代码”，审陌生人提的大 PR 只是把这个矛盾放大给人看。

  • AI 编码 agent 产出更多代码，但没产出更多软件 — AI coding agents generate more code, but not more software。286/242（HN）。值得记的是它和 QGIS 那条正好构成同一个变化的两端：度量上产出在涨，维护侧的吞吐在跌。

  • AI 是工具，用得好像一门手艺 — AI Is a Tool. Using It Well Takes Skill.。129/114（HN）。把”会用 AI”当成可训练的技能来讨论，比”它算不算工具”的定义之争好落地——前者能写进 onboarding，后者只能写进评论区。

  • Ruby 的魏玛时代 — Living in the Weimar era of Ruby。44 分（Lobsters）。作者把 DHH 在 RailsWorld 的主题演讲读成一份危机宣言：vibe 重写了 HEY 之后，他的姿态从”我们做到了”滑向”我不在乎了，你们也别在乎”——而这是他自己推成焦点的会议。跟昨天那篇逐行拆解 HEY 重写的帖子对照着读，一边看姿态，一边看代码。

  • 我最近在软件里看到的东西 — What I’ve been seeing lately (in software)。6 分（Lobsters）。作者说自己周围”在意手艺的人”正在硬扛着不用 LLM，“我们输得慢一点，大概”。情绪多过论证，但放在 QGIS 和 Plotly 的抱怨旁边，正好是同一压力的个人版。

🤖 模型与产品

  • Meta 发布 Muse Wonder，主打个人与职业 agent — Muse Wonder。484/259（HN）。含 Muse Wonder 与 Muse Wonder Full 两档，卖点是 Active Memory 和 Active Focus，宣传语直接写”personal superintelligence”，同日通过 dev.meta.ai 的 Meta Model API 上线。💬 两条支线盖过了模型本身。一条是需求侧的：有人要求基准图加第二个 y 轴标出每美元性能，理由是”性能够了，我想看性能/美元”。另一条更热闹——有用户称在 muse-code 登录页看到了不认识的开发者账号和邮箱，一度公开怀疑 Meta 泄露数据，帖子发酵后他自己定位到原因是 Wipr 内容拦截器改写了浏览器指纹，于是撤回。这个收尾比指控本身有信息量：指纹被工具统一化之后，账号推荐会跨用户串门。

  • 智谱发布 GLM-Legal，面向法律场景的 agent 模型 — GLM-Legal。383/218（HN）。官方叙述是从单轮代码生成转向”专业协作”，选法律是因为这条链最不容许断：事实、法条、论证、可交付成品必须首尾闭合。💬 评论区一半在讨论拿 LLM 审合同。有人说自家法务测过的每个工具都”彻底崩了”，不但更费时还漏掉行业相关的要点，反倒对”对价缺失”这种与合同无关的条款异常执着；也有人给出更准确的分层——LLM 顶得上法务助理和初级律师的活，顶不上合伙人的活。另一条支线是 Anthropic 新政策要求高风险用途必须有有资质的人复核，由此牵出更难的问题：如果模型提示”客户的话涉及必须报告的内容”，律师照做与不照做都可能被判有过失，这时”是 LLM 让我报的”能不能作为抗辩理由。

  • Linus Torvalds 用 Claude Code 写内核改进 — Linus Torvalds Working On A Hefty Linux Kernel Improvement With Claude Code。42 分（Lobsters）。Phoronix 在 torvalds/linux.git 里发现了一个新分支——他平时不常在自己仓库里开分支。他此前公开说过 AI 是有用的工具，也玩过 vibe coding，这次是第一次把 Claude Code 用到新特性上。跟 QGIS 那条并排看，是今天最有张力的两个位置：内核顶层对 AI 的接纳，和终端项目对 AI 的封门。

  • ‘AI’ 不是工具（Rich Hickey） — ‘AI’ Is Not a Tool by Rich Hickey。147/74（HN）、86 分（Lobsters）。💬 最有价值的反驳直接冲着论证方式去：先挑一个自己满意的”工具”定义，再证明 LLM 不满足它——按维基的定义，机器和计算机早就不算工具了。也有人不满 Hickey 选用”自动化”这个词，觉得自动化暗含确定性和可控性，而 LLM 更像外包。还有一条把争论拉回现实：它算不算工具不重要，重要的是它会拿走多少岗位、留下多少。

  • Launch HN：Agent37，便宜地跑 agent 沙箱 — Launch HN: Agent37 (YC F26) – Low-cost agent sandboxes for running agents。78/57（HN）。昨天是 Plimsoll，今天是 Agent37，同一周里两个”给 agent 划一块干净执行区”的项目，说明执行隔离正在从加分项变成默认项。

  • Kevin Kelly 2016 年的 AI 预测，十年后回看 — Kevin Kelly’s 2016 AI Predictions, 10 Years Later。110/34（HN）。把它当预测打分表读没什么意思，真正的用处是看清哪些当年听起来像常识的话其实只是时代口吻。

  • 思考会变成一种爱好 — Thinking will become a hobby。195/258（HN）。Diomidis Spinellis 的短文，标题就是立场。258 条评论说明这句话正好卡在两个阵营的接缝上：一边觉得这是滑坡结论，一边觉得这是已经发生的事实描述。

  • Show HN：Atticus，macOS 上的按住说话助手 — Show HN: Atticus – Hold-to-talk voice assistant for macOS that runs on Claude -p。48/5（HN）。直接拿 claude -p 当推理后端，说明订阅制 CLI 正在被当作可编程组件用——这也正是这几天 Codex 守护进程和账号条款争论的现实基础。

🔒 安全、隐私与法律

  • 黑客远程打开了欧洲超市冷柜的除霜程序 — Hackers activate automatic defrosting in supermarket fridges across Europe。357/584（HN）、17 分（Lobsters）。手法朴素到近乎笨拙——远程触发除霜、顺带改门店价签——落点却在 OT 侧的维护欠账上。💬 HN 这边的讨论比新闻有用：一位做过 SCADA 的评论者解释，工业系统的更新不是”发个版本”，每次改动都在给系统引入新的失效面，最坏情况会死人，“SCADA 里没有随手的体验优化”。仓储侧那句经典辩护被当场拆掉——“算过账，维护成本高于产品损失的期望值，所以接受风险”，而现实中做这个风险接受的人，往往连损失量级都没真算过。Lobsters 那边有人翻出一个月前美军海外基地冷柜受同款控制器供应商影响的旧帖，两件事指向同一个供应链节点。

  • 在 Google 拿到 9 万美元的一个 RCE — Finding a $90,000 Remote Code Execution Vulnerability in Google。25 分（Lobsters）。Flask session 的 pickle 反序列化，链路完整、没有花活。金额本身也是结论：教科书级别的漏洞在大厂资产里仍然兑现得起六位数赏金。

  • 指纹是新的 cookie — Fingerprints are the new cookies。27 分（Lobsters）。作者把音频、GPU、WebGL、canvas、时区、硬件这串信号合成一个 SHA-256 当昵称给你看，然后让你清 cookie、开 VPN、再刷新——用可复现的演示代替隐私说教，比列清单有效得多。

  • 一场关于网页抓取法律的 Reddit AMA — My Reddit AMA on the Law of Web Scraping。73/11（HN）。Eric Goldman 的问答整理。它的用处是把”能不能抓”拆成合同、版权、CFAA、州法几条互不覆盖的线——同一个抓取行为在这几条线上可以同时合法和违约。

🛠️ 工具与基础设施

  • Codex CLI 默认装了一个常驻自更新的后台守护进程 — Codex CLI installs a persistent, self-updating background daemon by default。400/217（HN）。从 0.157.0 起，最后一份 Codex 退出之后守护进程还活着。💬 评论把它拆成三件事。行为本身——“你没要求的东西被装上并且常驻，很脏”，有人给出 codex features disable daemon_auto_start 之类的回收办法。磁盘——旧版本全留在 ~/.codex/packages/standalone/releases，单个二进制约 300MB，有人统计到 12GB，还有人翻出 11 份重复的 codex 二进制躺在缓存里。普遍性——有评论指出 Claude Code 用的是同一套运维模型，只是 Nix 打包时顺手把这两个行为打掉了，所以很多人根本不知道它做过这事。

  • 把 WiFi 7 路由器改成 320Msps 的软件无线电接收机 — Turn a WiFi 7 Router into a 320Msps Software Defined Radio Receiver。230/56（HN）。对业余无线电来说，这类项目的意义是把接收端的成本压到消费级路由器的价位，剩下的活交给固件和软件。

  • 让 Firefox 的大文件下载可以续传 — Making big downloads resumable in Firefox。45/5（HN）。浏览器在这件事上的默认行为是重下整个文件，笔记给的是一条绕开的路。问题不大，痛在每次大文件都要重来一遍。

  • 用 C 写一个现代 Web 应用 — A Modern Web App in C。341/151（HN）。值得讨论的其实是”现代”这个词：抛开框架之后，路由、模板、连接处理各自要多少行才够，等于给”Web 栈到底需要多少抽象”做了一次减法。

  • Show HN：Brickbrag，浏览器里的多人积木世界 — Show HN: Brickbrag – A multiplayer brick-building world in the browser。12/5（HN）。分数不高但方向具体：浏览器里做多人共创，门槛早就从渲染挪到了谁能改哪一块积木。

  • Show HN：把 PS2 游戏静态重编译成 WebAssembly — Show HN: PS2 games statically recompiled to WebAssembly。257/138（HN）。PS2 那套 Emotion Engine 加向量单元的组合是静态重编译里最难啃的目标之一，能在浏览器里跑起来，说明翻译层的覆盖已经相当完整。

  • 在 Python 里每秒解析几十 GB JSON — Parsing JSON at tens of gigabytes per second… in Python。10 分（Lobsters）。读 Daniel Lemire 这类文章的正确姿势是看他把工作挪到了哪一层，而不是看标题里的语言——解析下沉到 SIMD 之后，Python 只剩调度，“Python 慢”这个前提在特定负载下就不成立了。

  • 用 restic 和 Backblaze B2 做 3-2-1 备份 — 3-2-1 Backup Strategy with restic and Backblaze B2。18 分（Lobsters）。落地记录，价值在于把”3-2-1”从口号拆成具体的保留策略、验证步骤和成本数字。

  • 把 Unreal 编辑器里”没必要那么安全”的哈希换掉 — Speeding up the Unreal editor by… not using unnecessarily secure hash methods。6 分（Lobsters）。方法本身值得单独记：不去碰已经优化透的热点，专找没人看、profiler 也扫不到的角落——这次抓到的是给资源生成 ID 用的加密强度哈希。

  • 把 ESP32 当成树莓派的 Linux 无线协处理器 — ESP32 As Your Raspberry Pi’s Linux Wireless Co-Processor。4 分（Lobsters）。把网络栈从主机挪到一块几美元的芯片上，这类分工方案在单板机生态里一直有生命力：主机省下的那点功耗和调度，正好是 SBC 最缺的。

💻 语言、编译器与底层

  • Zig 里的类型安全 HTML 模板 — Type-safe HTML templating in Zig。232/82（HN）、15 分（Lobsters）。走的是跟 JSX 完全不同的路线：没有构建期代码转换，结构检查压在编译器的常量求值阶段完成。

  • 谁是 vfmaddrnd231pd？ — Who Is Vfmaddrnd231pd?。45/0（HN）。今天最漂亮的一篇技术侦探。vfmaddrnd231pd 只存在于 Intel 手册里：它声称能做逐指令的舍入控制，SDM 为它配了专门的位域表和伪代码，但 GNU assembler 不认、ICC 的 intrinsic 不存在、在支持 FMA 的 Haswell 上执行直接 #UD。作者一路查到那个只在它能出现的 DDS 操作码前缀，最后发现 2026 版的 SDM 已经把它删掉了——2024 版还留着。手册也是软件，也会留下没人清理的死代码。

  • 你的 C 不是标准 C — your c is not standard c。9 分（Lobsters）。同一个作者在前一篇里拆了 strtod 的可移植性，这篇把范围扩大到整门语言：日常写的那个 C，其实是由各家实现扩展拼起来的方言。

  • (后量子)密码学的正确答案 — (Post-Quantum) Cryptographic Right Answers。45 分（Lobsters）。Filippo Valsorda 把”现在该用什么”重做了一份清单，主要变化是后量子迁移从”要不要讨论”进入了”怎么排期”。

  • 512 字节一步：还原 IBM i 存档文件的校验和 — 512 bytes at a time: reconstructing IBM i save-file checksums。4 分（Lobsters）。逆向一台早没人维护的大机存档格式，这类文章的价值在路径：每一步推理都必须能被下一份样本证伪，否则走不远。

🎮 轻度、硬件与好玩

  • Phreak.ing：互联网电话交换机 — Phreak.ing – Internet Phone Switch。30/1（HN）。把电话交换这一层重新做在互联网上，是黑客文化里最老的那条支线在今天的版本。

  • 雪铁龙把 2CV 做成了电动车 — Citroen revives the 2CV for an electric age。239/285（HN）。2CV 当年的立身之本是便宜、能修、能开烂路。电动化保留了哪一条、丢掉了哪一条，看规格表比看官图清楚。

  • 《超级马力欧 64》的制作过程：Giles Goddard 完整访谈 — The Making Of Super Mario 64 – full Giles Goddard interview (2001)。208/80（HN）。2001 年 NGC 杂志原文的完整版。老开发访谈被翻出来的价值，在于它记录的是当时的约束——容量、人手、排期——而不是当事人有多天才。

  • 找了 60 年的橙猫秘密揭晓 — Secret of Orange Cats Revealed After 60-Year Search。215/170（HN）。橘色最终定位到 X 染色体上一段调控 Arhgap36 的区域，顺带解释了橘猫为什么绝大多数是公猫——这个副产物比主结论更好记。

  • 能直接插到墙上的太阳能板 — Solar panels that plug into your wall。81/69（HN）。欧洲的阳台光伏卡在法规和插座规格上，不是卡在技术。看点在于并网安全标准怎么给几百瓦级的小设备开口子。

  • 美国最长的公路隧道（2025） — America’s Longest Highway Tunnel (2025)。6/4（HN）。低分小帖。这类”最长”纪录多半由地质和州界决定，而不是规划野心，读完反而比夸张的标题实在。

  • 给 ZX Spectrum 写一个 Demoscene 开场 — Writing a Demoscene Intro for the ZX Spectrum。52/6（HN）、26 分（Lobsters）。在 3.5MHz 的 Z80 和 48K 内存上做定时与内存布局，是对”约束驱动创造力”这句话最不客气的检验。

  • 我们给《星际争霸》装上了格斗游戏的网络代码 — We Put Fighting Game Netcode in Brood War。8 分（Lobsters）。格斗游戏的回滚机制是为两个人、几十个变量的状态设计的；Brood War 是同屏几十个单位加确定性模拟。把它塞进去，本质是在量”回滚一次要付出多少内存和重算”。

  • 《绝命毒师》演员 RJ Mitte 去世，34 岁 — Breaking Bad star RJ Mitte dies aged 34。34/2（HN）。他本人有脑瘫，剧里的角色把这件事写进了身体语言；他后来长期做相关倡导工作。

  • 出版商杀死了平装本，然后怪读者不看书 — Publishers Killed the Paperback, Then Blamed Readers。89/63（HN）。商业史向的论证：先收缩廉价版本的生产以改善利润结构，再把销量下滑归因于阅读习惯。

今日总结

今天的情绪是”制度反应”多于”技术惊叹”。模型侧照旧在往上推——Meta 把 Muse Wonder 称作个人超级智能的一步，智谱把 LLM 送进法律流程，Linus 拿 Claude Code 写内核——而社区侧第一次出现了整齐的防守动作：QGIS 用提案投票把 AI 贡献挡在门外，Plotly、Hatchet、PgDog、Godot 在评论区补上各自的现场记录。必读三条：QGIS 的 QEP428 提案加它的评论区（这是目前最完整的一份”AI 贡献洪水”一手材料）、《谁是 vfmaddrnd231pd？》（纯技术，读完会对”文档即事实”多一层警惕）、以及 GLM-Legal 下面关于 AI 审合同的争论（LLM 顶得上初级、顶不上合伙人的分层，比任何基准都有用）。横向信号有两条：一条是控制权——欧洲超市冷柜被远程开成除霜模式、Codex 默认常驻一个你看不见的守护进程、浏览器指纹替你跨账号串门，三件事分属不同领域，指向的都是”你机器上的东西不完全听你的”；另一条是验证成本——今天的争吵几乎都绕回同一处，产出可以无限加速，确认产出做了正确的事不行。