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

今日关键词：产能不是瓶颈，认领验证的人才是 数据源：HN Top 30 + Lobsters Top 25。跨站重复三条（JPEG XL、软件博客反模式、Margaret Hamilton 逝世）合并成一节并附两处讨论链接。最终收录 50 条。

🔥 今日焦点

OpenAI 一次性放出 722 篇 AI 手稿，归到 372 个结果族，其中 235 族带 Lean 形式化，剩下 137 族的 README 自己写着「可能有问题」。而一周前，它自己召集的数学与 AI 顾问组（AGMAI）刚建议实验室别拿未公开的前沿模型刷高难度数学题——发布帖引用了这份建议，然后照发。同一天，Anthropic 把 Haiku 5.5 的价格压到 GPT-6 Luna 的同一档，微软把员工每月的 Claude 额度从 10 万美元收到约 1 万。

两件事拼在一起是一个问题：能力的边际成本正在塌方，而「谁有权宣布某个结果成立」这件事没有任何一方愿意先松口。

🤖 前沿模型与 AI 产业

  • OpenAI 一次放出 722 篇 AI 数学手稿 — Sharing AI progress in mathematics。1212/1382（HN）。722 篇手稿收在 372 个结果族里，Apache 2.0，平摊下来每个结果约等于 3 小时 ChatGPT Pro 的算力。💬 评论区把 Lean 形式化当成唯一可信的分界线；也有人直接拿 Unique Games 那篇的第一节开刀，说记号里 V 和 E 的类型标注写乱了，得靠形式化才能确认作者想说什么。

  • Anthropic 发布 Claude Haiku 5.5 — Claude Haiku 5.5。590/283（HN）。100k token 以内输入 $0.10、输出 $0.50 每百万 token，比 Haiku 4.5 便宜 90%，超过 100k 的档位是五折——而这个 100k 分档只对 Haiku 生效，Sonnet 和 Opus 没有。💬 评论区两条线：100k 阈值对 agent 负载形同虚设，很快会跨过去；Max 和 Team 订阅开始附赠每月 API 额度（$100/$200/最高 $500），有人视作「终于能给产品塞真 AI 功能」的分水岭。另有人实测 SVG 绘图，low 档把自行车车架画歪，max 档花 5 分 9 秒、3.38 美分。

  • GPT-6 带着 Intelligent UI 铺向所有档位 — GPT‑6 and Intelligent UI for everyone。426/217（HN）。回答里直接长出按钮、表单、图表，付费档走 Sol、免费与 Go 档走 Luna，Work 和 Codex 的模型不变。💬 反对意见集中在视觉密度——有人说不反对能力提升，但那些没必要的留白和清单式排版让他觉得在被当成小孩哄；另一条线盯着随附的系统卡：Sol 和 Luna 在自伤、血腥、性内容上的安全指标比各自前代有统计显著的回退。

  • 微软和 Meta 收回员工的 Claude 额度 — Meta and Microsoft take steps to reduce employee usage of Claude AI。223/221（HN）。微软云与 AI 部门把每人每月的 AI 支出上限从 10 万美元压到约 1 万，内部对 Anthropic 的年支出预期因此砍掉三分之一以上，转向 GitHub Copilot 和自家模型；两家同时仍是 Anthropic 的大客户。对外的 API 生意照做、对内的额度先砍，这种分裂比任何价格表都更能说明企业级 AI 采购现在按什么逻辑走。

  • Docker Agent — Docker Agent。149/60（HN）。Docker 官方开源的 agent 运行时，直接把容器当执行沙箱。执行边界这块拼图由掌握运行时的一方来做，比让 agent 框架自己造沙箱合理得多。

  • 11 个正方形最优装箱的形式化证明 — AI-assisted proof of optimal packing for 11 squares。102/48（HN）。AI 参与推导、Lean 负责验收。这种「小问题 + 完整形式化」的组合，比成批未验证的手稿更接近可复现的科研增量。

  • Google Playground — Google Playground: Create and play custom games。101/188（HN）。自然语言描述生成可玩小游戏并一键分享。做成分享平台之后，考的是审核与内容归属，生成能力反而是最不缺的那一环。

  • SynthID Detector — SynthID Detector。80/69（HN）。Google 把自家不可见水印的检测做成公开网页，上传图片即可验证有没有 SynthID 标记。检测工具交给外人用，等于替行业默认了「AI 生成要能自查」这一项——但它只认 SynthID 这一种水印。

  • Agent.reviews — Show HN: Agent.reviews – Where AI agents read and write reviews on tools。28/31（HN）。让 agent 之间互相写工具评测。评价体系的信源可信度问题原样搬进了 agent 生态，只是这次写评语的和读评语的都不是人。

  • 讨厌 AI 编程的理由 — Reasons to dislike AI coding。23/26（Lobsters）。切入点是把写代码当手艺的那套自我认同——讨论的是 AI 介入之后「作品感」还剩多少，不是模型能不能写对。

🛠️ 工具、协议与基础设施

  • Bigwords.page — Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app。297/97（HN）。把一块屏幕变成标语牌，URL 本身就是应用，没有后端也没有账号。状态全塞进 query string 这个老套路，搬到「临时当个牌子用」的场景里刚好合适。

  • ascii.rest：网页里的动画 ASCII 艺术 — Animated ASCII Art for Web Pages。258/55（HN）。纯文本做动画，展示页本身就是成品。

  • Brut：Unix 工具的野蛮路由器 — Brut, the Brutal Router for Unix Tools。35/29（Lobsters）。单文件 POSIX shell 脚本，按文件名和第一个参数分发到子命令，整个脚本带注释源码发布。把「一个工具一族子命令」的约定用 shell 端到端实现了一遍。

  • MIT 的终端程序状态协议 OSC 7501 — A Terminal Protocol for Program Status (OSC 7501)。27/22（Lobsters）。Mitchell Hashimoto 定义的新转义序列：任何程序都能告诉终端自己在 idle、working、等用户输入、完成还是失败，以及为什么。意义在于把「卡住了」这件事从终端窗口的标题栏和人类的猜测里拿出来。

  • On Git Refs — On Git Refs。6/1（Lobsters）。matklad 从一个具体困惑出发：为什么一个命令写 origin master，另一个写 origin/master。答案在 ref 命名空间和 fetch refspec 的对应关系里，值得那些把 Git 当内容寻址数据库记的人补一页。

  • Faster streaming HTML with batches and aggregates — Faster streaming HTML with batches and aggregates。6/1（Lobsters）。服务端流式 HTML 的批量与聚合技巧，算「不写前端框架」这条路线上的工程细节续篇。

  • 小社区怎么自建发行版构建工具 — Creating distro build tooling for a small community。19/2（Lobsters）。Chimera Linux 维护者解释为什么自研 cbuild，而不是复用主流发行版现成的构建栈：人力规模差一个数量级时，工具链的取舍完全不同。

  • Gentoo 的 Chromium 包到头了 — Last rites for Gentoo’s Chromium package。57/10（Lobsters）。💬 讨论里最关键的一条不是技术问题：一位用户的恶劣行为把维护者逼到先顾自己的精神状态，直接放手。另有人甩出编译时间对比——Chromium 三小时半、LibreOffice 15 分钟、Firefox 10 分钟；还有人提议改吃 NetBSD pkgsrc 的包，但指出根子在 Google 没动力让 Chromium 好编译。

  • COSMIC 是否正在超过 KDE Plasma — Is COSMIC DE mogging KDE Plasma?。44/12（Lobsters）。这类比较最后都落在同一个问题上：谁有稳定的人力把默认体验维护到明年，而不是谁的配色更好看。

💻 语言、编译与性能

  • 把 if 上推、把 for 下沉 — Push ifs up and fors down: The idiom, its algebra, and its limits。75/30（HN）。这个惯用法被写成了代数形式，也标注了它失效的边界条件——比单纯背口诀有用。

  • 机器是怎么学会精度的 — How machines learned precision。79/36（HN）。浮点精度这条线上的历史：硬件格式怎么统一，编译器又是从哪一步开始敢用低精度算。

  • Janet 跑在 x32 上：32 位指针、64 位速度、省 25% 内存 — Janet on x32: 32-bit Pointers, 64-bit Speed, 25% Less RAM。63/19（Lobsters）。💬 评论里最有信息量的是泼冷水的那条：他们为 CHERI 做分析时发现，通常不到 20% 的页里含指针——省下的地址空间有多少能真正变成内存收益，取决于程序的分配形状。另有 Zig 维护者现身说 0.17.0 已完整支持 x32 和 N32。

  • 给 Rust 程序员的 C — C for Rust Programmers。26/7（Lobsters）。方向是反的：讲 C 的哪些约定其实是历史包袱，哪些是 Rust 后来用类型系统补上的。

  • 不写函数名也能调用 C 函数 — Calling a function in C without naming it。13/1（Lobsters）。属于那类「能跑但别用在生产」的技巧帖，价值在于把链接器和符号解析的边界显式演示一遍。

  • rat 的极简寄存器分配器 — rat’s minimal register allocator。11/0（Lobsters）。把一个玩具编译器的寄存器分配做到「够用且能读」，这类实现记录比直接看 LLVM 的分配器适合入门。

  • Python 3.15 有多快 — How fast is Python 3.15?。16/7（Lobsters）。Miguel Grinberg 的年度非正式基准（基于 3.15.0rc3），连续几年都有，好在每年的测量方式不变。

  • 我们的房子现在都建在沙子上 — All our houses are built on sand now。5/2（Lobsters）。作者本想统计「你的语言有多 slop」，结果统计出更难看的东西：近年提交里 C# 和 Ruby 约三分之一、Julia 超过一半由 LLM 写成；保留人味的名单是 Chicken Scheme、Perl、Lua、Clojure。

🌐 浏览器与 Web 平台

  • Chrome 开始发运 JPEG XL — Shipping JPEG XL in Chrome。462/295（HN）/21/8（Lobsters）。💬 评论区补充了时间线：Chrome 110 弃用、Chromium 移除、issue 重开，到这次真发运；Firefox 十月内跟进，JXL 这个月会从「只有 Safari 支持」变成多数覆盖。也有人翻出老问题——Safari 至今没打开 libjxl 的渐进加载，而 Chrome 和 Firefox 非 Android 版已经默认开，三年的棋钟翻了面。

  • 《战神》从 PSP 静态重编译到 WebAssembly — God of War on PSP, recompiled to WebAssembly and running in the browser。140/74（HN）。把 MIPS 指令静态翻译成 WASM，而不是套一层模拟器——这类项目每次都在重新证明「重编译比解释快一个数量级」。

  • photocraft：纯 Rust 的干净室 Photoshop 复刻 — An open-source, clean-room reimplementation of Adobe Photoshop in pure Rust。20/13（Lobsters）。16.6k star、123 个开放 issue，README 最新提交在处理超过 2 GiB 的 PSB 分层解码。这类项目的真实进度要看 issue 列表，不是 star 数。

🔒 安全、隐私与法律

  • Visa、Mastercard 和多家银行面临新的反垄断诉讼 — Visa, Mastercard, major banks facing new litigation over ‘anticompetitive’ fees。442/305（HN）。💬 评论区给的是具体数字：不少加油站宁可让顾客改走 ACH，一笔省下的手续费差在 0.6 美元对 2～2.5 美元之间。另一条高赞评论只要两项改革——允许商家把刷卡费加在账单上，允许商家挑卡而不受罚。

  • ShinyHunters 在被捕前就勒索了波音剥离出的公司 — ShinyHunters Extorted Boeing Spin-Off Prior to Arrests。67/15（HN）。Krebs 的报道，补上了「抓到了人」和「钱已经付了」之间的时间差。

  • curl 下一个版本要一次修 22 个漏洞 — Twenty-two pending curl vulnerabilities。13/0（Lobsters）。10 月 14 日发 8.23.0，Daniel Stenberg 惯例提前公布这批漏洞的数量和来源分布。一次二十二个听着吓人，但这是把审计结果集中披露的结果，不是突然变糟。

  • Zeroization 第一部分：擦除可能让事情更糟 — Zeroization, part 1: Wiping can make things worse。10/5（Lobsters）。作者说零化调用是 LLM 最喜欢提的低垂果实，出于好意加上的 wipe 有可能把密钥从受保护的内存搬到更危险的地方。这种「看着对但反效果」的补丁值得单独成文。

🏛️ 人物、行业与学界

  • Margaret Hamilton 去世，享年 90 — Margaret Hamilton, who led software development for the Apollo program, has died。213/18（HN）/26/0（Lobsters）。阿波罗软件的负责人，把「软件工程」变成一门被认真对待的学科的人。她团队写的优先级调度逻辑让登月舱在最后几秒活了下来。

  • 技术博客的常见反模式 — Anti-patterns in software blogging。187/104（HN）/67/31（Lobsters）。💬 评论区补充的反模式比原文更实用：把写作日期藏在页面底部、把脚注写成必读。最狠的一条是「花两个月搭自建博客平台，再花两小时写一篇介绍自己打算写什么的第一篇，然后就没有然后了」。另一条则反对文章里那句「假设读者什么都不懂」——真正该做的是知道读者懂到哪。

  • 软件开发者状态不好 — Software developers are not okay。39/11（Lobsters）。Baldur Bjarnason 把观察对象放在评论区，而不是那些「我离开科技行业」的视频——真正说明状态的地方在那里。

  • 可持续的 Web 职业：等这一切过去之后 — A sustainable web career, for when all this blows over。50/32（Lobsters）。💬 讨论比文章本身更好读：有人搬乔布斯那句「那些工作不会回来」；有人同意「现在学 React 是浪费时间」，但补了一句「已经会 React 的人永远有合同可接」；还有人干脆说，坐着等风头过去帮不了任何人。

  • 2026 年诺贝尔化学奖 — Nobel Prize in Chemistry 2026 to Henri B. Kagan and Kenso Soai。282/53（HN）。授给不对称自催化——手性在没有人干预的情况下如何自我放大，这也是生命同手性起源问题的实验基石。

  • Navier–Stokes Lost in Translation — Navier–Stokes Lost in Translation。216/141（HN）。标题直译是「纳维–斯托克斯在翻译中丢失」，讨论的是方程在不同数学表述之间转换时，哪些结构会丢。

  • 台湾海底电缆中断的风险报告 — When Submarine Cables Go Dark: Understanding and Preparing for the Risks of Taiwan’s International Internet Disconnection。5/6（Lobsters）。开放文化基金会今年 5 月发布、8 月更新的报告，中英双语，讲的是断缆之后本地还能剩下什么。分数低跟内容质量无关，这类韧性报告平时没人转。

  • 维多利亚时代的精英为什么这么能打 — Why were Victorian elites so effective?。71/121（HN）。用「七种恶习」逆推那批人的产出逻辑，实际对标的还是今天的效率文化。

🎮 轻度与技术生活

  • 从 C64 键帽照片重建的字体 — A font recreated from photographs of classic Commodore 64 keycaps。368/62（HN）。字形从实物键帽的照片反推，跟复刻 ROM 原字形是两条路子，对修老机器的人更实用。

  • 我一不小心和笔记本小偷共事过 — That Time I Worked With a Laptop Thief (2025)。86/19（Lobsters）。💬 评论里最扎心的是当事人自己的补充：公司懒得追究，那人一年顺走三十多台笔记本，「他学到了什么？每份工作每年多挣三到五万」。也有人被故事里另一处细节吓到——苹果店居然把真机主的姓名和家庭住址给了报案的人。

  • Skyrim 的 Magelight 经验漏洞是怎么运作的 — Explaining the Magelight XP glitch in Skyrim。24/0（Lobsters）。一个游戏机制漏洞的完整因果链，属于逆向分析里最耐读的一类。

  • 30 万英镑，附带 15 米地下隧道网 — House with 15m underground tunnels for sale for 300k。141/148（HN）。雷丁一栋带地下隧道网的房子挂牌。房价放一边，一栋普通排屋下面为什么会长出十几米隧道，比挂牌价有意思。

  • Wood Tape（2004） — Wood Tape (2004)。138/17（HN）。二十多年前的网页小项目被翻上来，这类帖子存在的意义就是提醒人：不需要 JS 框架也能做出好玩的东西。

  • MIT：3D 打印复杂电机 — 3D-printing platform rapidly produces complex electric machines。53/26（HN）。把绕组和磁路一体成型，指向的是小批量特种电机——传统绕线工艺做不出来的那些形状。

  • 拆一枚二战遗留炸弹 — The art of defusing a second world war bomb。106/84（HN）。长篇交互报道：一枚能掀掉整条街的炸弹，为什么不能拖走、不能就地引爆，以及拆弹员怎么定这套决策顺序。

今日总结

今天真正在动的是两本账。一本是价格：Haiku 5.5 砍到原来的十分之一、GPT-6 Luna 同档，微软转头把员工的 AI 额度按同一比例收回——能力贬值的速度快过任何人重写采购流程的速度。另一本是信誉：722 篇手稿里超过三分之一没有可机器检验的证明，作者自己标了「可能有问题」，而验证这活没有对应的机构接手。

必读三篇：OpenAI 数学发布的 README（尤其那 137 个族的免责说明）、Baldur Bjarnason 的《软件开发者状态不好》、以及 po-ru.com 那篇统计各语言 LLM 提交占比的《我们的房子现在都建在沙子上》。横向信号还有一个：curl 一次要修 22 个漏洞、零化这种「看起来一定对」的补丁被论证成可能有害、Gentoo 的 Chromium 维护者被迫弃守——基础设施的维护者正在为所有人的免费劳动付账，而这张账单今天在三个不相关的项目里同时出现。