对付一个不自由的世界的方法，就是变得如此绝对自由，以至于你的存在本身就是一种反抗。

Leadership is not about being in charge, it's about taking care of those in your charge.

You can't please everyone, so just be yourself.

小说不是社会的镜子，而是一扇窥视人心的窗户。

诗歌是灵魂的语言，是无形之物的声音。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

I love working on shots and trying to find new shots.

The best way to think about a program is to think about it.

宇宙、天地，有它自然的运行规律，是持久不变的，不会以人的意志为转移，它既不会因为有像尧那样的仁德君主而存在，也不会因为有像夏桀那样残暴的君主而消失。顺应自然规律来治理国家，就会获得吉祥；如果违背自然规律，就会招来灾难。