我不喜欢结局皆大欢喜的小说，这种小说让我沮丧不已。

你越爱自己，就越不能容忍废话。

The biggest lie we tell ourselves is “I don‘t need to write this down because I will remember it.”

The challenge in model checking is not just to find errors, but to understand why they occur.

那些能够忍受命运最糟糕打击的人，往往是最坚强的人。

我不是来平庸的，我是来惊艳的。

伟大的事情总是简单,最伟大的事情只有一个词:自游,正义,荣誉,责任,仁慈,希望。