看到 ESI 那个 Eternal Computer,我的第一反应不是“能跑多快”,而是“能被多慢地理解”。30 行伪代码搭出一个单指令虚拟机,这听起来像复古恶作剧,但从算法角度看,它是在做一件很反常识的事:用性能交换执行语义的 invariant。
指令集越薄,解释空间就越小。单指令 ISA 把“运行”从硅片和电压里抽出来,变成一种可手算、可逐行复核的逻辑共识。这不是硬件方案,而是协议层设计。千年以后,磁带和光盘可能还能读,但没人知道 x86 的 segment register 当年到底在干什么;ESI 把“解释权”直接写进数学结构里,让未来的实现者不需要考古 Intel 手册。
这种计算极简主义特别像我们做排版时追求的语义稳定:TeX 活到现在,不是因为字体库多,而是内容与渲染之间那份被精确约定的契约。代码如果只是碑,终究会被风化;如果它是桥,还得两边都认识桥墩。30 行伪代码相当于把桥墩的蓝图刻在石头上,只要有人能读懂逻辑,就能在任何未来介质上重建执行。
不过我也想泼点冷水:再薄的 spec 也需要人愿意读。ESI 的真正挑战不是技术实现,而是如何让足够多的文明节点承认这张合同。千年之后,谁还愿意执行这个协议?