El tiempo no pasa, somos nosotros quienes pasamos a través de él.
时间不会流逝，流逝的是我们穿越时间的我们。
The best stories are the ones that haunt you.
最可持续的森林是在保持其生态完整性的同时为人们提供价值的森林。
The future of computing lies in the development of systems that can verify their own correctness.
Writing is about making something seem real, not about making it real.
译文：去偷窃终究是瞒不过家乡的人，偷吃食物瞒不过舌头和牙齿。赏析：人做坏事迟早都会被大家知道，可以瞒得住一时，不能瞒得住一世。
In mathematics, as in life, the most elegant solutions often arise from a deep understanding of the problem.