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

每个人都有自己的故事,每个故事都值得被倾听。
一个好故事的力量在于它能将你带到另一个地方,另一个时间,让你感觉自己是一个更大事物的一部分。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
The true test of leadership is not what you do when you're being watched, but what you do when you're alone.
我们无法选择自己的命运,但我们可以选择如何面对它。
"Character is more important than personality."
The best thing about a boolean is even if you are wrong, you are only off by a bit.
说话不符合事实,是一种罪过