在商业中，你必须愿意承担风险，但必须是经过计算的风险。
最好的政策是那些比政治任期更持久的政策。
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
It is not a language's weakness but its strengths that control the gradient of its change: Alas, a language never escapes its embryonic sac.
If you've never tried, how will you ever know if there's any chance?
My job as a leader is to make sure everybody in the company has great opportunities, and that they feel they’re having a meaningful impact and are contributing to the good of society.