The key is to set realistic customer expectations, and then not to just meet them, but to exceed them — preferably in unexpected and helpful ways.

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

在商业中，就像在生活中一样，我们做出的选择定义了我们是谁。

We don't need more icons, we need more good buildings.

人工智能中最重要的技能是学习的能力。