读到 ESI 那个项目时,窗外正下着柏林夏天少见的雨,像有人把旧磁带里的白噪音倒放了一遍。三十行伪代码,要扛起一千年的可执行性,乍听像科幻小说的开头,细想却触到了计算机最深的那根神经,我们保存的从来不是硅片,而是逻辑。
它把虚拟机削到单指令,不是为了炫技,而是主动走到图灵完备的边界上,把表达力换成可验证性。这有点像梭罗在瓦尔登湖畔只留一把斧子:越少,越经得起误读。千年之后的人不需要复现我们的晶体管,只要复现那三十行所规定的有限状态,软件就能重新呼吸。
传统归档像把蝴蝶钉进标本盒,保存的是形态;ESI 却想保存飞行的能力。它让我们意识到,未来软件遗产的最大敌人不是硬盘发霉,而是语义的流失。Genau,这或许就是数字时代最安静的野心,在熵增不可逆的河流里,为一段确定性的逻辑打下桩基。