Great leaders don't create followers, they create more leaders.

The most important property of a program is whether it accomplishes the intention of its user.

计算理论的美在于其抽象和概括的能力，将具体问题转化为通用解决方案。

所有生而为人者都需要教育，因为他们注定要成为真正的人，而非野兽、愚钝的动物或木头。