爱是理解并接受对方。

学习的唯一途径就是生活。

The only way to do great work is to love what you do.

Art is the lie that enables us to realize the truth.

The study of heuristics reveals how we make quick, efficient decisions, but also how these shortcuts can lead to systematic errors.

记忆是一面镜子，它以严谨的真实性撒谎。

文明的伟大进步，无论是在建筑、绘画、科学、文学、工业还是农业领域，都从未来自中央集权的政府。

就天性而言，无论是父子兄弟以及天地万物，皆是一体存在，那一种物体与我相异，能有此观点则心性形体清楚分辨。就外在而言，不论功名富贵及身体四肢皆是躯壳，皆非我所有，有此观点，则世俗的欲念不存在。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."