The future of computing lies in the development of systems that can verify their own correctness.
计算的未来在于开发能够自我验证正确性的系统。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
如果你不想再为自己和他人创造痛苦，不想再增加你心中过去的痛苦。那么请你不要再创造时间，或者至少不要创造除了做必要事情之外的时间。
埃克哈特·托利
预测未来的最好方法是创造未来。
"The best way to predict the future is to invent it."
萨蒂亚·纳德拉
你若是爱千古，你应该爱现在；昨日不能唤回来，明日还是不实在；你能确有把握的，只有今日的现在。
爱默生
Peace is not merely the absence of war, but the presence of justice, of law, of order—in short, of government.
和平不仅仅是战争的缺席，而是正义、法律、秩序的存在，简而言之，是政府的存在。
亨利·华莱士
过去并未死去，它甚至还未过去。
The past is not dead, it is not even past.
汤姆·麦卡锡
舍己为人，为国为民。
弘一法师
高雅不是装出来的，孙子才是装出来的。
郭德纲
与你相识是一种缘，与你相恋是一种美，与你相伴是一种福，我愿和你相伴到永远！
林徽因
孩子不是一个物品，而是你生命中的一个重要的人，他可能需要依赖你二十年，他不单只是改变你原本生活的催化剂。
菲利帕·佩里
否定我们人类的自由意志、把人看作机器一样的存在，这是弗洛伊德式的原因论。但阿德勒心理学认为，生活方式是自己主动选择的结果。
岸见一郎
The best way to predict the future is to invent it.
预测未来的最好方法就是发明它。
迈克尔·斯通布雷克
在一秒钟内看到本质的人和花半辈子也看不清一件事本质的人，自然是不一样的命运。只有聪明人才能活到最后。
马里奥·普佐
我看清了，我们所有活着的人，都只不过是空幻的影子，虚无的梦。
索福克勒斯
债券市场是最终的真相讲述者。
The bond market is the ultimate truth-teller.
比尔·格罗斯
老翁逾墙走，老妇出门看。
杜甫
听从命运之人，将不再有榜样和理想，没有爱，也不得安慰！但这才是人该走的路。你我这样的人注定孤独。但我们拥有彼此，有秘密的方式作为补偿，去另辟蹊径，去反抗，去追求不凡。但是，要走上命运之路，就必须连这些也放弃，就不会成为革命者，成为榜样和殉道者。走上命运之路，超乎想象。
赫尔曼·黑塞
所有真实的故事都是关于对立面的相遇。
"All true stories are about the meeting of opposites."
阿里·史密斯
慷慨常常只是一种伪装的野心，它是为了得到更大的利益而假装蔑视那些小的利益。
拉罗什富科
路漫漫其修远今，吾将上下而求索。
屈原