Success is not about the destination, it's about the journey.
平庸的标志不是不愿意改变。平庸的标志是长期的不一致。
暴君死了，他的统治结束了；殉道者死了，他的统治开始了。
Will you be a cynic， or will you be a builder？
The challenge in model checking is not just to find errors, but to understand why they occur.
物理学家必须有一种信念，即自然之书是用一种他可以学会阅读的语言写成的。
We stopped looking for monsters under our bed when we realized that they were inside us.
The deepest principle in human nature is the craving to be appreciated.
我的成功是因为我有一个好家庭。
In the stillness of being, the answers come.