模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
未来属于那些愿意适应和进化的人。
唯一把我们和动物区分开的是我们装饰自己的能力。
在热闹繁华中如果能够保持理性,才不至于迷失,也就省去了许多徒慕虚荣的苦心;困境中,在人生的低谷期,若能保持一份乐观,才会有一番更为真切的人生感悟。
To understand art is to understand life.
永远不要让世界上任何人告诉你不能做真正的自己。
小说是一面镜子,反映了人性和社会的复杂性。
你必须相信自己,即使别人不相信你。
我们唯一真正受到惩罚的谎言,是我们对自己说的那些。