计算的未来在于开发能够自我验证正确性的系统。
The future of computing lies in the development of systems that can verify their own correctness.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
过自己想要的生活不是自私，要求别人按自己的意愿生活才是。
王尔德
革命不是一次性的事件，而是一个过程。
佚名
能力大于欲望，你会自在。
马云
根本不必回头去看咒骂你的人是谁？如果有一条疯狗咬你一口，难道你也要趴下去反咬他一口吗？
佚名
世界上购买股票的最愚蠢的动机是：股价在上涨。
巴菲特
人之所以稍顾体面者，冀人之敬重也。
曾国藩
At this moment, I will always stay in my memory and never disappear. I will see it every day and dream about it till I die.
我在这一刻所看到的，将永远留在我的记忆里，永不消失，我会天天看到它，夜夜梦到它，直到我死。
马克吐温
Success comes from a combination of hard work, vision, and the ability to adapt.
成功来自于努力工作、远见和适应能力的结合。
詹姆斯·安德森
来如风雨，去似微尘。
佚名
不许哭，做一个大人，不管有什么事都不许哭，要硬扎一点，结实一点，方配活到这块土地上。
沈从文
一想到我的生命消逝得那么迅速，而我并不是真正地活着，我就受不了。
海明威
不管走到天涯海角，我离她都不会再远了。
刘慈欣
一个想法总是一种概括。概括是思考的特性。概括意味着思考。
黑格尔
生命的路是进步的，总是沿着无限的精神三角形的斜面向上走，什么都阻止他不得。
鲁迅
我们不是要做出好的产品，我们的目标是做出伟大的产品。
史蒂夫·乔布斯
我唯一的心愿是化作泥土，留在人们温暖的脚印里。
巴金
Scale matters because it changes how we physically relate to the work.
规模很重要，因为它改变了我们与作品的身体关系。
马克·莱基
一个人的穿着打扮，就是他的教养、品位、地位的最真实的写照。
莎士比亚
大抵西泠寒食路，桃花得气美人中。
柳如是