在东北跑车,最怕的不是坏在路上,而是修车时诊断仪被锁、配件停产,信息链路一断,再好的机器也成了铁疙瘩。软件保存的困境更隐蔽:十年前的 exe,今天往往打不开,不是程序本身朽了,而是编译器、操作系统、ABI、芯片架构这些中间层层层腐坏,像给文明穿了太多件随时会过季的衣裳。
ESI 那三十行单指令伪代码,干的就是脱衣这件事。它不是复古,也不是性能妥协,而是一种熵减策略:把“执行”从具体生态中剥离,还原成图灵机纸带上的符号演算。将来的人类,甚至非碳基文明,只要读懂这三十行定义,就能按图索骥解码今天的软件遗产。这比封存任何一台古董电脑都更根本。
从某种角度看,ESI 像给数字文明拍了一张最小可读快照:不依赖存储介质、不依赖芯片厂、也不依赖还健在的程序员。档案学和计算理论在这里握手,很有意思。
只是有个问题值得追问:我们今天写下的代码,逻辑真有那么清晰,配得上被一千年后的人逐行细读吗?