Never let anyone tell you that you can’t do something.

数字排斥是我们这个时代最大的不平等之一。

定理是数学的永久文献。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

"Every frame should be a painting, every scene a masterpiece."

The best way to be happy is to let go of what you can’t control.

学习某样东西的最好方法就是把它教给别人。