"Hope is a fragile thing, but it is also the most powerful force we have."
希望是脆弱的，但它也是我们拥有的最强大的力量。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
The pursuit of knowledge is a journey without end, and that's what makes it exciting.
The best architecture is both humble and heroic.
Avoid extreme ideologies because they rob you of your sanity.
穷人通过减少欲望而变得富有。
做自己的自由是只有你自己才能给予自己的礼物。但一旦你做到了，没有人能把它夺走。