最好的银行服务是无形的，但随时可用。

The future of computing lies in the development of systems that can verify their own correctness.

Diplomacy is not about passively adapting to change, but actively shaping change.

什么也不做是世上最难的事情，最困难并且最智慧。

The more you're in the state of flow, the more you'll develop skills, the more you'll achieve, and the more you'll feel good about yourself.

事实是，我们直到看到它才知道自己想要什么。

我们很早就认识到，聪明人会做非常愚蠢的事情，我们想知道为什么，是谁，这样我们就能避免这些事情。