普鲁士是从加农炮炮弹里孵出来的。

最好的建筑是那种消失的建筑，成为生活的一部分。

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

Courage isn't the absence of fear, but the will to keep going.

The next decade will separate the companies that talk about sustainability from those that actually innovate.

银行要回归本源，做好服务实体经济的本职工作。

成功的关键是专注于目标，而不是障碍。