There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies.

教育的根是苦的，但其果实是甜的。

I’m not a player who’s going to dunk on you and talk trash. I’m going to dunk on you and run back on defense.

逻辑学研究不仅仅是关于形式系统，更是关于理性思维和话语的规范。