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

I strive to be a positive force in the world, through my work and through my actions.

Ideas are everywhere, but knowledge is rare.

"The most important skill for the future is learning how to learn."