"To live is to suffer, to survive is to find some meaning in the suffering."

极不切实际的梦想即使没有实际权力做后盾，一样可以让人产生最大无畏的胆气。这是因为，怀有大希望者的力量可以有最荒谬的来源：一个口号、一句话或一枚徽章。

Science is a wonderful thing if one does not have to earn one's living at it.

The past is a mirror, but we often see only what we want to see.

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

宇宙是一个自组织系统，意识是这个系统的一部分。