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

今日关键词：前沿能力限量发放、三十年闭源前端开源、把 isolate 换成微虚机 数据源：HN Top 30 + Lobsters Top 25，共 55 条原始条目。三处重复已合并：What TLA+ can and can’t check（两站同贴）、EDG C++ 前端（两站不同链接同一事件）、Why the Bronze Age Collapsed（HN 两条重复投稿）。Lobsters 轮转慢，其中 7 条为 9 月 30 日已收录的续榜条目（Tcl/Tk 9.1、Deser、CoW、Arc 向下转型、SQL 查询构造器、Nura、Coding is not solved），仍列出并标注。最终收录 52 条。

🔥 今日焦点

Google 发布 Gemini 4 Argon，每百万 token $2 输入 / $10 输出，缓存输入再打 95% 折扣——这个价位卡在最便宜的那一档上，但这次不开放给开发者：先发给「受信任的网络防御方」，同时走美国政府的前沿模型预发布评审流程。同一天，EDG 把三十年只做商业授权的 C++ 前端交给 C++ Alliance 开源，Netlify 拆掉 V8 isolate 换成 Firecracker MicroVM，官宣延迟改善 5 倍。三件事的落点一致：能自己掌控的那一层，都选择亲手重做。

Argon 那条 511 条评论的帖子没人在比基准。讨论第一层就滑到 harness 上：有人说自己日常在跑 3.8 Flash 配 agy 配 NixOS，有人质疑为什么不能自己挑 harness，争议最集中的是 250k token 强制自动压缩——模型 API 侧支持 1M 上下文，产品侧替用户决定在哪截断。独立评测（Artificial Analysis）反而冷静，单独列一条。

第三条线是漏洞披露里的议价权。一个 16 岁的安全研究者发现微软内部分析服务不校验登录 token 签名，理论上能碰到 17.3 万亿行数据。他拿到的条件被自己写进文章：微软对披露稿有编辑控制权，删掉了段落和图表，并重新描述了影响范围。

🤖 模型与推理

🔌 Agent、MCP 与工具链

  • You said no MCP：Pi 解释为什么当初公开拒绝、现在还是把 MCP 放进了核心 — 580 points/329 comments（HN）。官网曾经挂着「Pi 不支持 MCP」，播客里也说过不止一次难听的话；现在 MCP 进了核心，文章给的理由是 MCP 本身变了，加上改造过程顺手让 Jev 更好接。💬 评论区不接受「世界在变」这个说法。主战场是 MCP 到底算不算安全边界：一方说它的价值就是把凭据挡在 agent 之外，直接给 agent 一个 API key 迟早出事；另一方追问那 agent 怎么向 MCP 服务器认证——答案是再给一个 key，绕一圈只是把密钥换了个位置。有人给出自己的做法：密钥放 MCP 服务器、Tailscale 私有网络加最小权限，另有人干脆用代理注入 token，把密钥在进入 agent 记录前就抹掉。
  • Gitea 28.0.0：版本号砍掉 1. 前缀，一次放出审计日志与 bot 账号 — 55 points/21 comments（HN）。这版把历史遗留的 1. 前缀直接去掉，功能清单里有审计日志、bot 账号、HTTPS 部署令牌、管理员用户模拟、代码所有权审批规则和 Actions 队列视图——都是自建 Git 服务被公司收进内网后必然要补的那几样。
  • Doing a Machine Learning PhD While Working in Japan — 25 points/6 comments（HN）。在职读博的实操记录，有价值的是时间安排、签证和实验室关系这几项具体约束，不是励志内容。
  • Coding is not solved — 21 points/0 comments（Lobsters）。对「AI 已经解决编程」这句话的逐条回应。续榜。
  • Hardly Promethean — 24 points/0 comments（Lobsters）。vibecoding 标签下的反思：把生成出来的代码当礼物收下，要付的价格记在谁头上。

🔒 安全与隐私

  • I could’ve accessed 17 trillion Microsoft records — 232 points/103 comments（HN）。入口是一个内部分析服务从不校验登录 token 的签名，作者因此能冒充管理员身份提交任意 SQL；实际动作只到表描述、元数据和有界样本行，没有碰客户数据。💬 评论区吵的是议价权，技术部分没人质疑。作者自己在开头写明微软对这篇文章有编辑控制权、删了段落和图，这一行被顶到最高，下面跟着「要拿 17 万亿行数据当筹码，赏金至少该给七位数」。另一条替作者解释：他 16 岁，之前拿过微软的赏金，还想保持关系。
  • The Cuckoo’s Egg（重上首页） — 46 points/23 comments（Lobsters）。书本身没什么可介绍的，值钱的是讨论区补的坐标。💬 有人贴出 Markus Hess 今年 7 月在 Hackover 从对面视角重讲这段 KGB 入侵史（德语，CCC 有录像），有人推荐 DeFCon 的影像版本；还有人提醒 Clifford Stoll 此后基本消失在公众视野，偶尔出现在 Numberphile 上，聊的是用玻璃做不可能的几何体。
  • Branch Target Reuse: Spectre-v2 Attacks in JIT Engines — 6 points/0 comments（Lobsters）。VUSEC 把 Spectre-v2 的推理搬进 JIT 引擎，攻击面落在刚生成的代码上。
  • attezt: device attestation, PKCS11 and ACME — 8 points/2 comments（Lobsters）。all-systems-go 2026 的讲稿，把设备证明、PKCS11 密钥和 ACME 证书串成一条不依赖自建 CA 的信任链。
  • Back to Backups: A Year in Review — 8 points/0 comments（Lobsters）。Signal 备份一年的改进复盘，免费额度与增量机制的具体数字在正文，不点进去看不到。

🛠️ 基础设施与性能

  • 5x faster Edge Functions：Netlify 用 Firecracker MicroVM 换掉 V8 isolate — 91 points/34 comments（HN）。每天约十亿次边缘函数从「托管执行服务」搬到自家 MicroVM 上，和 Unikraft 合作重写，官方说法是延迟改善 5 倍。值得看的是迁移里保住了哪些语义、放弃了哪些。
  • SDF vs. MSDF vs. Slug：GPU 文字渲染的五种方案 — 121 points/49 comments（HN）。从贴图图集到 Slug 直接描轮廓，把每种方案在缩放、3D 变换和逐帧变化下的代价写清楚了。附带一条少有人知的时间线：Slug 的专利在 2026 年 3 月被 Lengyel 捐入公有领域。
  • Two Kinds of SQL Query Builders — 32 points/16 comments（Lobsters）。把「拼字符串」和「建 AST」两类构造器分开评估，续榜。💬 一条评论补上文中缺失的方向：BigQuery 的 pipe syntax 已经落地，数据库侧直接吃管道语法，能解决文中大半批评。
  • We used a database as a message queue. Now we use Kafka — 4 points/1 comment（Lobsters）。把 FoundationDB 当队列的代价和迁移到 Kafka 的收益都写了，读法是看「什么时候该换」的判断条件，不是照抄结论。
  • Q2 2026 Backblaze Drive Stats — 17 points/0 comments（Lobsters）。按型号的季度故障率表，选盘时比任何单机评测都可靠，看点在几个常见型号的年度化故障率走势。
  • Finding Bugs — 4 points/1 comment（Lobsters）。matklad 讲怎么找 bug，重点是如何缩小搜索空间，工具只是顺带。

💻 语言与编译器

  • EDG C++ front-end goes public：三十年商业授权引擎交棒开源 — 112 points/39 comments（HN；Lobsters）。9 月 30 日 EDG 的 C++ 前端源码公开，C++ Alliance 成为非营利归属方，John Spicer 写了交接说明和 FAQ。源到源编译引擎这个位置上，EDG 三十年来没有真正对手，接手方强调「换管理者，不换路线」。
  • How to speed up the Rust compiler in September 2026 — 65 points/5 comments（Lobsters）。nnethercote 的月度提速记录，逐条列出本月每项优化对应的 PR，是少数能直接对着 diff 读的编译器性能日志。
  • Pining for Arc Downcasting in Rust — 57 points/13 comments（Lobsters）。用 Pin 给 Arc 做向下转型的探索，讨论比正文更值钱。💬 一条评论直接给出最小复现，证明 PinRef::project 不健全——for<‘a> 并不等于「对所有生命周期」，T 未必在所有 ‘a 上都有效；作者当场承认并开始修。另有两条指出 yoke 早就在做类似设计，以及 Arc 的指针目标本来就有地址稳定性保证，Pin 可以省掉。
  • Deser: Rethinking Rust Serialization — 44 points/6 comments（Lobsters）。Armin Ronacher 重新想 Rust 的序列化接口，续榜。💬 唯一一条评论指出示例里的 deser(as = Check<…>) 违反了「parse, don’t validate」，追问这个库还支不支持 newtype。
  • Tcl/Tk 9.1.0 发布 — 35 points/3 comments（Lobsters）。新增 unicode 规范化命令与 C 例程、微秒级单调时钟 timer、从列表筛项的 lfilter；破坏性的一处是应用程序现在必须显式调用初始化例程。续榜。
  • Differences between foldl and foldr — 34 points/5 comments（Lobsters）。官方博客解释两个折叠的方向差异，以及惰性求值下选择哪一个会直接改变内存行为。
  • Turbo Haskell — 18 points/0 comments（Lobsters）。Haskell 性能调优文，从数据结构选择一路推到 GHC 层面的实测。
  • Hanami, Why?: Introductions — 19 points/0 comments（Lobsters）。Ruby 的 Hanami 框架设计动机自述，适合被 Rails 惯坏过的人看另一套取舍。
  • Dirty Optimization Secrets (C for Playdate) — 22 points/1 comment（Lobsters）。掌机 Playdate 的算力和内存都有硬上限，技巧因此都对得上具体数字，不是泛泛的优化口诀。
  • What TLA+ can and can’t check — 121 points/29 comments（HN；Lobsters）。Hillel Wayne 划清 TLA+ 能证明什么、证明不了什么，包括它无法替代的类型与实现层保证。形式化工具的介绍里，肯讲边界的那部分才有用。

🖥️ 系统与桌面

  • CoW — a stacking window manager for Wayland — 135 points/17 comments（Lobsters）。Wayland 上的堆叠式窗口管理器，构建在 river 之上。续榜，但讨论区有新料。💬 river 的作者 ifreund 出现在评论区，说这正是他想看到别人拿 river 做的东西，并回应了一个老想法——用 X11 当 IPC 让未修改的老窗口管理器去管 Wayland 窗口：他认为 100% 兼容做不到，部分 X11 特性在 Wayland 没有对应物，而且会失去帧同步的机会。
  • Nura (postmarketOS)：通往日常可用主线内核手机的路线 — 29 points/7 comments（Lobsters）。从「能开机」推进到「能当主力机」的清单式路线图，重点在驱动缺口而不是口号。续榜。
  • Qt 6.12 LTS Released — 4 points/0 comments（Lobsters）。LTS 公告，商用支持年限、模块增删与废弃项都在正文表格里。
  • A no-cost audio upgrade for my workstation — 9 points/0 comments（Lobsters）。用 Nix 把工作站的音频链路重搭一遍，代价为零，改的是配置不是硬件。
  • Before pixels: Modular industrial dashboards — 24 points/5 comments（HN）。图形界面出现前的模块化工业仪表盘，靠面板分区和标签密度组织信息，信息层级比现在的移动端 UI 高出一个量级。

📊 现实世界与科学

  • Burning Man death rates — A short lesson in statistics — 87 points/112 comments（HN）。用分母和暴露时间把「死亡率」这个数字拆开看，属于统计常识的现场演示。💬 评论区把它变成了另一篇文章：有人的观察是 Burning Man 二十年里在自己的地盘上重建了一遍监管国家，BRC 的 DMV、道路、限速都是这么长出来的，多数是在出过事故之后才补。更深一条是阈值问题——十个人不需要路，一万个人必须有，而这个阈值往往要死过人才能被认出来。
  • A brief history of the Bloomberg terminal — 201 points/80 comments（HN）。IEEE Spectrum 写终端史。💬 评论区的共识是这类信息密度极高的界面正在灭绝：有人的原话是按当前流行范式训练出来的设计师根本做不出这种东西，从主屏左滑、点屏幕上什么都没有的地方调出控制层、进三级菜单找「更多」，这套流程跟终端正好相反。相关补充包括一份彭博键位速查表，以及纽约公共图书馆里有一台可以上手操作。
  • Why the Bronze Age Collapsed — 33 points/27 comments + 3 points/2 comments（HN 首次投稿、HN 重复投稿）。把「系统崩溃」成因逐项摆开讨论的综述，重复投稿说明第一条挂太久没人看，第二条重新起了一轮。
  • Stars in the sky: The top secret URSALA, RAQUEL, and FARRAH satellites — 55 points/2 comments（HN）。1963 年起，美国把大号手提箱尺寸的电子侦察卫星搭在大型卫星侧面「搭便车」发射，自旋扫过地面收雷达和通信信号，项目代号换了好几轮，持续四十多年。
  • Functional Ultrasound Imaging (fUSI) from scratch — 14 points/3 comments（HN）。从零搭功能超声成像的教程。💬 评论区两位都动过手：一位说自己在家攒了一台超声机，只有探头是从 eBay 上拆旧机器买的，正在写文章；另一位押注 EEG + fNIRS + fUSI 的三模态干电极头戴会改变一切，理由是三种技术各有各的盲区。
  • Surprisingly complex waves reveal the brain’s inner workings — 96 points/33 comments（HN）。脑内波的模式比模型预测的复杂得多，这篇讲的是复杂度本身为什么构成问题，而不是又一个脑区被发现。
  • The last time my family was replaced by technology — 156 points/389 comments（HN）。作者的高曾祖父在法国乡下钉马掌、修农车，看见汽车之后转行修车，家族此后几代都是技师——他用这段家史对今天开发者的焦虑作答。💬 作者本人下场补了一句：文章不是拿来劝人「像我先人一样闭嘴适应」，处境是难的，他没打算否认谁的焦虑。最高分的质疑也实在：马掌匠到汽修之间差的是简单机器，今天岗位要的是多年积累，可类比性存疑；另一条回复给出技术底——修马车出身的人离早期汽车本来就只差一个引擎，而且早期汽车的机械部分跟马车差得不多。
  • Singapore govt dating app uses Gale-Shapley stable marriage algorithm — 102 points/33 comments（HN）。政府婚恋平台用稳定匹配算法配对，源链接是一条推文。算法保证的性质是「不存在一对男女同时更想换掉当前配对」，和「谁更合适」是两个问题——把它当推荐系统用时最容易踩的就是这个坑。
  • Dear Software Makers — 45 points/21 comments（HN）。YouTube 要上线视频变体 A/B 测试，作者顺着 Marques Brownlee 的质问往下追：同一个链接给不同人看不同版本，评论区、时间戳和转发出去的那句「你看这个」全都失去共同基准；工程师的回应是「不知道，先上」。

🎮 轻度与好玩

🧭 今日总结

今天的技术新闻有一种统一的克制：几家都选择在自己掌握的那一层动手，而不是等生态给答案——Google 把最强模型先交给安全防御方并配合政府评审，EDG 用开源换长期维护，Netlify 用微虚机换掉自己搭的 isolate 池。焦虑感主要落在 harness 和上下文政策这种产品层的决定上，而不是模型能力本身。Rust 生态今天一口气贡献了四条能对着 diff 读的内容（编译器提速日志、Arc 向下转型的健全性漏洞、Deser 的接口重想、Playwright 之外的 Playdate C 优化），形式化那边则由 TLA+ 的划界文收着。

优先读三条：一是 Gemini 4 Argon 的发布页配 HN 讨论，重点看 250k 强制压缩那一段，这是产品侧替你做的决定；二是「I could’ve accessed 17 trillion Microsoft records」，漏洞本身简单，披露条款才是这条的正文；三是 EDG 前端开源，三十年只卖授权的商业编译器交棒，这种规模的开源事件一年就那么一两次。横向信号是「可复核性」在三个不相干的场合同时出现——数学界要求署名者对论证负责，评论者要求披露稿不受被披露方删改，Fuzzing 之外的人开始追问形式化工具能证明什么，指向的都是同一件事：结论之外，还得交出能被别人验证的过程。