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

失败不是必要的恶。事实上,它根本不是恶。它是做新事物的必然结果。
Failure isn’t a necessary evil. In fact, it isn’t evil at all. It is a necessary consequence of doing something new.
The only thing that can make you a hero is your courage.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
The dirty little secret is that you don’t have to be a nice person to be a great artist.
任何认真从事任何科学工作的人都会意识到,在科学殿堂的大门上方写着这样的文字:你必须有信仰。