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

Don’t stop when you’re tired. Stop when you’re done.
不要因为累了就停下来,完成了再停下来。
Truth is so hard to tell, it sometimes needs fiction to make it plausible.
"The most important thing is to keep pushing the boundaries."
The future of computing lies in the development of systems that can verify their own correctness.
我们从未放下任何事,我们只是继续下一件事。
Happiness depends upon ourselves.