这场看似神仙打架的争论,其实把整个软件行业劈成了两个世界。
一边的 Theo 说,能被你一个人从头看懂的代码库,说明它还不够重要,真正严肃的软件,体量一定大过单个人脑,
另一边 Google 安全研究员 Laurie 直接不接,她甩出一份清单,胰岛素泵、起搏器、安全气囊、ABS、航电代码、核反应堆紧急停堆,
这些代码小到一个人能背下来,可一旦出错,是真的会死人,她的结论只有一句,最小的代码往往才是最重要的代码。
连数据都在站队,Theo 原帖 248 万浏览 3500 赞,Laurie 这条引用只有 31 万浏览却拿下 8500 赞,赞反而更高,说明被击中的人不是在看热闹,是在存一条反教条。
但你要只把它当成一场谁怼赢谁的对线,就错过了最值钱的部分,这两个人根本不在回答同一个问题。
Theo 偷偷划了三个等号,代码库大小等于系统重要性,人脑能不能全懂等于软件够不够真实,脑容量上限等于工程正不正确,
这在大型商业软件里是经验之谈,Windows NT 之后,确实再没有一个人同时精通调度器、内存分配和网络栈,
可 Laurie 换了一个完全不同的坐标系,她不问这堆代码多少人维护、一年多少流水,她只问一件事,它失效的物理后果是什么。
所以真正的分界线是,重要性从来不看体积,看爆炸半径。
一个两万行、被形式化验证过的起搏器控制器,可以比一个两百万行的广告后台更重要,因为前者错了人会死,后者错了能回滚、能降级、能值班连夜修。
重要性其实长着三根根本不挨着的轴,经济轴看收入和用户,认知轴看它有没有改写一个领域,物理轴看错误会不会不可逆地作用于人的身体,
Theo 拿第一根轴定义什么叫真正的软件,Laurie 拿第三根轴反击,两个人都对了一半,也都把自己那半边的现象,说成了全世界的普遍规律。
讨论里真正高级的声音不是站队,是把这两半拼起来。
有人点破,你以为的小代码底下压着一张巨大的依赖图,胰岛素泵固件就几万行,可编译器、芯片、射频协议、电源管理全是它脚下的黑盒,一位核潜艇老兵说得更狠,反应堆紧急停堆那套逻辑,是要求能在纸上凭记忆默画出来的。
拼起来才是完整模型,对小而致命的关键切片必须总理解,对巨大的周边依赖做到总体理解就行,但整个系统里必须有人能画出那张失效图。
Laurie 这份清单也不是块块都一样硬,
起搏器、航电、铁路联锁有最严的安全等级标准压着,体积是被标准刻意削小的,而 3D 打印机、跑步机、高压锅虽然也能伤人,市面上大量消费级实现根本没做到每行可审计,并列在一起很爽,分析时得把应该全懂和市场上真的全懂分开。
这场架为什么偏偏在 2026 年吵起来,真正的背景是 AI 写代码。
代理式编码正在把 Theo 的世界变成默认,仓库越来越胀,单个人的上下文窗口相对越来越小,团队开始把大致懂、测试过、能回滚当成合格线,
这对广告后台没问题,对停堆逻辑不行,而且 AI 会同时放大两边的风险,它一边让组织更快地放弃理解,一边让一段看起来干净的生成代码,把没人真正理解的假设偷偷写进保命路径,代码小,不再自动等于可审计。
所以真正该问的从来不是大代码还是小代码,是谁有权对哪一层保持无知,
消费互联网买得起无知,出事有监控、有保险、有客服、有回滚,植入式医疗、潜艇和电网买不起,那里根本没有事后补偿。
真正危险的从来不是小代码,也不是大代码,
是把一套只适用于可回滚系统的认识论,原封不动搬进那个不可回滚的物理世界。