我对别人的事情了解得越少,我就越快乐。
The less I know about other people's affairs, the happier I am.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
最好的故事是那些在最后一页翻过后仍久久萦绕在脑海中的故事。
我不是那种会让对球场的热爱减少的人。
我们所看到或似乎看到的一切,都只是梦中之梦。
回忆是我们无法被驱逐的唯一天堂。
The most important thing in life is to stop saying 'I wish' and start saying 'I will.'
Discipline is the bridge between goals and accomplishment.