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

今日关键词：判断可以外包，理解不能 数据源：HN Top 30 + Lobsters Top 25。Lobsters 首页常驻、昨日已收录的五条（灯泡计算机、2D 车辆物理、strtod 可移植性、Kiesel 0.4.0、iframe 自适应高度、1980 年代滤波芯片）不再重复。最终收录 48 条。

🔥 今日焦点

今天吵得最凶的地方都不在新模型上，而在”理解”还剩多少价值。Karpathy 说 LLM 能力的共识正在撕裂，底下 293 条评论一半在列 AI 没改善的生活细节（车、洗碗机、房租、孩子的成绩），另一半回敬”能力追上需求只是时间问题”——两边都同意分歧存在，只是对分歧该往哪边收没有共识。同一天 Terence Tao 的 Math 2.0 演讲被一条药物审批的举例带偏，出面反驳的恰好是药物研发从业者，他们的理由是那个例子不成立：在人类自己也没搞清机制的情况下，现有药物照样上市。争议真正的落点在 Tao 的另一条假设——AI 会不会去钻试验流程和数学模型的漏洞。

把这几个帖子放在一起看，共同点是对”判断”的处置方式：判断可以交给工具，理解不行。Lobsters 当天分最高的那篇《你不是孤岛》讲的是同一件事的另一面，作者担心的问题是写出来给谁看。

🤖 AI、agent 与智识生活

  • Karpathy：对 LLM 能力的共识正在撕裂 — The gap in shared understanding of LLM capability is widening。188/293（HN）。💬 高赞反驳把账算到日常层面：车还是那辆车、火车还是不准点、房租更贵，AI 的收益没落到普通人头上；反方则说这是能力追赶需求的时滞。另一条线更值得记——有评论指出这些问题的成因是激励结构而不是天才数量，按这个逻辑，“AI 普及之后问题自然消解”这个前提本身就不成立。

  • Terence Tao：数学 2.0 — Terence Tao: Math 2.0 [pdf]。301/357（HN）。💬 药物发现从业者下场纠正：现有药物的作用机制大多本就解释不完备，若真有一款 AI 设计的药过了三期，没人会因为”说不清为什么有效”而拒用，所以那个举例的伦理直觉不成立。也有人替 Tao 把话说回来：他真正的问题是 AI 能不能找到审批流程和模型本身的弱点去通过测试，这一问跟医学知识无关。

  • Tao：图示在证明之外的作用 — Illustration Beyond Proof。3 分（HN）。同一天的第二篇，讲画图不是为了说服，而是为了发现自己还没想清楚哪一步。

  • Sakana：通过集体智能实现递归自我改进 — Recursive self-improvement through collective intelligence。32/7（HN）。把”自我改进”的实现路径从单体模型挪到一群 agent 的协作上，属于少见的非单点路线。

  • 500B token 之后：让 AI agent 去编译一个第一人称射击游戏 — 500B tokens later: Letting AI agents decompile a first-person shooter。140/103（HN）。💬 有人给出更省的路子：放弃字节等价，只要语义等价，让 agent 自己写测试自证；随即被反驳——测试全通过不等于语义等价，溢出行为、浮点栈、指针别名都可能不一样，而且 SMT 求解在循环、非线性算术和别名上会直接炸掉求解时间。想复刻原版 bug 的速通圈子，另一种更硬的做法是先机械反编译再逐步改写。

  • Show HN：Plimsoll，给 AI 写的代码一个自托管沙箱 — Show HN: Plimsoll, a self-hosted sandbox for code your AI agent writes。3 分（HN）。执行容器这一层今年反复有人补，自托管版本的价值在于不用把代码送去第三方跑。

  • Rubber Duck：一个只问、不给答案的 AI 面试官 — Rubber Duck: An AI interviewer for the knowledge in your head。52/13（HN）。把 LLM 的用途从”替你答”翻成”逼你讲”，这反向用法比工具本身有意思。

  • 抱歉，你还是得自己想 — I’m sorry, but you still have to think。23 分（Lobsters）。作者的态度很直接：把思考让出去省下的时间，最后还是以返工的形式还回来。

  • 你不是孤岛 — No Man Is an Island。70 分（Lobsters）。💬 有人批评作者先把一个尚未发生的结论当既定事实再倒推；也有人接着往下推：如果 FOSS 的未来是一堆 LLM 生成的随手 PR，“合作”这件事本身就没了对象。反驳”AI 生成文本有生理性恶心感”的那条同样具体——人对内容的信任门槛不会因为生成成本下降而消失。

💻 语言、编译器与性能

  • PATH 里的波浪号可能不是你的 HOME — The tilde in your PATH may not be your HOME。202/140（HN）。💬 第一条评论主张”别给波浪号加引号”，当场被纠正：Bash 只在变量赋值里做波浪号展开，a=123:~ 会展开、echo 123:~ 不会——同一串字符在赋值和参数位置规则不同，有人给这套规则起了个准确的名字：Calvinball。

  • Rust 里的安全 SIMD，连内部也不 unsafe — Safe SIMD in Rust, even on the inside。22/1（HN）。把 SIMD 的边界收进类型系统，而不是靠调用者记着”这函数要求 16 字节对齐”。

  • Valen 的内存安全：一种新的借用检查 — Valen’s Memory Safety: A New Kind of Borrow Checking。23 分（Lobsters）。不是给 Rust 打补丁，而是换一组所有权规则重新推导，读它的价值在于看清”借用检查”其实是一族设计选择而不是唯一解。

  • 下一代借用检查器：Rust 借用检查的替代实现 — The next-gen borrow checker, a drop-in replacement for Rust borrow checking。4 分（Lobsters）。目标是替换现有实现而不改语言表面，成败取决于它能不能通过编译器自己的测试集。

  • C 里的 arena 分配器 — Arena Allocators in C。11 分（Lobsters）。一篇把”批量申请、一次性释放”写到底的教程，配合前面的借用检查讨论看，正好是两种内存管理的极端。

  • Futhark 怎么处理别名传播 — What we ended up doing about alias propagation。3 分（Lobsters）。编译器团队公开记账：别名分析做过头会拖慢编译，做不够会漏优化，这篇交代了折中落在哪。

  • NumPy 2.5 里 np.searchsorted 快了 25 倍: — Making np.searchsorted up to 25× Faster in NumPy 2.5。10 分（Lobsters）。加速来自分块与 SIMD 路径重写，代价是边界分支变多——典型的基础库优化取舍。

  • 一致性不是局部属性 — Consistency is not a localized property。10 分（Lobsters）。分布式系统里最容易犯的错，就是在单个服务里谈一致性，而它取决于整个调用链上谁能看见什么。

  • 一个 Git commit 有多大 — How big is a Git commit?。26 分（Lobsters）。把对象头、树、压缩后的实际字节摊开算，看完会对”仓库怎么这么快变大”有一把尺。

  • ClickHouse C：用原生二进制协议直连 ClickHouse — ClickHouse C – Talk to ClickHouse using its native binary protocol。3 分（HN）。绕开 HTTP 那一层，适合嵌入到不想拖进 C++ 工具链的进程里。

  • apsw：另一个 Python SQLite 封装 — apsw: Another Python SQLite Wrapper。4 分（HN）。标准库的 sqlite3 藏了不少能力，apsw 的定位是把接口原样透出来。

🛠️ 工具与基础设施

  • IRCv3 — IRCv3。338/288（HN）。💬 评论区集体回到 90 年代末：ICQ 的信息密度、塞进一张 1.44M 软盘的 mIRC 4.51 在 486 上秒开，还有人认真追问”为什么至今没有一个开源的 Winamp 2.95 克隆”，另一条回复把 XMMS 到 Audacious 的谱系列全了。怀旧之下有个硬事实：协议层仍在推进，客户端生态早就停了。

  • 把 JSON 列打散让 Logfire 查询快了最多 1000 倍 — Shredding JSON columns gave Logfire up to 1000x faster queries。142/90（HN）。把常查的 JSON 字段提成真实列，剩下的按需回读——加速比能到三个数量级，说明之前的存储形态确实用错了。

  • D-Bus 地狱 — D-Bus Hell。21 分（Lobsters）。Linux 桌面把进程间通信全押在 D-Bus 上，出事时的排查体验被写成了一篇控诉。

  • 多语言文档站的西部荒野 — The wild west of polyglot docs sites。6 分（Lobsters）。多语言文档站点怎么组织、怎么不互相漂移，各家方案互不兼容，这篇把地图画出来了。

  • 让 React Context 变便宜 — Making React Context Cheap with React Compiler。3 分（Lobsters）。用编译器自动记忆化，替代手写拆分 Context 的那套仪式。

  • LineageOS 24.0 发布 — LineageOS 24.0 released。35 分（Lobsters）。延续”厂商停更就自己接盘”的角色，这版跟进到新 Android 基线，设备清单照旧是重点。

  • Ask HN：你要不要一台预装 DD-WRT 的路由器 — Ask HN: Do you want a router that has DD-WRT pre-installed?。9/7（HN）。厂家把开源固件当卖点这件事，回答区一半在问售后算谁的。

  • 我也在用 WebP 了 — I guess I’m using WebP now?。61/65（HN）。作者的动摇来自兼容性成本已经低于收益，评论区的分歧在”格式之争是不是早就该停了”。

🔒 安全、隐私与监控

  • Passkeys 是个陷阱，别用 — Passkeys are a trap. Do not use them。167/79（HN）。💬 第一处修正很关键：attestation 只能在注册时强制，登录时无法追溯要求；但反驳者说这拦不住厂商——网站明天就可以拒绝未认证的凭据，逼你重注册。另一条抓住了作者自己的矛盾：文末补充说”我还没提 passkeys 最重要的安全属性（域名绑定、抗中间人）“，前面却把 TOTP 论证成等价方案，而 TOTP 是共享密钥，服务端一被攻破就全完。

  • 设备指纹成了新的 Cookie — Fingerprints Are the New Cookies。27/7（HN）。💬 评论提醒这套在欧盟早已被纳入同意范围——同意横幅从来管的是追踪行为本身，跟存储介质无关；也有人抱怨自己的固定出口 IP 天天被风控误判，说明检测门槛低的代价是误伤。真正在落地的是工程侧选择：有公司放弃商用指纹服务，改在 CDN 层看 JA3/JA4。

  • 远程员工拒绝每天 160 张摄像头照片，被解雇 — A Remote Employee Refused 160 Webcam Photos a Day. Her Employer Fired Her。120/77（HN）。一天 160 次自拍打卡的算术本身就说明了这套制度的性质。

  • 拆解 Eufy 门铃和基站 — Hacking the Eufy Doorbell and Base Station。2 分（Lobsters）。门口那个摄像头同时是物理安全设备和网络里的常驻设备，两个攻击面都得算。

🏢 公司、政策与钱

  • 纽约市”点击即取消”规则生效 — NYC’s “Click to Cancel” rule is now in effect。317/151（HN）。💬 评论区的第一条对策已经把规则绕过去了：Adobe 提供一键取消，但收一笔等于剩余年费金额的取消费，理由是年付折扣已经兑现。有人补了订阅页的细节——“查看全部方案”里确实藏着真月付选项，价格是年付月扣的三倍；也有人说这个设计本身就是为了把人推回年约。规则要求”清楚说明条款”，可能会先在这一条上打出判例。

  • Google 被指非法砍林建数据中心 — Google is illegally cutting forest to build data centers。50/6（HN）。芬兰项目因环评被叫停，AI 算力扩张的物理成本开始以土地审批的形式显形。

  • Google 全球数据中心分布 — Google Data Centers around the world。30/20（HN）。官方站点，跟上面那条对照着看，能看出选址逻辑里水电和审批各占多少权重。

  • 各国政府正在搞砸可负担性危机 — Governments are mishandling the affordability crisis。7/1（HN）。论点不新，但把住房、食品、能源三项的价格曲线和补贴工具放在一起比，比单点抱怨有用。

  • GitHub 有什么问题 — What’s Wrong with GitHub。47 分（Lobsters）。💬 讨论集中在 GNU 的”伦理代码托管”评分：除自家的 Savannah 外，只有 Sourcehut 达标，Codeberg 因前端 JS 未按 GNU 的方式标注同样被评 F。有人指出这套标准自相矛盾——Sourcehut 允许私有非自由仓库，Codeberg 不允许，而标准却卡在前端 JS 上；连 GUIX、GIMP 这些 GNU 项目自己都在用 Codeberg 和 GNOME GitLab。

🎮 轻度、硬件与旧账

  • Total Annihilation 为现代电脑重制 — Total Annihilation, rebuilt for modern computers。324/138（HN）。💬 评论区几乎没人聊这个重制版，全在推开源续作 Beyond All Reason：支持上百名玩家、上万单位同场；也有人说 8v8 圈子对新手不客气，打输就被喷，1v1 反而松弛——同一款游戏的两套社区生态。

  • 全息摄影后来怎么了（2011） — Whatever became of holography? (2011)。9 分（HN）。一篇十五年前的解释：全息在技术上成立，在成本和观看条件上一直没成立。

  • 朝鲜制图师 — Cartographers of North Korea。162/28（HN）。没有公开地图的地方，地图是照着卫星图、脱北者口述和铁路走向一点点拼出来的。

  • 《观看之道》第一章 — Chapter 1 of Ways of Seeing by John Berger。63/10（HN）。做成了网页版的图文对照，讨论在翻”复制时代让图像脱离原境”这套论述在今天还剩多少解释力。

  • The Onion 在找老读者回购纸质旧刊 — So, You’d Like To Sell Your Print Issues Of The Onion?。227/30（HN）。💬 笑点先来——“270 年档案”是他们自己的玩笑（官网写着 1756 年创刊），正经历史是 1988 年起于威斯康星大学麦迪逊分校。有人补了一句现实解释：早期没人会想到三十年后自己要收藏一份玩笑周报，仓储预算一紧，最先砍掉的就是这项。

  • FlowCE：在 TI-84 Plus CE 上做微积分 — FlowCE: Calculus on your TI-84 Plus CE。6 分（HN）。计算器图形栈上写数值积分，属于把设备榨到边界的乐趣。

  • 六年做一款 Rust 游戏，终于上线（AMA 摘编） — Highlights from “I spent 6 years developing a game in Rust and it just shipped, AMA”。2 分（Lobsters）。六年周期里哪些决策至今仍然正确，这类复盘比”选什么语言”的争论有信息量。

  • 把 Tello 的 GameSir T1d 手柄当 Linux 手柄用 — Tello’s GameSir T1d controller as a Linux Xbox controller。2 分（Lobsters）。给无人机配的手柄在 Linux 上没有驱动，作者直接接进标准输入层。

  • 我还是在的，只是不在这儿写了 — I’m still around.. I’m just not writing here。84 分（Lobsters）。💬 讨论跑到了一个比原文更具体的地方：老式论坛的线程能活好几年，链接聚合器（包括 Lobsters 自己）的线程寿命只有一两天，自帖又基本不受鼓励；站方回应也直白——聚合器的目标就是把最好的新链接顶上来而非守住旧话题。有人提到 gopher、Reticulum、FidoNet 这类非商业空间，另一条立刻追问：这解决不了大厂对内容的抽取。

今日总结

今天的情绪是分裂加自省。技术圈对”AI 到底能替代多少人的判断”没有共识，Karpathy 那条和 Tao 那条底下吵的是同一件事的两半：能力边界的共识在碎，而对边界的需要反而更强。必读三条：Karpathy 的帖子和它下面的 293 条评论（这是当下技术圈最真实的分歧切片）、Tao 演讲被误读的完整过程（看一个例子如何脱离上下文变成站队工具）、以及”500B token 反编译 FPS”底下的方法论辩论（语义等价能不能用测试集证明，是个能写进工程规范的结论）。横向信号有两条：纽约的”点击即取消”生效当天，评论区第一条就在演示合规文本如何被定价工具绕开，消费端监管和商业设计仍在赛跑；伊朗式怀旧（IRCv3、mIRC）与”不在这儿写了”并排出现在榜上，前者是技术长大成人后回看，后者是写作者在算投入产出——同一件事的两种告别方式。