The very important thing you should have is patience.

I'm not a victim. I'm a survivor.

想要移山的人，先从搬走小石头开始。

Time is a thief, but memory is a liar.

天文学的历史是一部视野不断退却的历史。

The fact remains that getting people right is not what living is all about anyway.

"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

抛弃不必要的欲望，你就能找到真正的自由。