我们必须始终质疑我们的假设，并愿意根据新的证据修订我们的理论。

The past is never dead. It's not even past.

The only way to learn a new programming language is by writing programs in it.

The study of computation is essential to understanding the limits of what can be computed.

To teach how to live without certainty and yet without being paralyzed by hesitation is perhaps the chief thing that philosophy， in our age， can do for those who study it.