Agili 的 Hacker Podcast 2026-09-28

2026年9月28日

今天的技术话题跨越了三十年前芯片巨头的期权争议、微控制器上的神经网络音频运算，以及大语言模型对代码审查和数据库格局的持续冲击。欢迎收听 Agili 的 Hacker Podcast。

三十年前遗漏的期权，价值近 10 亿美元

笔误与三十年后的发现

虚拟现实先驱埃里克·古利克森（Eric Gullichsen）在 1993 年加入英伟达技术顾问委员会，协助初代芯片 NV1 的纹理映射开发，并获赠 25,000 份股票期权。1996 年双方合作终止，英伟达告知他根据四年归属日程（Vesting，按时间逐步获得行权购买股票的法定权利），已有 15,625 股到期。古利克森支付了 781 美元行权买下这部分股票。

2024 年英伟达市值暴涨，古利克森查阅旧协议时发现，正式合同文本上明确印着期权在一年内分四个季度完全归属。当年未被计入的 9,375 股期权历经累计 480 倍拆股后，折合 450 万股，现值接近 10 亿美元。

诉讼时效与缔约共识

古利克森委托律师交涉后，英伟达直接援引诉讼时效（Statute of Limitations）抗辩并拒绝和解，古利克森最终放弃诉讼。加州法律对书面合同违约的追诉期通常为四年。由于原件始终在古利克森手中，法律假定他早就应当查知条款，不符合时效中止的条件。

此外，英伟达早期的聘意书写明四年，最终文本上的“四个季度”极可能是笔误。合同法注重缔约双方当时的真实共识；古利克森在 1996 年收到行权通知时并未提出异议，表明双方当时均默认了四年的执行标准。当年未行权的期权也早已过期注销回期权池。

Parley：用原生 IRC 客户端连接去中心化联邦

极简终端接入现代联邦

Parley 是一个使用 Go 语言开发的去中心化聊天系统。用户在自己的域名部署实例后，服务器之间通过 DNS 和 HTTPS 交换签名消息实现联邦通信。对于使用者而言，系统对外暴露标准的 IRC（互联网中继聊天，Internet Relay Chat）接口，WeeChat、Irssi 或 mIRC 等老牌客户端无需安装任何插件即可直接连接。

继承经典规范

用户的身份格式与电子邮件一致，形如 user@domain。系统支持消息编辑、表情回应与图片显示。频道规则沿用经典 IRC 习惯：以 & 开头的频道仅保存在本地实例，以 # 开头的频道则跨实例同步。为了避免同名昵称冲突，消息通知仅在显式指定域名后缀时触发，避免全网误报。

Anthropic 发布 Claude Sonnet 5.5

速度与性能跃升

Anthropic 推出了 Claude Sonnet 5.5。在维持原有单价（每百万输入 tokens 2 美元、输出 10 美元）的前提下，新模型生成速度提升超 30%，单次任务所需 token 减少约三成。在智能体编程基准测试 Terminal-Bench 4.0 上，得分从 Sonnet 5 的 10.3% 跃升至 70.6%，超过了 Opus 5.5 的 66.4%。

安全降级与思考开销

系统说明文件显示，Sonnet 5.5 得分反超 Opus 5.5 的原因之一是安全策略的差异。Opus 5.5 在测试中有 10% 的任务触发安全防线并回退至旧版本，而 Sonnet 5.5 仅有 1.5%。不过，Sonnet 5.5 搭载的网络安全过滤机制在实际工程中经常将老旧代码分析误判为高危操作，导致自动降级。

在调用策略上，Sonnet 5.5 在中低思考强度下效费比极高。但在最高思考模式下，模型容易耗尽 128,000 个思考 tokens 导致超时。目前主流实践将其定位为执行子代理（subagent）：由旗舰模型负责顶层设计与任务拆解，交由中低思考强度的 Sonnet 5.5 高速执行具体编码。

CoyoPedal：在百元微控制器上运行全尺寸神经网络吉他音箱

嵌入式平台的算力极限

开发者 dashersw 推出了开源项目 CoyoPedal，在搭载触摸屏的微雪 ESP32-S3 开发板上实现了吉他效果器。该系统以 48 kHz 采样率实时运算全尺寸 NAM A2（Neural Amp Modeler，一种基于深度学习的吉他音箱仿真模型）文件，听感上与桌面端全尺寸模型反相抵消峰值控制在 -60 dB 以下。

为了在算力有限的微控制器上运行 23 层 WaveNet 神经网络，作者使用块浮点（Block Floating Point，在共享指数下表示一组尾数的定点计算方式）压缩数值，并编写了 Xtensa 架构的纯汇编内核，将运算拆分到两个芯片核心串行处理，运算占用率分别达到 91% 和 94%。

软硬件工程实现

ESP32-S3 直接作为 USB 主机运行，通过通用音频协议连接外置声卡进行数模转换，端到端延迟控制在 4 至 10 毫秒之间。界面通过自研框架在编译期直接转译为 C++ 运行，无需板载 JavaScript 引擎。在维护模式下，音频引擎休眠并开启 Wi-Fi 传输模型文件；切换回演奏模式后无线射频完全切断，避免高阻抗吉他拾音器拾取电磁杂音。

可塑软件：打破封闭黑盒与预设功能

工具与孤立应用的矛盾

研究实验室 Ink & Switch 联合多位学者发布文章，指出传统集中式软件开发正在剥夺用户的自主权。中心化团队试图满足所有需求，最终导致产品臃肿；现有的设置项、插件系统或开源代码，在修改门槛与跨应用共享上都存在断层。

可塑设计的三大原则

文章提出重构软件自主权的核心方案：

平缓坡道：自定义门槛应该像电子表格一样循序渐进，允许用户在运行状态下直接修改，无需中途坠入全职编程的门槛。
以工具为中心：摒弃功能孤立的应用形态，借鉴本地优先（Local-first）和通用文件系统让不同工具操作同一份数据，配合复合文档系统让组件自由组合。
社群化创造：支持小型团队按需定制“家常菜式”的软件模块，通过去中心化协作共享补丁。

代码审查的价值不止于漏洞检测

审查中的隐性反馈

针对“AI 代理可全面取代人工代码审查”的观点，前 Etsy 首席技术官 John Allspaw 指出，将复杂协作拆解为孤立功能属于“替代迷思”。人工审查不仅是静态检测，更承担着系统治理的职责。资深工程师在查看代码变动时产生的真实困惑，是衡量抽象设计是否合理的关键信号，大语言模型无法产生这种真实的“不解”。

组织认知与边界审视

人类审查者擅长察觉代码之外的缺失要素，例如未跟进的错误处理、治标不治本的设计，以及版本库之外的隐性业务约束。人工审查保障了团队的理解冗余，确保关键系统至少有两人了解实现逻辑。过度依赖 AI 审查容易导致系统快速黑盒化，在后期产生团队不敢随意变更代码的停滞风险。

暗网自建服务的技术细节与取舍

穿透内网的隐藏服务

配置 Tor 洋葱服务（Hidden Service）可以让网站获得专属的 .onion 域名。由于 Tor 依靠遍布全球的中继节点提供端到端寻址和加密，这种方案无需公网 IP 和路由端口转发，对运营商级 NAT（CGNAT）内网环境非常友好，且无需配置 TLS 证书。隐藏服务仅响应自身流量，不会产生类似 Tor 出口节点的滥用法律风险。

极端优化与协议约束

暗网链路经多次中继跳转导致高延迟，网站优化通常走向极端：将小图标以 Base64 格式内联进 HTML、避免外部网络请求，并完全舍弃 JavaScript 脚本以贴合暗网用户的安全偏好。由于公共证书机构不为 .onion 签发免费证书，大部分站点停留在 HTTP/1.1，无法享受 HTTP/2 的多路复用优势。

认知科学能为 AI 带来慢思考吗？

双系统思维与元认知

IBM 等机构在 2021 年发表的论文近期再度引起讨论。论文主张将卡尼曼的双系统理论引入 AI 架构：由依赖经验的“系统 1”处理日常直觉，当遇到复杂难题时，通过元认知（对自身认知过程的监控与调节能力）调动负责严谨搜索与推理的“系统 2”。

自回归模型与真正的系统 2

现代大模型的思维链机制是否属于系统 2 仍存争议。部分观点认为自适应推理已能动态调节计算量展开逐步推导；另一种观点则指出，当前的自回归模型本质上仍是单一的前向概率预测，文本层面的中间推演并不等同于具备独立验证、符号检索和自我约束的真正系统 2。

日产第三代 e-POWER：内燃机专职发电的权衡

50% 热效率与高度集成

日产发布了第三代 e-POWER 串联混动技术。车辆百分之百由电机驱动，汽油发动机仅作为发电机运转。专职化内燃机避免了传统发动机在加速与怠速间的频繁切换，通过长冲程、强滚流和特制气门座技术，使最高热效率达到了 50%。

电驱部分采用“5-in-1”集成设计，整合了电机、发电机、逆变器与减速机构，逆变器引入碳化硅芯片减少电能损耗。串联系统避开了多挡变速箱的复杂机械结构，但高速巡航时经过“动能-电能-动能”的多次转换损耗，综合效率通常低于支持机械直驱车轮的混联系统。

MongoDB 首席执行官跳槽 Meta 引发震荡

高管变动与市场抛售

MongoDB 首席执行官 Chirantan Desai 离职加入 Meta 担任首席企业平台官，直接向 Mark Zuckerberg 汇报，负责将个人智能体及企业 AI 工具商业化。受突发离任影响，MongoDB 股价单日暴跌 18%，市值蒸发约 65 亿美元，前任 CEO 随即回归代理职务。

企业销售经验与数据库演进

Desai 曾任职于 ServiceNow 和 Cloudflare，在大型企业级软件的采购与销售网络中积累了深厚资源，弥补了 Meta 在 2B 商业落地层面的经验短板。另一方面，随着大模型大幅降低了传统关系型数据库（如 PostgreSQL）的模式设计与迁移维护门槛，主打无模式灵活起步的文档型数据库正在面临新的市场审视。

播客全文

女：Hello 大家好，欢迎收听 Agili 的 Hacker Podcast，我是莓莓。

男：大家好，我是阿迪。

女：阿迪，如果三十年前有人塞给你一份合同，上面写着给你的期权一年就能全部拿到，但大家都以为要等四年，结果三十年后这批股票值十亿美元，你现在第一反应会是什么？

男：我可能会立刻翻箱倒柜把当年的纸盒子找出来，然后心脏漏跳半拍。这正是虚拟现实先驱埃里克·古利克森（Eric Gullichsen）不久前碰到的真事。他在 1993 年做英伟达的技术顾问，当时英伟达还在做第一款多媒体芯片 NV1。英伟达给了他两万五千份股票期权。到了 1996 年顾问关系结束，公司通知他按四年归属（Vesting，指获得按约定价格购买股票的法定权利）拿到了六成，也就是一万五千多股。

女：当时英伟达差点因为微软 DirectX 只支持三角形贴图而破产，他付了七百多美元行权，然后移居去汤加生活了。直到今年英伟达市值冲上天，他翻出当年的旧合同，发现纸上清清楚楚印着一年内分四个季度全部归属。

男：按照一年归属算，当年少给他的那九千多股，经过历年 480 倍的股票拆分，折合现在四百五十万股英伟达股票，市值接近十亿美元。他找了律师去跟英伟达交涉，英伟达法务承认合同是真的，但直接搬出了诉讼时效（Statute of Limitations）。合同法非常看重双方签署时的“合意”（Meeting of the minds），也就是当时双方心里的真实认知。

女：也就是说，当时英伟达的录用函写的是四年，正式合同印成了一年，很可能是起草时敲错了。古利克森当年收到一万五千股的通知单时没有提出任何异议，大家默认了四年的执行方式。

男：加州对书面合同违约的追诉期通常只有四年。纸质文件一直在他手里，法律假定他早就应该发现。那笔没行权的期权在 1996 年离职九十天后就注销回期权池了。退一步讲，就算打官司，法院算违约赔偿也是按三十年前的股票价值加法定利息，不会假设某个人能把股票精准拿住三十年。最后他和律师评估胜算太低，放弃了起诉。古利克森自己也感慨，签字真的要一字一句读清楚。

女：看纸质合同得逐字读，看团队代码更是这样。最近前 Etsy 首席技术官 John Allspaw 写了一篇文章，反驳了一篇声称“AI 可以完全取代人工代码审查”的学术论文。Allspaw 提出了一个词叫“替代迷思”，意思是人们总喜欢把复杂的协作拆解成找漏洞、对风格几个孤立步骤，机器能做了，就宣布人类没用了。

男：这是很多工程团队正在经历的阵痛。代码审查（Code Review）不仅仅是找代码里的语法错误或逻辑漏洞。资深工程师看代码差异时皱起眉头、产生困惑，这种困惑本身就是关键信号。它代表这个抽象接口可能设计得太怪了，或者实现意图根本不清晰。大语言模型永远能强行读懂并处理输入的信息，它不会给团队提供这种人类真实的困惑反馈。

女：这就像是团队里的理解冗余。审查代码能确保团队里至少有两个人知道这段系统到底是怎么跑的。要是把写代码和审代码全都推给 AI，最后系统就成了没人敢动的黑盒。有些团队全面放开 AI 之后，发现大家都不敢去改老代码了，因为谁也不知道牵一发动哪根神经。

男：人类审查者还能察觉缺失盲区（absence blindness），也就是那些根本没写出来的东西。比如修改了一个底层接口，人类会立刻反应过来下游的错误处理没有加上，或者直接质问这个需求是不是应该换一种架构来做。大模型更容易盯着写出来的文字挑毛病，很难质疑这行代码存在的必要性。当然，如果系统没有自动化测试和灰度发布，全指望人工看代码来背锅，也是一种管理懒惰。

女：说到 AI 帮我们写代码和推理，Anthropic 刚发布了 Claude Sonnet 5.5。在终端编程评测 Terminal-Bench 4.0 上，它的得分直接从上一代的 10.3% 飙到了 70.6%，甚至超过了自家的顶配模型 Opus 5.5。阿迪，你看了系统报告，它这回真的变聪明了吗？

男：很多团队测下来，它非常适合做具体的执行子代理（subagent）。比如 Box 和 Unity 反映它能把很多工具调用打包一次性发出去，减少等待人类确认的轮次。但它的高分有一部分特殊原因：Opus 在测试里有 10% 的任务触发了安全防线导致降级回退，而 Sonnet 5.5 只有 1.5% 触发。

女：不过它的思考模式在极限状态下好像有点失控。

男：没错。在低思考和中等思考强度下，它性价比极高；但在极高推理模式下，很多开发者让它画一个复杂的矢量图，它会把整整十二万八千个思考 tokens 全部烧光，算上十五分钟，最后在输出前把额度耗光直接报错。这正好牵扯到学界一直争论的问题：现在的自回归大模型，到底有没有实现认知科学里丹尼尔·卡尼曼说的双系统思维？

女：卡尼曼把人类思考分成依靠直觉的系统 1 和负责严谨逻辑推理的系统 2。现在模型拉长的那些思维链（Chain of Thought），到底是机器真的在慢思考，还是只是把一堆文本串联起来的直觉预测？

男：IBM 等机构之前有篇论文就设想过，能不能给 AI 做一个真正的元认知（metacognition，即对自身认知过程的监控与调节能力）模块，让直觉智能体负责日常对话，遇到复杂问题再唤醒严谨的逻辑搜索智能体。但现在的语言模型本质上依然是单向的概率预测。语言只是人类思想在交流时的一种序列化（serialization，将内部数据结构转换为线性文本格式）工具。在文本序列里绕圈子，不等于拥有独立的世界模型和自我检验能力。

女：这种感觉就像我们用越来越复杂的黑盒把真实世界包裹起来。这让我想到 Ink & Switch 研究实验室最近发的一篇长文，他们聊到了可塑软件（Malleable software）。现实生活里木匠可以打磨自己的刨子，厨师能在天花板加挂钩，但现在的商业软件全变成了固化的盒子，普通人完全失去了改造工具的自由。

男：他们举了个很扎心的例子：医院的电子病历系统逼着医生在每个固定的格子里选标签，医生甚至没法像过去在纸质病历上那样随手画个箭头或者跳过无关项，这直接推高了医护人员的疲惫感。现在的软件自定义机制都很割裂，改设置受限于作者留的开关，写插件又有巨大的技术门槛。

女：所以他们提出了几个很棒的原则。比如像电子表格那样，留一个平缓的坡道，普通人改改单元格内容，接着学写个简单求和公式，慢慢就能搭出复杂的系统，根本不需要单独装一套开发环境。还有就是以工具为中心，而不是以应用为中心。现在大家用软件，文件都被锁在各个应用孤岛里，要是能像菜刀一样，任何食材都能切，工具直接操作同一份本地数据，协作起来会轻快得多。

男：这需要底层的本地优先（Local-first）技术和组件化画布来支持。虽然有人觉得大部分普通用户懒得改软件，但只要架构具有可塑性，企业内部就能像做家常菜一样，为特定科室或小组写出顺手的小工具，而不是逼着平台把单一软件越做越臃肿。这种掌握工具的黑客精神，不仅在桌面软件里，最近在嵌入式硬件圈也有个很好玩的例子，叫 CoyoPedal。

女：用微控制器做吉他综合效果器那个项目对吧？

男：对。作者在一块只有几美元的 ESP32-S3 芯片上，跑起了全尺寸的神经网络吉他音箱仿真模型 NAM A2。市面上的廉价数字效果器通常只能跑经过严重降采样的精简模型。这个作者硬是用针对芯片架构的手写纯汇编，加上块浮点（Block Floating Point，在共享指数下表示一组尾数的定点计算方式）压缩，在不到一点四毫秒的运算窗口里，把两个芯片核心的算力榨到了 90% 以上。

女：吉他手最怕声音延迟，弹下去半天没动静就没法演出了。

男：他把整机端到端延迟压到了四到十毫秒，如果修补声卡固件，硬件延迟甚至能降到一点二毫秒，跟几千美元的专用处理器差不多。更有意思的是它的抗干扰设计：平时弹吉他时，芯片的 Wi-Fi 和蓝牙是彻底断电关掉的，防止高频无线电串进高阻抗的吉他拾音器产生杂音。当吉他手长按踏板进入维护模式，音频引擎休眠，无线网络才会启动，让你用手机网页传模型参数或者更新固件。

女：这种把每一分硬件性能和生活场景算得清清楚楚的工程实践，听起来真让人踏实。

男：这种不用被任何大厂平台绑架、自己完全掌控系统的感觉，也是技术最原始的乐趣。

女：好了，今天聊的几个故事就先到这里。大家如果喜欢我们的节目，欢迎在泛用型播客客户端订阅 Agili 的 Hacker Podcast。

男：感谢大家的收听，我们下期见。

女：下期见，拜拜！