将公司本身视为需要迭代优化的产品

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

把仁心存在自己心中是先贤的最高学问，行为中尽自己的本分是圣贤的最高功夫。

每一个人都有自己的星星，但其中的含意却因人而异。对旅人而言，星星是向导；对其他人而言，它们只不过是天际中闪闪发光的小东西而已；对学者而言，星星则是一门待解的难题；对我那位商人来说，它们就是财富。不过，星星本身是沉默的。你——只有你——了解这些星星与众不同的含义。

Innovation is at the heart of what we do. It's how we meet the world's growing energy needs while reducing our environmental footprint.

Future computing will be more inclusive, allowing everyone to enjoy the benefits of technology.

"We are all haunted by the ghosts of our younger selves."

现有的东西本身就是一种资源

Overcome the notion that you must be regular. It robs you of the chance to be extraordinary.

经济增长和环境责任之间的平衡是我们这个时代的决定性挑战。