The future of computing lies in the development of systems that can verify their own correctness.
计算的未来在于开发能够自我验证正确性的系统。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
因为人想活着，说到底是这么回事，人真正的名字叫做：欲望。
史铁生
因为爱你，我更自爱。因为爱你，我知道我存在。因为爱你，我在成长。因为爱你，我对快乐和痛苦都有了深刻的感受。因为爱你，我才知道人生有许多无法满足的事。
张爱玲
人不到山里去，不到水里去，那真是活得冤枉。
张晓风
当你们说有利于他的谎话时，他就相信你们：因为在内心最深处，他叹息道：“我就是这样的啊！”
尼采
即使上帝也只不过是神性的躯壳。
约瑟夫·谢林
对别人的恭维，不过是婉转地表达对自己的赞美。
卡耐基
外婆答应了的事什么时候没做到的？
伍剑
与新老朋友相交时，都要诚实可靠，避免说大话。要说到做到，不放空炮，做不到的宁可不说。
鲁迅
对过失的关注并不意味着我们在诋毁人类智慧，这就如同关注疾病并非否定健康一样。
丹尼尔·卡尼曼
我们都应该拓展对自我的认定，不要让贴在身上的标签成为个人发展的限制，而应是积极的发辉自己的优势。
安东尼·罗宾
农业的真正进步来自于技术与传统的平衡。
True progress in agriculture comes from balancing technology with tradition.
休·格兰特
竽瑟狂会，搷鸣鼓些。宫庭震惊，发激楚些。
屈原
最好的想法往往来自最意想不到的地方。
The best ideas often come from the most unexpected places.
马克·卡瓦列罗
管理不是控制，而是激发每个人的潜能。
吴十
The best way to predict the future is to invent it.
预测未来的最好方式就是去创造它。
约翰·古迪纳夫
光阴迅速，时序更迁。刹那刹那，一念不住。此殆造物出广长舌，普为尔我一切众生说人命无常，荣华不久，急寻归路，免受沉沦之无上妙法耳。今幸得此大丈夫身，又闻最难闻之净土法门。敢将有限光阴，为声色货利消耗殆尽。令其仍旧虚生浪死，仍复沉沦六道，求出无期者乎？直须将一个死字，挂到额颅上。
印光法师
在牛棚里待了十年之后，我有责任揭露这个惊心动魄的大骗局，并防止后代遭受苦难。当我写作时，我思考，我探索，我写得越多，我感到越严肃和痛苦。
巴金
在KPL的舞台上，没有永远的王者，只有不断超越的自己。
妖刀
我命由我不由天，天欲灭我我灭天。
天蚕土豆