The world owes all its onward impulses to men ill at ease; the happy man inevitably confines himself within ancient limits.

λ演算本质上是一种纯粹抽象的函数理论。

Success is not about the money, it's about the happiness.

I used to walk down the street like I was a star... I want people to walk around delusional about how great they can be - and then to fight so hard for it every day that the lie becomes the truth.