在浏览器里操纵一道分子闸门拉开温差，再用记忆纸带和账本看清第二定律为什么是被信息论救回来的。
箱子被一道隔板分成两室，中间开着一扇门。180 个分子在里面弹来弹去，速率越高颜色越暖，超过分界速率的还多一圈亮边。
按 开门 / 关门（或空格键）控制那扇门。你的任务和 1867 年那个"妖"一样：把快分子放到右边，把慢分子放到左边。做成了，右室变热、左室变冷，而你没有做任何功。
觉得手速不够，就打开 自动妖——算法会替你做同样的事，而且做得比人准得多。十几秒之后温差就很明显了，此后它在一个涨落的稳态附近上下浮动：180 个分子不足以让温差稳稳不动。
然后请把注意力从箱子移到下面两块面板：
写满之后按 擦除记忆，门重新可用。代价记在最后一行：每擦除一个比特，向环境释放 kT ln2 的热。
麦克斯韦 1867 年给泰特写信提出这个设想时，本意不是宣称第二定律错了，而是要说明它是统计性的——不是不可能被违反，只是压倒性地不可能。那个开门的角色他自己称作"a finite being"（一个有限的存在），“妖"这个称呼是 1874 年开尔文在《自然》上给起的。
之后一百多年，物理学界都同意妖不可能真的成立，但说不清那笔账该记在哪一栏：
kT ln2——数字是对的。kT ln2 的热。结论是这个项目真正想说的那句话：第二定律不是被力学救回来的，是被信息论救回来的。熵账里必须把妖的记忆算进去。兰道尔那句 “Information is physical” 说的就是这件事。
这不只是思想实验。2012 年 Bérut 等人用光阱里的一颗胶体粒子，在双势阱中直接测到了擦除代价确实趋近 kT ln2 的下限；2014 年 Koski 等人用单电子箱做出了实际运转的西拉德引擎。kT ln2 在 300 K 下约等于 2.87 × 10⁻²¹ 焦耳，也就是 0.018 电子伏。它同时是今天每一次不可逆比特操作的能耗地板——现代芯片离这个地板还差四到五个数量级，但那是一堵物理的墙，不是工程的墙。
这里的"熵"是粗粒化熵。 它只是宏观态的函数——两室各有多少分子、各是什么温度。确定性哈密顿系统的细粒度 Gibbs 熵由刘维尔定理保证严格不变，所以任何号称让细粒度熵下降的模拟都是算错了。妖降低的是宏观态熵，而第二定律正是对这个量陈述的。
单位是约化的。 玻尔兹曼常数、分子质量、初始温度都取 1，所以二维下温度就等于平均动能（二维能量均分给出 ⟨KE⟩ = kT，没有 3/2 的系数）。读数表里唯一的真实世界数字是擦除释放的焦耳，那是独立乘上去的标度，不是从模拟单位换算来的。
二维、硬盘、时间步进。 碰撞是等质量弹性碰撞，用空间网格查找邻居。这套模型足以让速率分布保持麦克斯韦—玻尔兹曼形状（直方图上的曲线就是各室当前温度对应的理论分布），但它不是分子动力学，不要用它推任何定量结论。
比特是按"观测次数"计的，不是按开门次数。分界速率滑块会改变哪些分子算"快"，也就改变妖的判据；它不改变每次观测要付一个比特这件事。
这个演示不是兰道尔原理的证明。 模拟里的账本恒成立，是因为记账规则就是这么写的。真正的论证在文献里，而且它有严肃的反对者：Earman 与 Norton 在 “Exorcist XIV” 系列里指出，兰道尔原理本身是在假定第二定律成立的前提下推出的，再用它去证明第二定律不被违反，逻辑上是循环的。贝内特后来承认这个逻辑批评成立，但主张兰道尔原理仍然正确地描述了真实系统不违反第二定律的机制。Bérut 等人测到的是擦除代价的下限——这一点很硬；仍在争论的是它是否足以完整地"驱魔"。