The future of computing lies in the development of systems that can verify their own correctness.

译文：矮板凳坐着，才能学业有进，美好的光阴不要错过。赏析：要想获得知识，学有所成，我们必须要能忍受读书学习的寂寞和孤独。读书学习绝非一日之功，需要日积月累，需要持之以恒。

I don't know what I'm going to do next, but I'm excited about it.

"The artist is a receptacle for emotions that come from all over the place: from the sky, from the earth, from a scrap of paper, from a passing shape, from a spider's web."

最好的电影是那些给你留下更多问题而不是答案的电影。

译文：经常想到这个世上还有人的处境不如我，还有人的命运不如我，就该知足感恩了；经常想到有人的德行操守超过我，有人的学问超过我，就该感到惭愧而发愤努力了。赏析：人的欲望是无穷的，也是难以满足的。很少有人做到知足常乐。人总是喜欢和其他人对比物质方面的东西，别人有的，也希望自己有。而学问，德行，却很少有人去反躬自省。

悲剧是我割破了手指。喜剧是你掉进下水道淹死了。