The future of computing lies in the development of systems that can verify their own correctness.
计算的未来在于开发能够自我验证正确性的系统。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
社会只爱健康的聪明的，肯拼命的人，谁耐心跟谁婆婆妈妈，生活中一切都变成公事，互相利用，至于世态炎凉，人情淡薄，统统是正常的。
亦舒
我们看到的不是事物的本质，而是我们自己。
"We don't see things as they are, we see them as we are."
莫妮克·罗菲
写作是回忆，但也是遗忘。
Escribir es recordar, pero también es olvidar.
恩里克·比拉-马塔斯
最难解释的是那些每个人都决定不去看的明显事实。
The hardest thing to explain is the glaringly evident which everybody had decided not to see.
安·兰德
一个女人可以不经常做饭，但是一定要会，因为这是一项基本技能！菜做得好会给生活加分，不会做就不会生活！
孟非
从泥泞里站起来的时候不一定有人拉你一把，可只要你愿意，就算爬你也能爬出去。
金鱼酱
房地产行业需要长期主义，不能只看短期利益。
吴亚军
“他说他是头春猪，”夏洛说，“可能他真的是。不过，他非常的不讨人喜欢。他也太冒失，太吵，而且他讲的粗俗笑话也一点都不可笑。还有，他并没有你这么干净，更没你这么有礼貌。经过刚才的简短交谈，我发现我非常讨厌他。不过，威伯，考虑到他的个头和体重，他可能会是一个很难击败的对手。但如果有我帮你，你就能赢他。”
E・B・怀特
记住你即将死去是避免过多思考人生的陷阱的方法。
史蒂夫·乔布斯
坚定地向前走去，终有一天，你失去的一切都会以另一种方式回来。
弗吉尼亚·伍尔芙
对于阿里得有些投资看懂，有些投资看不懂，都很正常。其实一个投资，假设连街上买股票的老太太都能看懂的话，那麻烦就大了。战术是基本上今天做的事情大家都明白，你原来干这个，那只是战术，真正的战略，你去思考未来。
马云
永远都是想法先行。能产生超越日常事务同时又有价值的想法，这才是科学这个事业的本质行为。
万维钢
不逆命，何羡寿？不矜贵，何羡名？
列子
我自无心于万物，何妨万物常围绕。
索达吉堪布
和谁亦记得，不能容他宠坏，不要对他倚赖，感情随他出卖，若你喜欢犹大。
王菲
圣人的话，如果说远就像是在天上，如果说近就像是在地上。
二程
那些从来未听人谈论爱情的人，可能永远也不会坠入爱河。
拉罗什富科
我们必须接受批评，因为它可以帮助我们走出自恋的幻象，不至于长久在道德和知识上自我陶醉，在自恋中走向毁灭。
罗翔
生活不属于任何别人的看法，而是属于你自己的主观感受。
余华