互联网的未来不仅仅是技术，而是它如何为人类服务。

渔业中最宝贵的资源不是鱼，而是负责任捕捞的智慧。

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

我不会打桥牌。我不打网球。所有那些人们学习的东西，我都很钦佩，但似乎没有时间。但有的是时间看窗外。

灵魂被放置在身体里，就像一颗粗糙的钻石，必须经过打磨，否则它的光泽永远不会显现。

The fragility of banks is a direct consequence of their role as liquidity providers.

预测未来的最好方法就是创造未来。