计算的未来在于开发能够自我验证正确性的系统。
The future of computing lies in the development of systems that can verify their own correctness.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
我知道，无论如何，你会在不远处看着我，当我轻狂的时候，提醒我变回原来的样子；当我实在忘记了原来的样子，你就会给我看那些通向往日的路标。就像2010新年时，佛罗伦萨的钟声，跟我说就算有时自负，有时妄求，有时犯下贪婪傲慢的孽，终究，不敢忘记感恩我所拥有的，即便是我拥有的罪恶。
笛安
你永远无法真正理解一个人，除非你穿上他的鞋子走来走去，站在他的角度考虑问题。
哈珀·李
一个人的命运是由他的想法决定的，保持积极正面的想法。
曾仕强
人类会反复经历苦难，就是因为我们擅长遗忘。
萨拉马戈
苦难是最好的老师，教导我们了解自我的内心，虽然受到磨练与心碎，但我相信会让自己变成更好状态。
狄更斯
当天赋不努力时，勤奋会击败天赋。
"Hard work beats talent when talent doesn't work hard."
T.I.
我这么年轻就已经达到人生最高的境界，接着下来，除了结束自己的生命之外，我是无路可走了！
周星驰
There is no pure unconscious action in the world, so long as we are good at seeking, we can find out the reason of action from the heart.
世上并没有纯粹的无意识行动，只要我们善于去寻找，都能从内心找出行动原因。
卢梭
女儿悲，嫁了个男人是乌龟；女儿愁，绣房撺出个大马猴；女儿喜，洞房花烛朝慵起；女儿乐，一根jiba往里戳。
曹雪芹
​在这么个丰富多彩的世界上，一个人的悲哀是不会长久的。
露西·莫德·蒙哥马利
真正的强者，就是修菩萨心肠，生道家风骨，做儒家人，行法家事；真正的强者，就是走心时不留余力，拔刀时不留余地。
水木然
疯狂起来狂野起来
Get crazy get wild
LMFAO
在20世纪之前从未有人暗示过，宇宙是在膨胀或是在收缩，这有趣地反映了当时的思维风气。一般认为，宇宙或是以一种不变的状态已存在了无限长的时间，或以多多少少正如我们今天所看的样子被创生于有限久的过去。其部分的原因可能是，人们倾向于相信永恒的真理，也由于虽然人会生老病死，但宇宙必须是不朽的、不变的这种观念才能给人以安慰。
斯蒂芬·威廉·霍金
大海是船儿的陆地，黑夜是爱情的白天。
刘慈欣
如果你感觉自己在走过地狱。走着别停。
丘吉尔
雪声偏傍竹，寒梦不离家。
戎昱
地球是圆的，就像个橙子。
加西亚·马尔克斯
如果你是正确的，不要过多地争辩，把对方逼上绝路，也就断了自己的退路；如果你是优秀的，不要肆意地卖弄，别人会在你的做作中远离；如果你是痛苦的，不要逢人就倾诉，谁都有自己的烦恼，莫把朋友演绎成了陌路；如果你是寂寞的，那就在孤独中慢慢沉淀自己，人生本就根植于寂寞的土壤里。
阿诺德·施瓦辛格
你不让乡镇强大和独立，你从那里只会得到顺民，而绝不会得到公民。
阿历克西·德·托克维尔