计算的未来在于开发能够自我验证正确性的系统。
The future of computing lies in the development of systems that can verify their own correctness.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
金钱，是由人类的“感恩”与“爱”所形成的能量体，能量不喜欢停滞。所有的能量都必须流动，你才能运用能量。
小池浩
我唯一害怕的是被遗忘。
The only thing I'm scared of is being forgotten.
The Weeknd
失去远见的人不是那些没有达到目标的人，而是那些经常溜走的人。
拉罗什富科
愿中国青年都摆脱冷气，只是向上走，不必听自暴自弃者流的话。能做事的做事，能发声的发声。有一分热，发一分光，就令萤火一般，也可以在黑暗里发一点光，不必等候炬火。此后如竟没有炬火：我便是唯一的光。倘若有了炬火，出了太阳，我们自然心悦诚服的消失，不但毫无不平，而且还要随喜赞美这炬火或太阳；因为他照了人类，连我都在内。我又愿中国青年都只是向上走，不必理会这冷笑和暗箭。
鲁迅
The quality of an organization's focus determines the quality of its results.
一个组织的专注质量决定了其结果的质量。
菲利浦·克劳士比
The price one pays for pursuing any profession, or calling, is an intimate knowledge of its ugly side.
追求任何职业或使命的代价是对其丑陋面的深入了解。
詹姆斯·鲍德温
只有通过空间，时间才成为有限的；只有通过时间，空间才成为有限的。
约瑟夫·谢林
要经历多久的忍耐才能把彻骨的悲伤化作自我调侃
桐华
成功的关键在于找到自己的兴趣和天赋的结合点。
李开复
常羡人间琢玉郎。天教分付点酥娘。尽道清歌传皓齿。风起。雪飞炎海变清凉。万里归来颜愈少。微笑。笑时犹带岭梅香。试问岭南应不好。却道。此心安处是吾乡。
苏轼
我不想仅被记住是一名球员，而是一个激励他人的人。
I don’t want to be remembered just as a footballer, but as a person who inspired others.
罗纳尔多
价格管制有些成本比较隐蔽，不容易被人们发现。
托马斯·索维尔
念念有如临敌日，心心常似过桥时。
周希陶
凡是决心取得胜利的人是从来不说“不可能的。
拿破仑
好施舍的，必得丰裕；滋润人的，必得滋润。
巴尔塔沙·葛拉西安
生命妈的太短了，比小鸡鸡还短，在街上瞧见过几十个好看的姑娘，摸过几只柔软的手，看过二十来界世界杯和奥运会，开坏三四辆车，睡塌一两张床，喝掉六千瓶啤酒和五百瓶五粮液，用光一千多管牙膏和手纸，挣几百万再花掉几百万，你我就无疾而终，尘归尘土归土，乌龟王八鳖。我要是装置艺术家或者行为艺术家，我就把一间小房子搭进美术馆，放满一千多管牙膏和手纸，题目叫做，人生的战略规划，用尽这些牙膏，就没牙可刷了，用尽这些手纸，就没屁股可擦了。
冯唐
当我们将行为视为习惯时，改变变得更加容易。
凯利·麦格尼格尔
As we delve deeper into the quantum world, we find that topology is not just a mathematical curiosity, but a fundamental aspect of nature.
随着我们深入量子世界，我们发现拓扑不仅仅是数学上的好奇，而是自然界的一个基本方面。
查尔斯·凯恩
我不会定义成功，可我会定义失败，放弃就是失败。
马云