History lives in us, whether we learn it or not.

"The most courageous act is still to think for yourself. Aloud."

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

预测未来的最好方式就是创造未来。

谈学习

λ演算的基本概念是函数，被视为一种对应规则。