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

今日关键词：把日记交给平台、把算力换掉算法、把围墙修在自己院外 数据源：HN Top 30 + Lobsters Top 25。跨站重复一条（Making a GTK application in Haskell, part 1）合并为一节并附两处讨论链接；Lobsters 的「What are you doing this week?」为社区元帖不计入。最终收录 53 条。

🔥 今日焦点

Anthropic 报警那条是今天最需要想清楚的。佛罗里达一位女士把 Claude 当作私人日记本，在里面写了针对县警长办公室的威胁，模型的安全分类器标出，人工审核团队复核后转报警方，人被抓，罪名是佛罗里达州法下的「书面暴力威胁」。争议不在 Anthropic 有没有做错流程——它的公开政策本来就写明会转报可信的人身安全威胁——而在于「日记」这个使用场景本身就是个错误承诺：界面看起来像私人记事本，管道终点是审核队列和警局。HN 评论区吵得最凶的是法条边界，有人指出同一句话躺在手机本地备忘录里不构成犯罪，执法需要的是「另一个人可以查看」加实质行为。

今天有三件事指向同一个赌注：算力足够便宜之后，算法里的解析结构可以被暴力搜索替换。qlabs 的 Dust 走零阶优化，给每个 token 的激活加独立噪声、按损失下降奖励扰动，一次前向就并行评估几千个「虚拟种群成员」，在预训练规模上逼近反向传播，论文里甚至给了大算力下反超的拟合区间。Reflection 的 Beam 用 501B 总参数只激活 23B，把能力堆在稀疏路由而不是全量计算上。Vals AI 派 90 多个 Opus 5.5 agent 跑三天 DFT，捞出两个室温反铁磁半导体候选。三条路径的赌注是一致的：宁可多烧算力，也不再见招拆招地雕算法。

Cloudflare 上线 Web Search API，评论区第一条问的是「能不能存下结果再对外分发」，答案埋在条款深处，基本不能。爬免费内容起家的公司开始给自己抓来的东西修围墙，这条和 Flock 记录要价 200 万美元、挪威考虑禁智能眼镜放在一起看，是同一件事的三个切面：数据的获取权和使用权正在被重新定价，谁也不打算讲一致性。

🤖 AI 与模型

• Reflection 发布首个开源权重模型 Beam：501B 总参数、23B 激活 — Beam: Reflection’s 501B open-weight model。236/64（HN）。稀疏 MoE，主打编码、推理和 agent 负载，官方口径是对标中国开源模型（TechCrunch 语）而算力成本更低。评论区第一时间做了横向对比表：DeepSeek V4.1 Flash 552B 总量、8B 预填充激活、45T 预训练 token，Beam 501B/23B、28T token，并且没有视觉塔。💬 有人翻出官博第二张演示图的说明——用一个「几天前才火起来、不可能进训练数据」的几何谜题当泛化性证据，结果这个谜题并不新；也有人回护说他们确实没在这上面做 RL。对模型的评测争议之外，评论里更实际的质疑是「权重和 HF repo 在哪儿」，有人认为这类公告不给权重的部分不算数。
• Dust：不做反向传播的 Transformer 预训练 — Dust: Pretraining Transformers Without Backpropagation。57/5（HN）。做法是给每个线性层输出按 token 独立加高斯噪声，用该 token 损失的变化作为奖励，加权平均后估出梯度；因为每个 token 就是一个小种群成员，一次前向能评估几千个成员，比权重空间的 ES 高效三到四个数量级。0.1M–1M token 区间仍落后反向传播，10M 以上差距随种群规模收窄，20M 处的幂律拟合落在反向传播之下。作者自己声明不打算说服你今天就换掉反向传播，目标是把「搜索式信用分配」这条路打通。5 条评论的情况下没什么讨论，值得直接读原文。
• Opus 5.5 agent 集群找出两个室温磁性半导体候选 — Opus 5.5 agents discover two room-temperature magnetic semiconductor candidates。137/110（HN）。Vals AI 放了 90 多个 Claude Opus 5.5 agent 跑三天，产出两个反铁磁半导体候选：一个是新设计的氧化物 YBaMnFeO₅，另一个是 1999 年就合成过、但电子结构性质一直没人认出来的 KV[Cr(CN)₆]。两者都宣称净磁性为零且能按自旋分电子，也就是几乎没有杂散场，适合做自旋存储。团队附上了全部计算、代码和已知坑位清单，这一点比结论本身有价值。
• Claude Says…：把 LLM 的意见当论据转述，是今天最该被骂的习惯 — Claude Says。32/24（Lobsters）。作者的原话很直接：「我不在乎。如果我想听 AI 的反馈，我自己会去 prompt。」他的论证链是：你转述 LLM 的判断，等于承认这个题目超出你自己的表达能力；那我又凭什么相信你把我的问题准确传达给了模型。帖子里举了一个真实案例——需要「企业级内部安全包构建方案」时，有人让 AI 挑方案，AI 选了从源码 fork、构建并维护每一个依赖，而不是用制品仓库自带的分支补丁功能。评论区的共鸣点在于：AI 让烂方案不需要 buy-in，而改一个已部署服务的配置反而要开会。
• 陶哲轩：数学的未来 — The Future of Mathematics。69/33（HN）。陶本人的长文，讨论形式化证明、AI 辅助推演和数学共同体分工的变化。他这类文章的价值在于把「AI 会不会替数学家干活」拆成具体环节：猜想生成、证明搜索、验证、评审、以及最终由谁署名。
• Type Safe Generic Data Structures in C（2025） — Type Safe Generic Data Structures in C (2025)。128/98（HN）。靠宏和内联实现编译期类型检查的泛型容器，98 条评论说明这类「C 的极限在哪」的讨论从来不缺人。💬 讨论主线是这套宏方案在错误信息可读性和编译时间上的实际代价——作者本人的回复也在承认这点。

🏢 公司与产业

• 高通从华为取得 LogicFolding 专利授权 — Qualcomm licenses patents on Huawei’s LogicFolding chip tech。169/105（HN）。这是华为和 Qualcomm 多年期交叉授权协议的一部分，覆盖 5G 设备、AI 服务、近封装与共封装光学、网络技术，LogicFolding 只是其中最扎眼的一项——它是华为近期才公布、且没被美国出口管制圈住的技术。反向授权这个方向的含义比金额重要：一家美国芯片厂为一项中国自研的先进封装技术付授权费。
• Apple 与黑客的未来 — Apple and a hacker’s future。182/173（HN）。173 条评论的密度说明这篇踩到了 macOS 上长期存在的情绪：安全模型每收紧一次，「我这台机器归不归我」的边界就再退一格。
• Greenvolt 在波兰开工 600 MW / 2.4 GWh 储能 — Greenvolt begins building 600 MW/2.4 GWh BESS in Poland。56/35（HN）。4 小时时长的电网级电池项目，欧洲这一批 BESS 的规模正在从百 MWh 档跳到 GWh 档。
• 首例完全植入式人工耳蜗进入临床 — The first fully implanted cochlear implant reaches patients。53/53（HN）。外部处理器和线圈是现有耳蜗植入最大的日常负担，全部埋进体内意味着不需要每天戴挂件、也不怕淋雨和丢失。
• 2026 年诺贝尔生理学或医学奖：Deisseroth、Hegemann、Nagel — 2026 Nobel Prize in Physiology or Medicine: Deisseroth, Hegemann, Nagel。116/45（HN）。光遗传学三人组。Deisseroth 的工作路线是把光学、病毒载体和神经科学缝在一起，二十年前它还是个「往脑子里插光纤」的小众手段。
• 消灭蚊媒疾病的技术已经存在 — The technology to eradicate mosquito-borne disease exists。230/176（HN）。文章的立论是蚊子造成的死亡是选择而非限制。💬 评论区把这段宏大叙事拽回了地面：有人推 Mosquito Dunks 和食蚊鱼，随即被指出食蚊鱼在澳大利亚被列为有害生物、在多个生态区挤掉本土鱼种；也有人提醒 Bti 作用于所有蚊子而不是只杀虫媒种类。170 多条评论里真正有用的部分是这些「看起来能 DIY、实际有生态代价」的具体约束。

🔒 安全与隐私

• 用 Claude 写日记，Anthropic 报警，佛州女子被控重罪 — Anthropic reported diary entry to police, woman faces felony charge。457/383（HN）。安全分类器标记、人工团队复核、转报 Lee County 警长办公室，人被捕，罪名是佛罗里达州的书面暴力威胁。这起个案真正要问的是产品设计问题：一个在用户心里定位成私人笔记本的界面，实际有一条通往执法机关的数据路径，而这条路径的触发条件、审核标准和申诉机制都不在用户的可见范围内。💬 评论区大部分火力在法条：有法学背景的回复指出美国现行法下，本地存一份犯罪计划并不违法，需要实质行为，警方能做的是通知潜在受害者和监视，而不是以未遂杀人起诉；另一边有人反问同一句话被交警在例行拦停中看到在手机屏幕上，你希望警察做什么也不做吗。
• Pixel 11 暂不满足 GrapheneOS 安全标准，可能被跳过 — Pixel 11 doesn’t yet meet the GrapheneOS security standards and may be skipped。389/232（HN）。💬 评论区给出了比标题重要得多的背景：这是一条按未来 QPR 变更推演的判断，而更值得看的是 Google 不允许非三星 OEM 售卖预装 GrapheneOS 的设备。帖子下的共识是，Android 的开放性收缩已经走到「开放曾被当作安全论证的一环，现在被当作漏洞」的位置。
• Cloudflare 上线 Web Search API — Web Search API。460/210（HN）。💬 讨论几乎全部集中在授权条款。simonw 的问题是所有搜索 API 都该先回答的那个：能不能存储并再分发结果、能不能给用户一个「分享对话记录」按钮。他引到的条款大意是，输出只能展示给你自己的授权终端用户、必须内嵌在应用功能里、且不能被终端用户或第三方独立访问、提取或下载。底下有人认为爬来免费内容再禁止别人转售在道义上说不通，也有人认为爬虫和转售是两件事、自己爬就是了。这场争论没有新论证，但把「谁有资格给公开数据定价」这个老问题重新摆到了第一屏。
• DEDA：打印机追踪点提取、解码与匿名化工具包 — DEDA – Tracking Dots Extraction, Decoding and Anonymisation Toolkit。9/0（HN）。彩色激光打印机输出的每一页都带黄点阵，编码序列号和打印时间。这个工具做的是把点阵从扫描件里抠出来、解出内容、再去掉。分数低但值得存进书签。
• 得州一城市为 Flock 相关公开记录开价 200 万美元 — Texas city demands $2M for public records on Flock usage。10/0（HN）。车牌识别摄像头的部署细节属于公开记录，公开的代价被定价成了 200 万美元。这个价格本身就是这条新闻的全部内容。
• 挪威考虑部分禁用智能眼镜 — Norway Eyes Partial Ban of Smart Glasses。111/65（HN）。115 分说明这事在程序员圈子里有共鸣：眼镜形态的摄像头把「谁在拍我」这个问题变得不可判定，监管能做的只有按场景禁。

🛠️ 工具与基础设施

• GitHub Actions 事故 — Incident with Actions。89/61（HN）。10 月 5 日 UTC 21:09 起 Actions 和托管 runner 降级，部分客户连仓库列表、许可和账单页面都进不去，22:49 恢复，事故持续约 1 小时 40 分。CI 和账单后台一起挂，意味着控制面和数据面共用同一批依赖，这一点比停机时长更值得记。
• ncdu 的维护者接力：yorhel 去世后有人接手并 fork — ncdu: NCurses Disk Usage (an updated fork)。47/18（Lobsters）。原作者 yorhel 今年早些时候去世，38 岁。💬 新维护者在评论区交代了 fork 后的实际改动——大部分是把代码跟上 Zig 0.16 的 Io 变化和 zig fmt，README 还没重写；他也没回避另一个更尖锐的问题：一个功能完备、多年无 bug 的工具，fork 到底给了用户什么。Debian 还卡在打包 Zig，所以短期内这个 fork 也进不了主发行版。同样提到的是 btdu，同款界面但采样块设备，在 btrfs 上找大文件比遍历目录树快得多。
• Iroh 的全局内容发现 — Iroh global content discovery。60/9（Lobsters）。用 mainline DHT 做 UDP 打洞与寻址，协调环节走 DNS 或 DHT，打不通时回落到 relay。💬 作者本人在评论里补了两点：relay 可自托管，代码包含 relay 在内全部开源，也能编进 Rust 服务端；还有一个网友在拿 pkarr 记录走 DNS 解析做同类实验，以及 nostr-vpn 用 nostr relay 做协调与身份的对照方案。有人问伪造 UDP 源地址能干什么，回答是请求做了填充不会变成 DoS 放大器、通信都有签名验证，恶意节点最多浪费你一点时间。
• Mold 3.0.0 发布 — Mold 3.0.0 Released。24/1（Lobsters）。大版本，链接器这个环节的迭代节奏本来就慢，3.0 值得重新测一次全量构建时间。
• 用 docker-compose 配 rootless Podman — Using docker-compose with Podman rootless。12/9（Lobsters）。教程向，解决的是 rootless 场景下 socket 路径、UID 映射和卷权限这几个反复出现的坑。
• 用 SSH 和 nginx 自建 HTTP 隧道 — Self-hosted HTTP tunnels with SSH and nginx。32/9（Lobsters）。不依赖 ngrok 一类服务把内网 HTTP 服务暴露出去：反向隧道加 proxy_pass，配好 Host 头和 WebSocket 升级。要评审第三方隧道服务的人应该先读这篇。
• 用 M-Disk 蓝光做最后一道备份 — Using Blu-ray M-Disk as Backup of Last Resort。27/24（HN）。M-Disk 的无机记录层宣称能存上千年，作者拿它当磁带和硬盘之外的第三层。24 条评论里半数是关于刻录机供货和介质实际寿命的争论。
• spoonful：用 Nix 写的静态站点生成器 — spoonful: static site generator written in Nix。5/0（Lobsters）。用 Nix 表达式描述站点并直接产出构建，构建环境的可复现性由 Nix 本体保证，代价是你要接受用 Nix 写模板。
• 一个替换 Jekyll 的定制静态站点生成器 — A new, bespoke static site generator to replace Jekyll。7/2（Lobsters）。nullprogram 的作者惯例：自己写而不是配置。文章价值在取舍记录，不在代码能复用。
• 检查邮件服务器 SPF/DKIM/TLSA/TLS 的 Go 工具 — Golang tool to check SPF, DKIM, TLSA, and TLS settings for mailservers。7/0（Lobsters）。单文件工具，把邮件域名的几项配置检查收进一条命令。
• Tufte’s Razor：数据墨水比的交互式教程 — Tufte’s Razor: an interactive guide to the data-ink ratio。9/2（Lobsters）。把 Tufte 那个「擦掉每一滴不承载数据的墨水」的原则做成了可交互的删减演示，讲图表设计时好用。
• 软件质量的时代，还是鸵鸟的时代？ — The era of software quality, or the era of ostriches?。18/59（HN）。GNOME 开发者对「AI 让写代码变便宜，质量由谁负责」的正面回应。分数不高但评论远多于分数，说明这个话题在踩尾巴。

💻 编程语言与工程

• Gleam 不再把代码编译成 Erlang 源码 — Gleam doesn’t compile to Erlang source anymore。64/7（Lobsters）。改为直接生成 Erlang abstract form，跳过「先输出 .erl 再交给编译器」这一步。💬 评论区有人贴了 benchmark 确认新路径在 rebar3 项目上更快，作者 lpil 的回复也承认这条捷径当初的收益本来就不确定。顺带一段关于 use 表达式的讨论：它的接受度很高，但也是新手最容易卡住的地方。
• Async Rust：调度器住在哪儿 — Async Rust: Where does the scheduler live?。13/7（Lobsters）。把「谁负责轮询 future」这件事从 tokio 的默认叙事里拆出来，讲清运行时、executor 和 reactor 的分工。
• Rust 的 derive 经常隐含 inline — Rust’s derive often implies inline。75/15（Lobsters）。#[derive(Debug)] 展开后带 #[inline]，落到调优场景就可能反噬。💬 最有价值的一条确认了这不是 bug 而是权衡：2023 年那个加 #[inline] 的 PR 是因为基准测试普遍变好；还有个实验只在字段数 ≤5 的结构体上加这个属性，结果比无条件加更差。有 rustc 侧的人表示这类报告值得提到仓库里去——单条「启发式不好用」不好处理，但多条汇总就有意义。
• elm v1 又近一步 — Another step towards elm v1。55/0（Lobsters）。elm v1 是前端圈拖得最久的承诺之一，零评论反而说明大家已经不太敢抱期待。
• 和 Deno 的友情结束了，现在 Node 是我最好的朋友 — Friendship ended with Deno, now Node is my best friend。45/31（Lobsters）。一次迁移复盘，31 条评论说明这是当下很多人的真实处境：Node 把 Deno 那些卖点一个个吸收回去之后，「多一个运行时」的收益就撑不住了。
• Flirt 开源了 — Flirt is now Open-Source。40/11（Lobsters）。OCaml 生态的工具，作者 Daniel Bünzli 的工具链一贯做得克制。
• 你不需要 effect system — You don’t need an effect system。8/0（Lobsters）。反对把效果追踪做进类型系统的论证，和 Haskell 那边 do 记法助长 monadic API 的老争论是同一个话题。Lobsters 上零评论有点意外。
• 用 Haskell 写 GTK 应用（一） — Making a GTK application in Haskell, part 1。121/27（HN）；13/0（Lobsters）。跨站同帖。gi-gtk 绑定加 GTK4，作者贴的是从零跑到能用的完整路径，不是玩具示例。
• foldl 和 foldr 的区别 — Differences Between Foldl and Foldr。124/29（HN）。惰性求值下这两个函数的差别不是「从左还是从右」这么简单，涉及结合性、空间泄漏和 foldl' 存在的理由。
• Linux 容器，500 行代码（2016） — Linux containers in 500 lines of code (2016)。87/17（HN）。经典重上首页。namespace、cgroup、chroot 三样东西加起来就是一个容器，读一遍比读十篇 OCI 规范文档管用。
• 第三种用 Linux 的方式 — A third way of using Linux。18/28（HN）。题目直接。28 条评论里大概率有关于「第三种方式」是否只是给桌面发行版换包装的争论。
• Dostoevsky：靠自适应合并 LSM 树减少写放大 — Dostoevsky: Better Space-Time Trade-Offs for LSM-Tree Based Key-Value Stores via Adaptive Removal of Superfluous Merging。3/0（Lobsters）。存储引擎方向的论文，讲的是在已知工作负载下动态决定哪些层根本不需要合并。分数低但属于硬料。
• Refinement E-Graphs — Refinement E-Graphs。33/3（Lobsters）。Philip Zucker 的博客，把精化类型和 e-graph 结合起来做等价类重写。
• Factor 概览 — Factor Overview。20/0（Lobsters）。Factor 是拼接式（concatenative）语言的现役代表，这篇文章是新版概览。学一门语法结构完全不同的语言比多学一门 C 家族语言划算。

🎮 轻度 / 好玩 / 杂项

• 找出旧金山任意两点之间最平的路线 — Find the flattest route between any two points in SF。44/9（HN）。基于高程数据做的骑行路线规划，把「不想爬坡」这个需求变成了寻路问题。
• Nightwatch：告诉你今晚天晴不晴的 Mac 菜单栏小应用 — Show HN: Nightwatch – a Mac menu-bar app that tells you when tonight is clear。67/10（HN）。望远镜用户的实际需求：不看现在的云量，看今晚有没有窗口。
• 我家里的灯泡们 — The lamps in my house。101/56（HN）。一篇把家里每一盏灯的参数、色温、驱动方案全列出来的文章。56 条评论说明这类「一个人认真折腾一件小事」的帖子在 HN 一直有市场。
• 火星混沌地形 — Martian chaos terrain。95/25（HN）。维基条目。混沌地形是火星表面大面积塌陷破碎的区域，成因和水冰、岩浆侵入都有关。
• 我们把初代 Doom 移植到了 SQL — We ported the original Doom to SQL。11/0（Lobsters）。CedarDB 的作品，用递归 CTE 和查询计划当作游戏循环。工程上没意义，但把一个数据库引擎的能力边界摸清楚了。
• Steam Frame 上的 Nix — Nix on the Steam Frame。7/0（Lobsters）。Valve 的新硬件上跑 Nix，是检验设备开放程度的一种粗暴方式。
• Competitive Programmer’s Handbook（2018） — Competitive Programmer’s Handbook (2018) [pdf]。87/18（HN）。免费 PDF，算法竞赛的入门到中阶教材，Datatracker 上一直有人推。
• 热插拔指南 Rev. 2.0（2004） — Hot Flashing Guide Rev. 2.0 (2004)。12/2（HN）。二十年前的固件刷写教程，第 29 条那个 0 评论帖的对照物是：这类内容现在基本消失了，因为 BIOS 不再让你刷坏。
• 逆向 Comanche 的地形贴图 — Reverse Engineering Comanche Terrain Maps。10/1（Lobsters）。1992 年 Voxel Space 引擎的地形数据格式还原，讲的是用体素列做地形渲染的原始做法。

📊 今日总结

今天的底色是「信任的适用范围正在被重新划」。把日记交给聊天机器人、把车牌数据交给一家公司、把搜索结果交给 API，用户每一次的默认假设都比实际宽松一档，而校正这个差距靠的是出事之后的个案。必读三篇按优先级：Anthropic 报警那条的评论区（搞清楚法条边界在哪）、Dust 原文（反向传播之外还有路，代价是算力）、Reflection Beam 下方那张参数对比表（开源模型的参数账现在怎么算）。横向共振信号有两条：一是「用算力换算法结构」今天在预训练、模型架构、材料搜索三个不同领域各出现一次；二是数据的定价权之争从训练语料一路延伸到搜索 API 条款和地方政府的公开记录报价，同一批主张在互相打架。