The future of computing lies in the development of systems that can verify their own correctness.
计算的未来在于开发能够自我验证正确性的系统。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
我们都接受，一定是彼此不够成熟，在爱情里分不了轻重诚实得过了头，不能退后也无法向前走。
梁静茹
让我们一起倾听自己的“心音”，将撰写教育随笔变成一种习惯和本能，在文字中感受生命拔节的畅快吧！
陈秋中
每一处空白都是打破预期的机会。
Every blank space is an opportunity to disrupt expectations.
汤姆玛
虚荣总是建立在我们相信自已是受人注意和被人赞许的基础上。
亚当·斯密
我毫不怀疑，时间是最能甄别出优劣的。
梭罗
伟人并不意味着要比常人欲寡德高，而在于他们有最远大的抱负。
拉罗什富科
追求真理比占有真理更加难能可贵。
爱因斯坦
你总会有自己的问题。 但是请记住，当您承担一些有意义且有意义的事情时，小孩子就不会那么重要了 改变生活 作为一个对他人有所作为的人。
马克·维克多·汉森
建筑始于地面，伸向天空。
Architecture begins with the ground and reaches for the sky.
保罗·门德斯·达·洛查
有这个梦想的时候，其实有的动作就变形了。如果把上市当成一个目的，很多东西你就要妥协，比如要签各种协议、对赌或者回购等条款。
耿乐
You have to accept that sometimes you are the pigeon, and sometimes you are the statue.
你必须接受有时你是鸽子，有时你是雕像。
迈克尔·舒马赫
能源独立是任何主权国家的战略优先事项。
Energy independence is a strategic priority for any sovereign nation.
伊戈尔·谢钦
行业霸主总有衰老的一天，但它们会因为什么、会在何时衰落，这就是创业的机会。
雷军
我们在买公司的时候也是这个思维方式，我们想买自己愿意永远持有的公司，我们现在找不到很多这样的公司。我刚开始做投资的时候，找到的投资机会特别多钱很少，在发现了更便宜的股票之后，为了买下来总是要从手里的股票中挑一个最不看好的卖出去。
巴菲特
一个真正具有世界意义的时刻——一个人类的群星闪耀时刻出现以前，必然会有漫长的岁月无谓地流逝。
斯蒂芬·茨威格
若要生活愉快非得把自己踩成一块地毯不可，否则总有人来替天行道，挫你的锐气，与其待别人动手，不如自己先打嘴巴，总之将自己毁谤得一钱不值，别人的气也就平了，也就不妒忌了。
舒婷
在生活中，如果你正确选择了你的英雄，你就是幸运的。我建议你们所有人，尽你所能地挑选出几个英雄。
巴菲特
.人文主义经济：顾客永远是对的；人文主义美学：看的人觉得美就是美；人文主义伦理：感觉对了，就做吧；人文主义教育：为自己想。
瓦尔·赫拉利
科学的事业是集体的事业，不是个人英雄主义所能完成的。
竺可桢