世人不问愚智，皆欲识人之多，见事之广，而不肯读书，是犹求饱而懒营馔，欲暖而惰裁衣也。
出自北齐·颜之推《颜氏家训·勉学》。不管是愚人还是聪明人，总想自己见多识广，但不肯读书，这就等于想吃饱饭却懒得做饭，想穿暖却懒得缝制衣服。
"Write what should not be forgotten."
为了成功，你必须愿意失败。
The most exciting moments in mathematics are when you see connections between things that seemed unrelated before.
我为我的声音而战，我赢了。
质量不是一个部门，而是一种生活方式。
我在追逐伟大。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
爱不是原因，而是结果。