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

那些‘基业长青’的公司也必须‘为变革而建’。

你给予的越多，回报给你的就越多。

The best products come from a combination of passion and precision.

世界是一个没有结局的故事。

每个爱情故事都是伪装成幽灵的故事。

我不是市场计时者。我是价值投资者。

Transparency builds trust, and trust builds brands.

Facts are stubborn things; and whatever may be our wishes, our inclinations, or the dictates of our passion, they cannot alter the state of facts and evidence.