如果人们有时不做愚蠢的事情，就不会有聪明的事情发生。
If people did not sometimes do silly things, nothing intelligent would ever get done.
模型检查是验证有限状态并发系统正确性的强大技术。
债券市场是世界上最重要的市场。
爱是世界上最强大的力量。
The goal of computation is the emulation of our synthetic abilities, not the understanding of our analytic ones.
"相机能看到眼睛看不到的东西。"
I don’t focus on the score, I focus on the process.