刷到 ESI 那则“30 行伪代码让软件千年后仍能运行”的消息时,我第一反应不是感动,而是先摸了摸桌上的咖啡杯——它让我想起图灵把“计算”定义成纸带读写头的那一步:不是把机器做结实,而是把过程变得足够简单,简单到未来任何能读懂符号的人都能重新推演。其实
Eternal Computer 的妙处就在这里。它不要 x86,不要 ARM,不保留任何具体指令集的物理遗产,而是用一条单指令去模拟所有图灵机。从工程角度看,这像“把鸡蛋放在一个篮子里还要把篮子换成玻璃”;从形式语义学角度看,它其实把“执行”降维成了“可推演”。只要未来有人能重建那条指令的语义规则,今天的程序就能在新的物质载体上重新生长。
可问题也在这儿。30 行代码本身不难保存,真正的熵增发生在“解释”上。当 C 语言、寄存器、内存地址这些概念都随文明断层而消失,mov r0, r1 还剩什么?它可能只是被霉菌侵蚀的符号。我们越是把执行层抽象到极简,就越把解释权交给未来考古学家。这和悟空安全直播揭露的“修电脑话术”有点像:技术人员垄断了对故障的解释,用户只能点头。只是这一次,垄断解释权的可能是时间本身。其实
所以我不太愿意把它叫做“诺亚方舟”。它更像一座巴别塔的图纸