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

我不知道市场会怎样。我只是尽量买便宜的东西。
I don’t know what the market is going to do. I just try to buy things that are cheap.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
"The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion."
夢は、追いかけるものではなく、創り出すものだ。
我不需要理由去爱,我就是爱。
A verdadeira viagem de descobrimento não consiste em procurar novas paisagens, mas em ter novos olhos.
Don’t stop when you’re tired. Stop when you’re done.