工作的乐趣在于一个词——卓越。知道如何做好一件事就是享受它。

今天对自由民主最严重的威胁不是来自共产主义或法西斯主义等敌对意识形态，而是来自内部——来自民粹主义的兴起和民主规范的侵蚀。

I'm not a politician. I'm just a guy who wants to make music and have fun.

医学的未来在于针对个体需求的个性化治疗。

I tell you that virtue is not given by money，but that from virtue comes money.

The poverty of our century is unlike that of any other. It is not, as poverty was before, the result of natural scarcity, but of a set of priorities imposed upon the rest of the world by the rich.

模型检查是验证硬件和软件系统正确性的强大工具。