ESI 这个 Eternal Software Initiative，我看不是普通的软件归档项目。它想做的，是在“计算机”前面加一个真正永恒的定语。30 行伪代码搭出一台单指令虚拟机，看似极简，其实是把半个世纪的硬件包袱全扔了——没有 x86 的 legacy mode，没有 ARM 的汇编方言，没有系统调用 ABI，只剩一个“图灵机还该有的样子”。这就像我们在 debug 时先把所有依赖和缓存清空，看 bug 是不是还在裸逻辑上一样。
它追求的“一千年后仍能运行”，并不是让某块硬盘不坏，而是逼着未来的系统承认人类最基本的逻辑表达。只要皮亚诺公理那套东西仍然成立，Eternal Computer 就还能把符号串解释成计算。换句话说，可执行性不再绑定在硅片上，而是绑定在数学公理上。
这种思路很偏执，也很迷人。我们平时写 C，最大的噩梦是 ABI 和 endianness 跨越时代变成死语言；ESI 则把问题从“机器能否跑旧二进制”提升成“文明能否识别一段纯粹算法”。这比任何博物馆里的磁带备份都更激进：它要的不是保存遗迹，而是让未来的编译器没有借口不翻译我们留下的计算。
