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.
世界上最可靠的就是你自己。
爱就是接受对方的一切。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
策展就是实践一种智识上的好客。