Have a heart that never hardens, and a temper that never tires, and a touch that never hurts.

永远不要在质量上妥协——你的品牌只和你最弱的产品一样强大。

The only thing that makes life possible is permanent, intolerable uncertainty; not knowing what comes next.

我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。

快乐不是因为拥有的多，而是计较的少。