Technology should solve real problems, not just create new toys.

"The mind is what the brain does."

λ演算本质上是一个关于函数及其应用的理论。

When you start with a new team, you start from zero. No matter what you achieved in the past.

To feed the world, we must first understand the soil beneath our feet.

我几乎一无所知。但对很多事情都心存疑虑。