Leadership is about making others better as a result of your presence and making sure that impact lasts in your absence.

We don't ever let go of anything, we just go on to the next thing.

我意识到，争取女性权利常常变成憎恨男性的同义词。这种情况必须停止。

判断两个λ表达式是否等价的问题是无法解决的。

化用李商隐诗句，表达乐观豁达的人生态度。