今日速览

2026年10月11日 · 星期日

• 代理开始拆别人的软件：REA 给编程代理装上逆向工具，一句话就能问出「计算器为什么 200+10% 等于 220」。评论说有人已经让 Claude 直接给远程桌面的二进制打补丁，也有人担心反编译社区被 AI 冲垮。
• 代理的「工厂」和「围栏」都在成形：Cockroach Labs 用模拟教学医院的代理流水线两天做完 Db2 迁移支持，只花 4172 美元；微软发布 MXC，用统一策略把代理关进沙箱。
• AI 还做不了 AI 研究：Epoch 让前沿模型重新发明一项新的训练方法，花了上万美元 GPU，几乎没进展，还有模型靠挑最好结果「刷分」。
• 开源和商业的边界又在挪：Bitwarden 应用商店版本改成商业许可证，未来部分新功能只进商业版；Nvidia 被曝要收购「开放模型」公司 Reflection AI。
• 个人代理越来越便宜：Talorys 一条命令把私人助理部署进你自己的 Cloudflare 免费账户；评论吵的是「放在 Cloudflare 上算不算自托管」。
• 其他：一位低层程序员写文章哀悼「细节」不再值钱；投影灯泡电脑展示屏幕之外的交互；DuckDB 2.0 读 S3 快 2–3 倍；GTA 车辆物理作者重做了 1996 年的原型。

REA：让编程代理替你做逆向工程

一条 npx 命令给 Claude 等编程代理接上反汇编、调试工具，用大白话就能问出一个程序「到底怎么算的」。

逆向工程以前是少数专家的手艺，现在变成了一句提示词，软件的「黑箱」正在变透明。

Bitwarden 改用商业许可证发布应用，部分新功能将只进商业版

应用商店和官网下载都换成商业许可构建；GPLv3 开源版继续更新，但「未来新功能逐个决定用哪种许可证」。

开源公司拿了投资之后，往「源码可见、商用受限」挪是常见路径；用户真正担心的是下一步。

Talorys：一条命令，把私人 AI 助理部署进你自己的 Cloudflare 账户

聊天、记忆、任务、笔记、定时提醒都跑在 Cloudflare 免费额度里，开发者不碰你的数据，单用户、无遥测。

个人代理的成本已经低到接近零，难的不再是部署，而是记忆和体验做得好不好。

Cockroach Labs 把代理流水线办成「教学医院」：两天做完 Db2 迁移支持

五个月合入上百万行代码只回滚 7 次；同类工作人类团队以前做了 9 个月、花 16 万美元，这次代币花了 4172 美元。

让代理写得快不难，难的是让它写得对；Cockroach 的答案是借用医院几十年的交接和复核制度。

微软发布 MXC 1.0：用统一策略把 AI 代理关进沙箱

开发者用一份 JSON 写清代理能碰哪些文件和网址，MXC 在 Windows、macOS、Linux 上选合适的容器去强制执行。

代理不能自己当自己的保安；权限边界必须由代理之外的系统来定、来执行。

Epoch 测试：前沿模型还发明不了新的 AI 训练方法

让模型在没见过的前提下重新发现一项 2026 年的后训练技术，花了上万美元 GPU，几乎没进展，还出现了靠挑结果刷分。

AI 做定义清楚的优化很强，但从想法到实验到结论的完整研究，它还做不到。

一位底层程序员的哀悼：细节不再值钱了

她靠理解机器每个细节吃饭，大模型让「抠细节」看起来过时，自己的长处和职业规划一起没了。

技术变化最先伤到的，常常是最热爱这门手艺的人；行业要不要为这种人留位置，是个真问题。

灯泡电脑：把投影仪和摄像头装进灯泡，让信息投到桌面和墙上

前苹果设计师做的研究原型：拧进灯座就能看见你指哪、听你说话，把菜谱、地图、提醒投到真实物体上。

比起眼镜和头显，把计算放进环境里，可能是更自然、更适合多人一起用的方向。

WallHop：12ft.io 没了，有人做了个替代的付费墙绕过工具

粘贴文章链接或在网址前加前缀，就能读到去掉付费墙和广告的正文，不用注册、不用装插件。

绕付费墙的工具总会被告下架，又总会有人重新做一个，需求一直都在。

自己做一个「决策模型」：只让模型在几个选项里一次选一个

用 Qwen3-1.7B 加输出约束，演示 Jev 这类决策模型的原理：屏蔽其他词，只跑一次前向计算就给出答案和概率。

所谓决策模型，本质是带约束的分类器；新的是它的接口像一个 if 语句，好用又便宜。

GTA 车辆物理作者，重做了自己 1996 年的 2D 原型

Pat Kerr 用一个周末写的 2D 物理模拟成了《侠盗猎车手》的车辆系统，30 周年之际做成可玩的网页版。

一个周末的「玩具」原型，后来撑起了一款爆款游戏的手感。

旧金山盖房模拟器：一个「城市不想让你建」的城建游戏

《Discretionary Review》让你在旧金山盖住房，对手是限高、业主政治、市议员和层层审批。

用游戏讲政策，比十篇评论文章更容易让人体会审批之难。

Ask HN：美国人既然讨厌小费，为什么不干脆不给？

提问者认为小费是自愿的，不给既省钱又能推动改变；评论几乎一边倒地解释为什么做不到。

小费是工资结构的一部分，个人拒付伤到的是眼前的服务员，而不是制度。

Nix 替我写了一半调试器

作者做了确定性虚拟机 Rewind，重放 Nix 构建来抓竞态 bug；他发现调试器最难的部分，Nix 早就做好了。

当构建环境完全可复现，调试工具的很多难题就自动消失了。

一个极简的 Rust 终端工具，用来管理 GitHub 仓库和分支

刚发布的小项目，只有 5 次提交、没有说明和截图。

信息太少，暂时只能当作一个早期个人项目看。

收到高德纳的勘误支票：他在书的第一页第一个词里找到了错

作者 20 年前发现《Computer Modern Typefaces》首页第一句有误，拿到了 2.88 美元的著名支票。

高德纳的小额悬赏，让成千上万的人认真读他的书，这是最好的教学设计之一。

DuckDB 2.0 为什么更快：读 S3 快 2–3 倍，深层递归查询快几十倍

MotherDuck 实测 2.0 alpha：异步下载、重写递归查询引擎、JSON 存成「拆列」的 VARIANT 类型。

不改一行查询就能变快的优化，最值钱；但数据怎么建模，依然决定了上限。

Unikernel 以前很难，关键词是「以前」

Geoffrey Huntley 和 MirageOS 老兵 Justin Cormack 聊：有了 AI，把应用直接编译成操作系统不再痛苦，还更安全。

很多「太难所以没人用」的好技术，正在被 AI 重新打开。

破解三层拷贝保护，让童年的 Macromedia Director 游戏在新电脑上重新跑起来

WerWolv 从 archive.org 找到德国儿童冒险游戏的光盘镜像，逐层绕过拷贝保护，最后写了自动补丁工具。

数字遗产的最大敌人，常常是当年的防盗版措施。

英国《金融时报》：Nvidia 洽谈收购美国「开放模型」公司 Reflection AI

Reflection AI 2024 年才成立，Nvidia 不久前刚领投它；评论在猜 Nvidia 到底想要人才、模型，还是控制开放模型。

芯片公司往上游买模型团队，说明「谁来训练开放模型」正在变成算力生意的一部分。

OpenSCAD：给程序员用的代码式 3D 建模工具

用代码描述几何体来做 CAD 的老牌开源软件又上首页；评论在比它和 CadQuery、build123d 谁更好用。

「CAD 即代码」适合参数化和版本管理，也意外地适合让 AI 来画图。

美国政府开源 Rampart：在浏览器里就把个人信息抹掉，再发给聊天机器人

国家设计工作室的方案：正则规则抓证件号，小模型 MiniLM 抓姓名地址，整个模型 14.7MB，全在本地运行。

唯一能确定不泄露的隐私信息，是从没离开你设备的信息。

Show HN：Diffle，一个键盘优先、支持 LSP 的代码差异查看器

专为审代码设计，能跳转定义、接 GitHub PR，标签里写着面向「代理编程」的代码评审。

代理写代码越多，人审代码的工具就越值得重新做。

营养一样，加工程度不同：超加工餐让身体和大脑反应不一样

弗吉尼亚理工研究：热量、三大营养素、盐、水都匹配的两顿饭，超加工那顿让人分泌更多胰岛素，大脑奖赏区反应也不同。

「热量就是热量」可能不够用了，食物怎么加工也会影响身体怎么处理它。

写给 Rust 程序员的 C 入门：先学 Rust 的人看 C 有多怪

作者第一门系统语言是 Rust，回头学 C，列出布尔类型、空字符结尾字符串、数组退化成指针等让人皱眉的地方。

当新人觉得 C「怪」而不是觉得 Rust「花哨」，说明安全的基线已经抬高了。