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

The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
Humility makes great men twice honourable.
The theory of computation is not just about solving problems, but also about understanding the limits of what can be computed.
我不确定自己是否相信上帝,但我相信艺术。
银行要主动拥抱变革,但坚守风险底线。
认为世界上只有一种真理,而自己正掌握着它,在我看来这是世界上所有邪恶最深的根源。
我不能选择那最好的,是那最好的选择我。
我不是时尚人士。我是反时尚的。
It has always seemed strange to me... the things we admire in men, kindness and generosity, openness, honesty, understanding and feeling, are the concomitants of failure in our system. And those traits we detest, sharpness, greed, acquisitiveness, meanness, egotism and self-interest, are the traits of success. And while men admire the quality of the first they love the produce of the second.
The beauty of quantum algorithms is that they often provide exponential speedups over classical algorithms.