生命短暂，但如果我们活得正确，一次就足够了。

The true investor is in a position to take advantage of the market's recurrent and inevitable mistakes.

Baidu's mission is to make the complex world simpler through technology.

形式化方法的美在于它们能够提供关于系统行为的绝对保证。

我不相信灵感，我相信努力。