The future of computing lies in the development of systems that can verify their own correctness.
计算的未来在于开发能够自我验证正确性的系统。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
伟大是许多小事做好的结果。
"Greatness is a lot of small things done well."
T.I.名人名言哲理格言警句语录 T.I.
爱，之于我，不是一饭一蔬；不是肌肤之亲；是平凡生活中的英雄梦想；是一种不老不死的欲望。
玛格丽特·米切尔名人名言哲理格言警句语录 玛格丽特·米切尔
我们的梦想必须足够宏大，这样，在追寻的过程中，她才不会消失。
王尔德名人名言哲理格言警句语录 王尔德
美出自某种没有意识到的真实性和高尚情操，丝毫没有半点装点门面的想法；要产生此类附加的美，先要有同样未意识到的生命之美。
梭罗名人名言哲理格言警句语录 梭罗
我不是说唱歌手，我是一个名人堂成员。
I'm not a rapper, I'm a Hall of Famer.
艾米纳姆名人名言哲理格言警句语录 艾米纳姆
Happiness is a state of mind. It's just according to the way you look at things.
华特·迪士尼名人名言哲理格言警句语录 华特·迪士尼
意识是适应的前沿。
Consciousness is the cutting edge of adaptation.
马克斯·维斯塔潘名人名言哲理格言警句语录 马克斯·维斯塔潘
吾不如者，吾不与处，累我者也。与我齐者，吾不与处，无益我者也。惟贤者，必与贤于己者处，贤者之可得与处也，礼之。主贤世治，则贤者在上。主不肖世乱，则贤者在下。
曾国藩名人名言哲理格言警句语录 曾国藩
为了使灵魂平静，一个人每天要做两件他不喜欢的事。
毛姆名人名言哲理格言警句语录 毛姆
我不是青少年，我是女王。
I'm not a teen, I'm a queen.
Lady Gaga名人名言哲理格言警句语录 Lady Gaga
我这个人不是用脑袋，而是用心灵拍电影的，所以也希望观众们用心灵来看电影。
黑泽明名人名言哲理格言警句语录 黑泽明
有不满，克服它；暂时做不到？避开它，另起炉灶，不发牢骚，不谩骂，不眼红人家。
亦舒名人名言哲理格言警句语录 亦舒
悲乐者，德之邪；喜怒者，道之过；好恶者，心之失。
庄子名人名言哲理格言警句语录 庄子
我经常为我们国家和民族庆幸，就是以我的口才和煽动性，没去做邪教，(这是)国家和民族的幸事，基本上我要是搞邪教，那么李老师就得失业了。
罗永浩名人名言哲理格言警句语录 罗永浩
最聪明的投资，是不过度频繁投资。
陈润名人名言哲理格言警句语录 陈润
你不需要这个世界理解你。没关系的。有的人永远不会真的理解他们没经历过的事情，但有人会理解，要对理解你的人心怀感激。
马特·海格名人名言哲理格言警句语录 马特·海格
男人骂女人忘恩负义，是他的供应最终不能满足她，女人骂男人忘恩负义，多半是她栽培过他，后来他去栽培另一个女人。
李碧华名人名言哲理格言警句语录 李碧华
人生是共同使用的葡萄园，一起栽培，一起收获。
罗曼·罗兰名人名言哲理格言警句语录 罗曼·罗兰
姐姐，今夜我在德令哈，夜色笼罩
海子名人名言哲理格言警句语录 海子