随着年龄增长，你对时间的看法会改变。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
Architecture must serve people first, then aesthetics.
良好的习惯塑造优秀的人生。
What we fear doing most is usually what we most need to do.
追求科学不仅仅是追求理解。它是追求一种来自知道我们不知道多少的智慧。
问题的根本原因在于，在现代世界中，愚蠢的人总是自信满满，而聪明的人却充满怀疑。
I'm not a person who likes to be in the background.
【译文】一年的计划应在春天里做好，一天的计划应在黎明时分做好，一个家庭最宝贵的是和睦，一个人一生要有所成就必须勤劳。