"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
一个自由的灵魂的一生，就是在这个世界上随意地行走，既没有目的地，也没有方向。一生所拥有的，只是一些路上的经验和感受。
李银河名人名言哲理格言警句语录 李银河
虽不能至，心向往之。
司马迁名人名言哲理格言警句语录 司马迁
我认为，倘若阿拉伯国家不承认以色列的存在，以色列不会撤退到安全的边境内。
曼德拉名人名言哲理格言警句语录 曼德拉
回忆这东西若是有气味的话，那就是樟脑的香，甜而稳妥，甜而怅惘，像忘却了的忧愁。于是，便学会忘记，忘记回忆。偶然间，在人海种下因缘。经年去此时候，遇见了你。
张爱玲名人名言哲理格言警句语录 张爱玲
知人者智，自知者明；胜人者有力，自胜者强。
老子名人名言哲理格言警句语录 老子
唱歌不是为了取悦别人，而是为了表达自己。
黄绮珊名人名言哲理格言警句语录 黄绮珊
站在一旁与完全参与之间的张力；这就是造就作家的原因。
The tension between standing apart and being fully involved; that is what makes a writer.
纳丁·戈迪默名人名言哲理格言警句语录 纳丁·戈迪默
政治学的使命不仅是解释世界，更重要的是改造世界。
陈明明名人名言哲理格言警句语录 陈明明
我们长期努力保持不做傻事，所以我们的收获比那些努力做聪明事的人要多得多。
查理·芒格名人名言哲理格言警句语录 查理·芒格
我离开是因为生活像勒紧的衬衫领，让我感到窒息。
西尔万·泰松名人名言哲理格言警句语录 西尔万·泰松
回头看看，发现原来世界可以很大，可以做的事情那么多，可以遇见的人也那么多。后知后觉，外面的世界好看多了。
杨幂名人名言哲理格言警句语录 杨幂
白璧微瑕的美，比无瑕更触动人心弦。
中村恒子名人名言哲理格言警句语录 中村恒子
自恋的极端形式就是自恋者以自我为中心，认为世界和他人只为他们而存在。
欧文·亚隆名人名言哲理格言警句语录 欧文·亚隆
乔布斯觉得这个软件很酷，但是大多数消费者觉得这种功能可有可无。乔布斯的激情误导了自己，Showplace就是一个例证：该软件拥有如此多神奇的功能，但却缺少乔布斯一向要求的简单性。皮克斯无法与Adobe公司竞争，后者做的软件并不像Showplace那样高级，但更简单，也更便宜。
沃尔特·艾萨克森名人名言哲理格言警句语录 沃尔特·艾萨克森
"The principles of a free society are essential for human progress and prosperity."
自由社会的原则对于人类进步和繁荣至关重要。
查尔斯·科赫名人名言哲理格言警句语录 查尔斯·科赫
Speak confidently as if you are right， but listen carefully as if you are wrong.
以“我是对的”那样充满自信地讲话，但要以“我是错的”那样去聆听。
凯文·凯利名人名言哲理格言警句语录 凯文·凯利
我独不解中国人何以于旧状况那么心平气和，于较新的机运就这么疾首蹙额；于已成之局那么委曲求全；于初兴之事就这么求全责备？
鲁迅名人名言哲理格言警句语录 鲁迅
真正的人类美德，是在知道生活真相后依然热爱它。
米兰·昆德拉名人名言哲理格言警句语录 米兰·昆德拉
The knowledge of the universe is within us.
宇宙的知识就在我们体内。
毕达哥拉斯名人名言哲理格言警句语录 毕达哥拉斯