# Theo 与 Laurie 之争：代码库大小能否等同于软件重要性

- 来源：AYi (@AYi_AInotes)
- 发布时间：2026-09-09 09:22
- AIHOT 分数：58
- AIHOT 链接：https://aihot.news/items/cmttfktgd07chrofpplxsgruu
- 原文链接：https://x.com/AYi_AInotes/status/2097495795159183548

## AI 摘要

作者分析 Theo 与 Google 安全研究员 Laurie 关于代码库大小的争论，Theo 称能被一人看懂的代码库不够重要，Laurie 以胰岛素泵、起搏器、核反应堆停堆逻辑等小体量但致命的代码反驳，其引用帖获赞反超原帖。作者指出两人分别用经济轴和物理轴定义重要性，真正的分界线是爆炸半径和系统是否可回滚，并联系代理式编码让仓库变大、单人理解占比下降的背景。

## 正文

这场看似神仙打架的争论，其实把整个软件行业劈成了两个世界。

一边的 Theo 说，能被你一个人从头看懂的代码库，说明它还不够重要，真正严肃的软件，体量一定大过单个人脑，

另一边 Google 安全研究员 Laurie 直接不接，她甩出一份清单，胰岛素泵、起搏器、安全气囊、ABS、航电代码、核反应堆紧急停堆，

这些代码小到一个人能背下来，可一旦出错，是真的会死人，她的结论只有一句，最小的代码往往才是最重要的代码。

连数据都在站队，Theo 原帖 248 万浏览 3500 赞，Laurie 这条引用只有 31 万浏览却拿下 8500 赞，赞反而更高，说明被击中的人不是在看热闹，是在存一条反教条。

但你要只把它当成一场谁怼赢谁的对线，就错过了最值钱的部分，这两个人根本不在回答同一个问题。

Theo 偷偷划了三个等号，代码库大小等于系统重要性，人脑能不能全懂等于软件够不够真实，脑容量上限等于工程正不正确，

这在大型商业软件里是经验之谈，Windows NT 之后，确实再没有一个人同时精通调度器、内存分配和网络栈，

可 Laurie 换了一个完全不同的坐标系，她不问这堆代码多少人维护、一年多少流水，她只问一件事，它失效的物理后果是什么。

所以真正的分界线是，重要性从来不看体积，看爆炸半径。

一个两万行、被形式化验证过的起搏器控制器，可以比一个两百万行的广告后台更重要，因为前者错了人会死，后者错了能回滚、能降级、能值班连夜修。

重要性其实长着三根根本不挨着的轴，经济轴看收入和用户，认知轴看它有没有改写一个领域，物理轴看错误会不会不可逆地作用于人的身体，

Theo 拿第一根轴定义什么叫真正的软件，Laurie 拿第三根轴反击，两个人都对了一半，也都把自己那半边的现象，说成了全世界的普遍规律。

讨论里真正高级的声音不是站队，是把这两半拼起来。

有人点破，你以为的小代码底下压着一张巨大的依赖图，胰岛素泵固件就几万行，可编译器、芯片、射频协议、电源管理全是它脚下的黑盒，一位核潜艇老兵说得更狠，反应堆紧急停堆那套逻辑，是要求能在纸上凭记忆默画出来的。

拼起来才是完整模型，对小而致命的关键切片必须总理解，对巨大的周边依赖做到总体理解就行，但整个系统里必须有人能画出那张失效图。

Laurie 这份清单也不是块块都一样硬，

起搏器、航电、铁路联锁有最严的安全等级标准压着，体积是被标准刻意削小的，而 3D 打印机、跑步机、高压锅虽然也能伤人，市面上大量消费级实现根本没做到每行可审计，并列在一起很爽，分析时得把应该全懂和市场上真的全懂分开。

这场架为什么偏偏在 2026 年吵起来，真正的背景是 AI 写代码。

代理式编码正在把 Theo 的世界变成默认，仓库越来越胀，单个人的上下文窗口相对越来越小，团队开始把大致懂、测试过、能回滚当成合格线，

这对广告后台没问题，对停堆逻辑不行，而且 AI 会同时放大两边的风险，它一边让组织更快地放弃理解，一边让一段看起来干净的生成代码，把没人真正理解的假设偷偷写进保命路径，代码小，不再自动等于可审计。

所以真正该问的从来不是大代码还是小代码，是谁有权对哪一层保持无知，

消费互联网买得起无知，出事有监控、有保险、有客服、有回滚，植入式医疗、潜艇和电网买不起，那里根本没有事后补偿。

真正危险的从来不是小代码，也不是大代码，

是把一套只适用于可回滚系统的认识论，原封不动搬进那个不可回滚的物理世界。

### 引用推文

> Theo - t3.gg：If you understand your whole codebase, the codebase isn't that important. Real software is larger than what your brain can comprehend.