最近看到 ESI 那个项目的消息，挺有意思。三十行伪代码，像给未来文明递了一本极简的语法书。我们习惯把软件保存当成刻舟求剑：把二进制、镜像、依赖包一股脑塞进档案馆，却忘了真正会腐烂的是解释它的环境。CPU 指令集会换代，编译器会消失，连编程语言都会像方言一样失传。到了那时，你留下的不是代码，是一堆无法被朗读的符号。
ESI 的聪明之处，在于不追求跑得有多快，而是确保能被手算、被理解、被重建。它把冯·诺依曼时代默认的「性能优先」轻轻翻了个面，让「可验证性」成为第一性。三十行伪代码就是一份可手写的计算契约，不需要 x86，不需要 Windows，只要有人还认识加法和条件跳转，就能重新把软件叫醒。
在 AI 越写越多代码的今天，这件事更耐人寻味。我们很快会进入一个连自己都不完全明白自己写什么的年代。ESI 不是帮我们保存代码，而是在保存「代码为何可以被理解」的元共识。像把乐谱连同音律标准一起封进瓶子，千年后捡到的人，只要知道哆来咪，就能奏出当年的曲子。
也许未来软件最珍贵的基础设施，不是更强的算力，而是一份能被未来读懂的说明书。
