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

I do not feel obliged to believe that the same God who has endowed us with sense, reason, and intellect has intended us to forgo their use.
我不觉得有义务相信,那位赋予我们感官、理性和智力的上帝,会希望我们放弃使用它们。
I don't follow the path. I create it.
The challenge in model checking is not just to find errors, but to understand why they occur.
He who wants to do good knocks at the gate;he who loves finds the gate open.
We have to continually be jumping off cliffs and developing our wings on the way down.
I don’t want to be compared to anyone. I want to make my own history.