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

I think the most important thing is to have a good story and to tell it well.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
人类的选择在于自由和幸福之间,而对于大多数人来说,幸福更好。
"The whole world is a series of miracles, but we're so used to them we call them ordinary things."