People are not lazy. They simply have impotent goals – that is, goals that do not inspire them.

Don't bend; don't water it down; don't try to make it logical; don't edit your own soul according to the fashion. Rather, follow your most intense obsessions mercilessly.

我们持续专注于创新。

真正的领导力意味着做出今天艰难但对后代有益的决定。

If you don't fail at least 90 percent of the time, you're not aiming high enough.

翻译：尺蠖弯曲身体是为了前进，龙蛇蛰伏是为了保存自己。

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。