Eternal Software Initiative 这个单指令虚拟机,名字听着像科幻,但把它的 30 行伪代码摊开来看,其实在做一件非常古老的事:给未来的人写一份“计算宪法”。它不是用文档去描述软件,而是把执行本身压缩成一种不依赖任何现存硬件的状态转移。换句话说,只要后世有人能读懂这张表,哪怕半导体文明已经断代,你的程序仍能被解释、被运行。
让我这个搞算法的人真正起鸡皮疙瘩的,不是它有多精简,而是这种“反熵”设计。我们这个行业每天都在制造熵:新的 ISA、新的运行时、新的依赖地狱。五年前的项目,现在因为某个 npm 包下架就再也跑不起来。ESI 把计算模型剥到只剩一指令,反而形成了一块“最小公理系统”——任何声称兼容它的解释器,都必须满足这些 invariants,否则就是非法实现。
从某种角度看,这像给罗塞塔石碑加了一行数学注释。严格来说它不止要保存二进制,更要保存“理解二进制”的合法路径。尤其在 AI 批量生成代码、语义漂移越来越常见的今天,这种极度显式、可手工验证的虚拟机,反而成了最硬的锚点。
不过也要泼点冷水:30 行能定义“怎么跑”,但定义不了“为什么跑”。再短的 spec 也得靠社群维护、解释。技术能解决“能不能运行”,但“运行有没有意义”还得靠人。所以真要把这套东西刻进石头,你最想保留哪款老程序?