有两种类型的公司,一种是为提高价格而工作的公司,一种是为降低价格而工作的公司,我们将成为第二种。 
We must balance short-term performance with long-term value creation for all our stakeholders.
The future of computing lies in the development of systems that can verify their own correctness.
Great engineering solves problems you didn't know you had in ways you don't understand.
真正的力量来自于脆弱和做自己的勇气。
解释:依据自己的能力去做事,把握最佳时机采取行动。
过去总是紧张的,未来是完美的。