—— 请按键盘 空白键 开始游戏 ——

活着就是被标记。活着就是改变,获得故事的话语,这是我们凡人真正知道的唯一庆祝。
To live is to be marked. To live is to change, to acquire the words of a story, and that is the only celebration we mortals really know.
"Books can be dangerous. The best ones should be labeled 'This could change your life.'"
To lose one parent may be regarded as a misfortune; to lose both looks like carelessness.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."