以往的事过去了便不再重提，现在的事做一件有一件的功劳，未来的事情省一件便省去许多麻烦。

Writing is an act of freedom, a way to break the chains that bind us to the mundane.

Every man is guilty of all the good he did not do.

λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。

I don’t want to be remembered just for my titles, but for the way I played the game.

凡事要有节制，一生便不会因不恰当的行为而蒙受羞耻。