The future of computing lies in the development of systems that can verify their own correctness.
计算的未来在于开发能够自我验证正确性的系统。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
政府应当做市场的守夜人，而不是市场的参与者。
吴敬琏
夫妻相和好，琴瑟与笙簧。
周希陶
普罗克拉斯提斯之床：标准化往往带来脆弱。
塔勒布
有皱纹的地方只表示微笑曾在那儿呆过。
马克吐温
一生中，最光辉的一天并非功成名就的那一天，而是从悲叹与绝望中产生对人生挑战与勇敢迈向意志的那一天。
福楼拜
在晚酌间看成群的儿女长大成人。
丰子恺
我始终相信读过的所有书都不会白读，它总会在未来日子的某一个场合，帮助我表现得更出色。
央视金句
你必须有一个你想解决的问题；怎样把错误的都变成正确的。
史蒂夫·乔布斯
人未见形，先已闻声。
曹雪芹
内心自由独立是幸福的基石，不依赖外界肯定。
埃里克·乔根森
科学讲实证，宗教讲信不信。科学与宗教之间是哲学，在脑子里在逻辑里讨论时间和空间。科学、宗教、哲学的侧目是文学，在角落里记录人类经验，在记录的过程中抚摸时间和空间。 一个作家的第一、二本书，可能不代表他最成熟的技巧，但是基本代表了他百分之五十的文学成就，王朔飞不过《动物凶猛》，余华飞不过《在细雨中呼喊》。
冯唐
我们看到如果一个概念有自己的名字，它将会拥有的真实力量。它让该语言的使用者能够轻松而且迅速地把这个概念传播出去，这样，这个概念就会进入不同层次的公共话语，进而对个人和社会产生影响。
道格拉斯·理查·郝夫斯台特
若乃后世之诗，则亦有当代之英，气禀识趣，不同凡流。
陆九渊
真相不在光明中，而在我们不敢探索的阴影里。
"Truth is not found in the light, but in the shadows we're afraid to explore."
露西·亨特
一种信念开始衰亡的确切时刻很容易辨认——这就是它的价值开始受到质疑的时刻。
古斯塔夫·勒庞
A story is not finished until it has taken the worst possible turn.
直到故事发生了最坏的转折，它才算结束。
弗里德里希·迪伦马特
要想获得一种见解，首先需要劳动，自己的劳动，自己的第一精神，自己的实践。
陀思妥耶夫斯基
种子用秘密的钥匙把坟墓打开，我的父母永远活在风，雨和飞鸟的心中。
安赫尔·阿斯图里亚斯
失去某人，最糟糕的莫过于，他近在身旁，却犹如远在天边。
玛格丽特·米切尔