大国总是在寻找机会以牺牲对手为代价来获得权力，并主导体系。

金融创新可以成为一股强大的积极力量，但如果管理不当，也可能成为不稳定的根源。

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

如果你想走得快，就一个人走。如果你想走得远，就一起走。