It is by no means an irrational fancy that, in a future existence, we shall look upon what we think our present existence, as a dream.

世界上最可靠的就是你自己。

爱就是接受对方的一切。

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

策展就是实践一种智识上的好客。