Leadership is about inspiring others to achieve what they thought was impossible.

He allowed himself to be swayed by his conviction that human beings are not born once and for all on the day their mothers give birth to them, but that life obliges them over and over again to give birth to themselves.

行动是恐惧的解药。

The past is never really past; it lingers in the corners of our lives.

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

广义相对论已经通过了我们所有的测试，甚至在超大质量黑洞附近也是如此。

时间不会流逝，流逝的是穿越时间的我们。