Don't feel stupid if you don't like what everyone else pretends to love.

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

"我不害怕死亡，我害怕生活。"

有些人不喜欢变革，但如果不这么做的后果是灾难性的，你应当拥抱变革。

一个人格就是一场完整的演说家和压力集团的集会，有儿童、煽动者、共产主义者、孤立主义者、战争贩子、骑墙派、贪污者、祈祷者、冒险家和职员；每一个都只占一席之地。