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

The only thing that makes life possible is permanent, intolerable uncertainty; not knowing what comes next.
革命是通过人类进行的,但个人必须日复一日地锻造自己的革命精神。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
对待小人态度严厉,不困难,困难的是让自己不去憎恨厌恶他们;对待君子恭敬谦逊,不困难,困难的是让自己始终以礼相待他们。
The true challenge in computer science is not just to build faster computers, but to develop smarter algorithms.
In the long run, the greatest weapon of mass destruction is stupidity.
Acting is not about being famous, it's about exploring the human soul.
I will not serve that in which I no longer believe whether it call itself my home, my fatherland or my church.