📰 团子技术日报 — 2026年11月7日 星期六

数据源：Hacker News 首页 Top 30 + Lobsters 首页 Top 25。HN 首页与讨论页由浏览器渲染后直接读 DOM；本机到 lobste.rs 的直连不通（TCP 443 超时），Lobsters 首页与讨论页经 r.jina.ai 取回，分数、评论数与 /s/XXXXX 讨论链接完整保留。

🔥 今日焦点

沙箱这件事今天有两个方向的信号叠在一起。pwn.ai 放出了从 guest 内部逃出 Firecracker、最终在宿主上拿到 root 的完整链路：先借一段宿主物理内存的访问能力，定位到管理 vCPU 的线程，再改掉它保存在内核 pt_regs 里的寄存器帧，让线程从 KVM_RUN 返回时跳到攻击者选的代码。同一天 Replit 在讲它把沙箱引擎从 Docker 换成了 Cloud Hypervisor 上的 microVM，而两者共享的是同一批 rust-vmm 组件——加固和拆解发生在同一个地基上。HN 讨论里被反复追问的，是作者自己写在文中的那句「这个配置没有开 jailer」。

另一组反差来自 Anthropic。S-1 里写公司「可能即将达到」责任扩展政策定义的「AI 显著加速研发」阈值，METR 的深度访问评估认为这条线已经被跨过，内部 AECI 指标过去一年大约是此前速度的两倍，且大部分最有信息量的证据被涂黑；同一周 IPO 的潜在买家给出的估值低到 1.1 万亿美元，理由散在持仓讨论里——锁定期安排、订阅价格撑不住、本地模型够用了。能力叙事的斜率在变陡，买单意愿的斜率在变平。

🔒 安全与沙箱边界

  • Firecracker 逃逸实操：从 guest 里拿到宿主 root — Firecracker VM Escape: PwnEscape Part 2。126/64（HN）。技术链写得很细：guest 先找出自己的页在宿主的物理地址（走 EPT 根表并用 nonce 校验），再在该进程里找到能调用的代码，最后改写 vCPU 线程的保存寄存器帧，使 KVM_RUN 返回后执行任意调用，全程 VM 保持存活、SSH 照常。文中给出的编号是 CVE-2026-99999，号段本身就值得怀疑，讨论里也没人去核。💬 HN 上 scoodah 把作者一句带过的前提拎出来提醒读者——这个配置没有开 jailer，生产环境里那层降权加命名空间加 seccomp 会显著缩小爆炸半径；markasoftware 补了一句这不算新漏洞，只是把几周前已披露的 PwnEscape 落到 Firecracker 上；clhodapp 顺着问：如果硬件隔离开始被 agent 打穿，是不是该回头补 gVisor 这类可打补丁的软件隔离。

  • Replit 把沙箱引擎从 Docker 换成了 microVM — Inside Replit’s New Sandbox Engine, Part 1: The Path to MicroVMs。41/10（HN）。没有原地迁移，而是从零重写：KVM 加 Cloud Hypervisor 做隔离边界，容器继续管沙箱内部的进程，宿主与 guest 之间走 vsock 上的 gRPC，热插拔和内存快照用来把客户磁盘挂到预热好的 VM 上。文中给的迁移代价是「数亿个项目、无数据丢失、用户没有察觉」。

  • 我们知道 15579 个站点被挂了恶意 JS，问题是通知不过来 — We Know 15,579 Websites Are Infected. How Do We Tell Them?。131/110（HN）。Report URI 的威胁情报团队给出四个入口：WordPress 一类直接入侵、第三方脚本供应链、XSS，以及他们命名并追踪的 DeadTag——买下别人还在加载 JS 的过期域名，重新点亮后当投递网络。粗估这些站合计月访问量超过 1.35 亿次，而负责任披露的速度已经赶不上发现速度，作者公开求助这件事该怎么解决。评论数接近分数，说明读者也想不到办法。

  • 820 个域名克隆了 35 个餐饮品牌，支付表单被换掉 — Scamwich: Inside a Restaurant Delivery Payment-Skimming Campaign。55/23（HN）。手法比一般假站干净：反向代理真站点，菜单、图片、下单流程全是原版，只在结账那一步换成自己的表单，顺手还要走银行发来的短信验证码。808 个域名落在 .delivery 上，餐厅本身没有被入侵——攻击者全在自己控制的基建上操作。

  • 拆解 Meta Ray-Ban 智能眼镜 — Hacking the meta ray-ban smartglasses。3/0（Lobsters）。同类设备里少见的实测记录：固件、调试口、能碰到什么程度，逐条写下来。

  • Linux 树外缓解措施实操指南 — Practical guide on out of tree mitigations on Linux。5/0（Lobsters）。等内核打补丁的日子里能自己先做什么，把可选项和各自的代价列清楚。

  • 把 getaddrinfo 推到极限 — Pushing the Limits with getaddrinfo。11/0（Lobsters）。名字解析这个函数边界上塞的东西比想象中多，作者沿着它试出了几处性能与行为上的灰区。

  • 那个不存在的端口 — The Port That Does Not Exist。1/0（Lobsters）。同一作者的短文，讲网络栈里一个看起来不该存在、实际一直在被引用的端口。

🤖 AI 与模型

  • METR 深度访问报告：Anthropic 的自我加速阈值可能已经跨过 — AI is dramatically accelerating AI research。121/72（HN）。两条线在这里交汇：Anthropic 在 S-1 里承认「可能即将达到」责任扩展政策里那条判断线，METR 的评估报告认为在 2025 年 10 月到 2026 年 10 月这个窗口里，内部能力指标（AECI）的推进速度约为此前一年的两倍，且「大部分最有信息量的证据」被涂黑。作者顺着模型往下推：若总体能力加速一倍，研究人员所需的杠杆要在十倍量级，和 Anthropic 内部自报的约 12 倍对得上。结论说得很重，但他开篇就声明自己没参与该项目、也没看过未涂黑版本。

  • 让便宜模型去请 Opus 帮忙，用 4 倍更低成本拿到 Opus 的准确率 — A Jev that can ask Opus for help gives Opus accuracy at 4x lower cost。232/51（HN）。Jev 和 GPT-6 Luna 属于一类新模型：只回答一个 0 到 1 的置信度，比前沿模型便宜最多 90 倍、快 10 倍以上，但在难题上落后约 6 个百分点。这篇的发现是 Jev 的置信度校准得更好——它的错大多伴随低置信度，Luna 的错往往很自信，所以 Jev 适合当「要不要升级给 Opus」的那层判断。💬 nico 直接划边界：这只是身份归并（identity resolution）这一个任务的基准，别读成通用结论；netshade 从生产侧补了一刀，Haiku 5.5 出来之后成本差几乎消失，中间那层决策模型的价值随模型换代剧烈摆动。

  • Gemini Omni 1.2 Flash：又一个新的版本命名 — Gemini Omni 1.2 Flash。278/211（HN）。这是个视频模型，主打角色一致性，走 Google Flow 和 vids.new 铺开，号称更便宜。💬 讨论几乎没在聊模型：Willingham 把发布路径的混乱列了一遍，网页端 1 到 3 天灰度、App 里只对付费档开放且时长限制不同、API 已经可用；hangrybear666 说没人搞得懂 Google 的命名，3 直接跳 4，这边又从 1 开始，订阅用户还被削掉了旧档位；fuzzythrowaway2 从使用侧给了最具体的抱怨——不能指定首尾帧之后，模型对「胖的、壮的、丑的、非人类」的角色一律回归到广告片式的平庸脸。

  • Memorilla：用 16 个记忆 token 装下一整个文档库 — Memorilla: Latent Semantic Memory for LLMs。70/5（HN）。冻结的 LLM 加一个固定长度的记忆槽：文档只编码一次，检索与放置都学在输入嵌入空间里完成。八个基准里五个胜过 Mem0 和 MemoRAG，FactKG 上 84.33% 对全上下文推理的 80.43%，而表示源文档用的 token 少了 108 倍；TextWorld 里 agent 的重复探索变少，成功率从 18.6% 抬到 24.2%。

  • ChatGPT 把工具调用悄悄路由到了另一个连接器 — ChatGPT silently passes data between connectors and the bounty wants an ID card。4/0（HN）。报告者的诉求有两层：一次工具调用被静默转发给了另一家连接器，等于数据越过了他以为的边界；走漏洞赏金流程时，对方要求他提供身份证件。分数低，但这类「谁有权把数据交给谁」的争议今年会反复出现。

  • 在 LLM 时代重新给 Rust 估值 — Reflections on Rust in the LLM Age。21/5（Lobsters）。当写代码的边际成本被压下去之后，「编译器帮你拦下什么」这件事的相对价值反而更值得重算。

  • Show HN：agent 从源码里推断乐高机械结构并动画化 — Show HN: Agents infer Lego mechanisms from sources, then animate them。22/1（HN）。输入是说明书图像，输出是可动的 LDRAW 装配——比生成一张图难的地方在于齿轮、连杆的约束关系必须自洽。

  • 乔姆斯基与统计学习的两种文化（2011） — Chomsky and the two cultures of statistical learning (2011)。87/71（HN）。十五年前那场争论被翻出来重读，71 条评论说明它没结案：一边是有原则的理论，一边是有效的近似。

💰 资本与公司

  • Anthropic 的 IPO 买家把估值看到 1.1 万亿美元 — Anthropic IPO buyers see valuation as low as $1.1T。183/414（HN）。AI 板块一轮回调之后，承销侧能拿到的价格预期被压了下来。💬 414 条评论里最好的是几笔实测账：soundworlds 说 15 美元的追加额度只换来约 30 分钟 Claude Code，按这个量级订阅价撑不住；UncleOxidant 在 Strix Halo 上跑通了 Qwen3.8-Flash-Next 之后，Claude Pro 的本周额度只用了 18%（周五，往年这时候至少 80%），不打算续订；int32_64 去看 S-1 的锁定期安排，认为解禁时点撞上反 AI 立法最活跃的窗口，买方结构本身就有问题。

  • Google 买下了 Crusoe 在怀俄明州的数据中心地块 — Google has acquired Crusoe’s data center site in southeast Wyoming。12/0（HN）。电力、土地、并网许可这些慢变量，正在被现金直接换手；Crusoe 的公告语气是「场地有了新东家」，没提容量归属。

  • 特斯拉停产 Cybertruck — Tesla to wind down Cybertruck production。755/1581（HN）。💬 1581 条评论少见地没停在嘲讽设计上。crawshaw 把死因归到价格：这款车是在零利率推高皮卡售价的年代下注的，赌价格继续涨，福特电 F-150 赌了同一件事，市场从底下走掉了，如果它是四万美元的车，其他解释都不必用；dathtinab 补了欧洲那条线——挡它的还有行人低速碰撞的一整套标准，它几乎一条都过不了；brightball 给了唯一的正面用法，飓风断电两周，邻居用 Cybertruck 给整屋供电，开去超充补完再回来接着供。

  • 美国 FAA 说 2028 年前把空管的软盘淘汰掉 — US FAA says it will phase out floppy disks from air traffic control by 2028。246/199（HN）。要换掉的是 IDS-4（MS-DOS 加 3.5 英寸软盘，实际是 1990 年代初的系统）以及靠它传递的气象与航班数据。💬 在 FAA 做过 NOTAM 数字化的 bargl 讲了阻力从哪来：安全风险管理流程本身就是巨大的减速带，他共事过的工程师有八十多岁不愿退休的；driverdan 指出 E-IDS 至少 2020 年就在做、原计划 2025 年开始铺，对外说法把这条时间线抹掉了；flerchin 在塔台里见过有人用小纸片穿在木钉上排序航班。

💻 语言、运行时与前端

  • Ubuntu 26.04 的 Rust 版 sudo 与标准 sudo 不兼容 — The Ubuntu 26.04 Rust sudo is not compatible with standard sudo。72/46（HN）。换成 sudo-rs 之后，sudoers 里的 glob 通配失效，靠 Cmnd_Alias 里写 /usr/sbin/exim -b* 这类规则放行的脚本直接断掉，而且没有现成的兼容性检查工具。💬 orf 站在改动那边：glob 本来就是权限配置里的坑，加三行显式规则就修好了；randomblock1 给了具体的改写方式；davb 说这算是把实验室机器迁去 Debian 的又一次验证；ikmckenz 的意见是既然注定破坏兼容，不如直接换更简单的 doas。

  • 《*sshole》，或者我们什么时候才能不用 C — *sshole, or when are we going to get rid of C?。13/0（HN）。对着 OpenSSH/musl 那个 * 事件往下写的一篇：问题在密码失败与「无密码」共用一个返回值这种约定，只能靠人记住。

  • Blender 的 UI 与运行时，比 GPUI 快得多 — Blender’s UI and Runtime: Much Faster Than GPUI。670/269（HN）。把 Blender 那套「任意切分面板、按工作流分组」的 UI 模型独立成可复用的运行时，并用它跑起来比 GPUI 更快。💬 讨论分三股：nicoburns 提醒想在 Rust 里挑 GUI 的人别把 GPUI 当性能上限，Iced、Slint、Dioxus Native、Freya 都比它快，Zed 能用是因为界面简单；xlii 指出许可证是硬门槛，项目里那句「GPLv2 or Later」的标注也容易误导，v2 与 v3 的后果差得很远；dev0p 的态度是理念值得夸，但千万别把 Blender 的 UI 搬到别处，pythonRon 拿 Tkinter 代码实测没跑起来。

  • Rune：原生 GPU 渲染的 Rust UI 框架 — Rune: A native GPU-rendered Rust UI framework for macOS, Windows, Linux and web。134/98（HN）。同一批讨论里被当作对照组推荐的两个项目之一，卖点是一份代码同时覆盖桌面与 Web。

  • Futhark 里的不确定性 — Nondeterminism in Futhark。8/0（Lobsters）。数组语言的并行语义与「结果不确定」这件事天然冲突，作者把语言设计上能选的几种立场摊开比较。

  • Clojure 精要 — Clojure Distilled。39/0（Lobsters）。一页讲完 Clojure 的取舍：不可变数据、REPL 驱动的开发、以及为什么这些选择在长生命周期系统里划算。

  • Go 汇编器速查 — A Quick Guide to Go’s Assembler。14/0（Lobsters）。Plan 9 风格语法的老文档被重新翻出来，写 runtime、写 SIMD 的人绕不过去。

  • Go 测试里的 MustCreate 模式 — The MustCreate Pattern for Go Tests。14/20（Lobsters）。用泛型把「这里必须成功」的构造包装起来，免得测试里塞满 if err != nil 的样板。💬 评论区把三种替代品摆在一起：username, _ := ... 是 Go 的惯例写法、assert(t, err == nil) 一行收掉、或者 Must[T any](t T, err error) T。作者反驳得也具体——_ 会让读代码的人停下来问「是故意吞掉还是忘了」，而且构造函数一旦加严校验，别的测试会跟着莫名其妙地挂；另一条引用 Go FAQ 认为断言不被鼓励的评论被当场纠正，那条针对的是断言库的 DSL，不是断言本身。

  • 声明式拖拽 — Declarative Dragging。149/4（Lobsters）。把拖拽做成状态声明而不是一串事件回调，作者用数学游戏当例子演示。💬 评论区的分歧很典型：jana 说玩起来是真的有趣，fzakaria 和 srcrip 都不确定它的适用面——除了文章里那个游戏，什么场景真需要这个模型。

  • 找 bug 有害吗？ — Bug Finding Considered Harmful?。1/0（Lobsters）。一篇立场文章：把「找到多少个 bug」当目标，会把工程导向和正确性相反的方向。

🛠️ 工具与基础设施

  • Waymark：编译任务而不是重放的工作流引擎 — Show HN: Waymark – A workflow engine that compiles jobs instead of replaying。26/4（HN）。把工作流定义编译成可执行计划，省掉每次运行重新解释 DAG 的开销。

  • Devvm.dev：每个项目一台 VM — Devvm.dev: One VM for every project。82/44（HN）。把「环境隔离」从容器往上抬一层，代价是每台 VM 的启动与内存开销，收益是每个项目拿到完整内核。

  • GitHub 的新 Git 存储架构 — Inside GitHub’s new Git storage architecture。14/3（Lobsters）。仓库数量涨到某个量级之后，对象存储布局、引用解析路径都得重新设计，这篇讲了他们换了什么、为什么。

  • Servo 九月进展：圆角矩形和别的 — September in Servo: progress, rounded rectangles, and more。78/12（Lobsters）。💬 第一条评论把问题问到了点子上：Ladybird 的 demo 更亮眼，但已经全面转向 AI 驱动的开发方式，Servo 反而成了「非 AI 方法」的现存样本，两者将来可以互相对照。另外几条聊 JS 引擎的并行化——语言语义决定了这件事比渲染管线难得多，也聊 Servo 缺的那个让人眼前一亮的引擎。顺带一条实用信息：Cloudflare Turnstile 在 Servo 上过不去（对应 issue 34320），失败一次之后会一直卡住，得清浏览器数据。

  • Datastar：把前端状态放回服务端 — A Look at Datastar。23/9（Lobsters）。htmx 那条路线上的另一个选择，作者从 Ruby 侧的实际用法出发评价它的取舍。

  • NetBSD 从 11.0 升到 11.1 — Upgrading NetBSD from 11.0 to 11.1。13/3（Lobsters）。小版本升级的完整步骤记录，顺带说明了 sysupgrade 与手工流程各自会碰到什么。

  • 让 musl 和 NVIDIA 私有驱动共存 — Making musl and proprietary NVIDIA drivers work together。44/9（Lobsters）。Chimera Linux 把闭源驱动接进 musl 环境的实操，glibc 假设散布在驱动二进制里，得逐个绕。

  • 生产环境里持续校验形式化规约 — How we continuously validate formal specifications in production。5/0（Lobsters）。形式化方法落地最常死的一环是「写完就没人看」，这里给的答案是把它接进 CI 和线上轨迹比对。

  • 用 UEFI 做裸机编程的第一步 — First steps in bare-metal programming using UEFI。158/29（HN；同题 Lobsters 4/0）。不写引导扇区、直接用固件提供的环境起第一个程序，系列文章按索引组织，适合当入口。

🎮 轻度与好玩

  • Deus Ex — Deus Ex。312/158（HN）。Digital Antiquarian 的长文拆解这款 2000 年的游戏怎么把「我想怎么玩都行」做成系统。💬 jamesu 纠正了文中一处流传很久的说法——双子塔从纽约天际线里消失不只是渲染多边形不够，真实原因复杂得多（附了视频）；morsch 单讲配乐，每首曲子有主题和战斗变奏，这在当年和现在都不常见；vinkelhake 提出一个异端建议：真想入门就从《人类革命》导演剪辑版开始，前传在时间线上也更早。

  • Software Line Specialist：一份用来笑的招聘启事 — Software Line Specialist。107/9（Lobsters）。要求里写着「有至少 5 年 2022 年之前的 TypeScript 经验」、数据库经验「我们的 agent 说是 Postgres」、以及保证你可以一次只做一件事。💬 评论区在报各自的爆笑触发点，还有人表示钱够的话真会接；有人把「2022 年前的 TS 经验」比作低本底钢——那批没被 AI 污染过的代码经验将来会稀缺。

  • X-87：DOS 下 256 字节 — X-87 - DOS 256 bytes。42/1（Lobsters）。256 字节里塞进一个能跑的东西，注释比代码长，属于每年都要被翻出来看一遍的类型。

  • Size-It-Up（游戏） — Size-It-Up (Game)。56/20（HN）。量级感的每日一猜，比数字大小更容易暴露直觉有多差。

  • PyLings：做练习学 Python — PyLings: Solve Exercises and Learn Python。38/2（HN）。Rustlings 那种模式搬到 Python 上，命令行里一题一题过。

  • 章鱼怎么挤过太小的缝 — How octopuses squeeze through too small gaps。37/9（HN）。正经的流体力学与肌肉控制研究，没有骨头的软体怎么把身体变成可塑的流体通道。

  • 从 Linux 到维基百科：志愿者怎么把互联网建起来 — From Linux to Wikipedia: How Volunteers Build the Internet。7/0（Lobsters）。把两套并行运转了二十多年的志愿协作模式放在一起看，相同点是都没工资。

  • 这周末在做什么 — What are you doing this weekend?。22/43（Lobsters）。43 条回复的常驻帖子，比它分数高的说明大家都在摸鱼。

  • 40C3 的排会工具开放投票 — 40C3 halfnarp – Submit talk preferences to aid scheduling。32/7（HN）。CCC 的会议日程按提交的偏好排序，比主席台拍板省事。

  • 日本乡村空心化，野生动物也在消失 — As the Japanese countryside empties out, wildlife is disappearing。66/36（HN）。人口退场之后，被重新野化的不只是山林，农业与林地的维护一并停摆，物种反而更少。

  • 我第一封也是最后一封电报，来自 Rebecca West — My first and last telegram was from Rebecca West。29/6（HN）。一段关于电报、夜莺和一位作家的私人回忆，夹在今天的硬件与估值消息里正合适。

  • 我去参加了 4KB 代码奥运会 — I Go to Olympics of 4KB Coding。30/2（Lobsters）。视频记录一场 4KB 程序竞赛现场，剪到只剩音乐和大小写都算数的二进制。

🧭 今日总结

今天最值钱的一条判断来自评论区而不是原文：Firecracker 那条逃逸链的适用面取决于有没有开 jailer，而写这条链的人自己把限定条件放在正文里、没放进标题——读安全研究时先找这句，比看结论重要。必读按顺序排：pwn.ai 的逃逸链配 HN 讨论一起看，涉不涉及自己的部署取决于那一层隔离；METR 报告与那篇解读文章，看涂黑的部分占了多少、剩下的推理还剩多少力；Scott Helme 那 15579 个站点的披露困境，这是纯技术上更难解的一类问题。横向看，今天两条主线都在讲同一件事的两种速度：隔离边界在被拆穿的同时被加固（Firecracker 与 Replit 用着同一批 rust-vmm 组件），AI 能力叙事在加速的同时资本叙事在降温（METR 报告与 1.1 万亿估值），而 FAA 还在给 1990 年代的系统排 2028 年的退役时间表。