The defining characteristic of pessimists is that they tend to believe bad events will last a long time, will undermine everything they do, and are their own fault.

事实是，除非你放手，除非你原谅自己，除非你原谅这种情况，除非你意识到这种情况已经结束，否则你无法前进。

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

神话是历史选择的一种言语：它不可能从事物的“本质”中演化出来。