To me programming is more than an important practical art. It is also a gigantic undertaking in the foundations of knowledge.
The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
幸福的秘诀是:尽量扩大你的兴趣范围,对感兴趣的人和物尽可能友善。
圣人不期望完全效法古代,不墨守一成不变的旧规。