经历一番挫折,才能增长一分见识;经过一些番磨难,才能增一分度量;省一分利益的经营,而多一分道义;能学一分退让,可得一分便宜;去掉一分享受则减少一分罪过;对事物多一分认识,而多一分物情。
身体是一个战场,每一道伤疤都讲述着一个故事。
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.
写作就是在不被中断的情况下说话。