The world always seems brighter when you've just made something that wasn't there before.

我不是榜样，我只是一个普通人。

我们都是自己过去的侦探。

In the world of computation, complexity is not an enemy, but a challenge to be understood and mastered.

I'm not here to be perfect, I'm here to be real.

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

“诚”没有不可以打动的东西，如果用在了修身智商，这行可以使得道德变得更加高尚。如果用在处理事情上面，就能够将事情做好。