经历一番挫折，才能增长一分见识；经过一些番磨难，才能增一分度量；省一分利益的经营，而多一分道义；能学一分退让，可得一分便宜；去掉一分享受则减少一分罪过；对事物多一分认识，而多一分物情。

身体是一个战场，每一道伤疤都讲述着一个故事。

Men trust their ears less than their eyes.

The challenge in model checking is not just to find errors, but to understand why they occur.

写作就是在不被中断的情况下说话。

对认可的渴望，灵魂中的激情部分，是人性中最基本的部分。