理解我们的世界
有没有可能写出物理世界的状态，物理世界是确定的还是非确定的？
- 经典物理认为是确定的（上帝不掷骰子
- 量子物理认为不确定（测不准、、、
将物理世界建模成基本粒子的运动，
细胞自动机
Game of Life 可以在这个模型上严肃地定义很多概念：预测未来、时间旅行…… 成为你理解物理 (和计算机) 世界的参考
时间旅行：（Record & Replay）
程序调试时如果step过了就必须重新开始，可不可以倒着step呢？
- 记录每一次操作的状态，向后step时直接替换
- 只需要记录每一次操作的状态的变化，反着执行（gdb隐藏功能
代码验证工具
- 看看你的并发对不对：model checker