The aim of education should be to teach us rather how to think, than what to think—rather to improve our minds, so as to enable us to think for ourselves, than to load the memory with thoughts of other men.

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

最终，所有的故事都是关于爱与失去、希望与绝望、生与死。

我希望在即将到来的这一年里，你会犯错误。因为如果你在犯错，那么你就是在创造新事物，尝试新事物，学习，生活，推动自己，改变自己，改变你的世界。