"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
哪里有贫困，哪里就有我。
切格瓦拉名人名言哲理格言警句语录 切格瓦拉
我们应该有恒心，尤其是要有自信心，必须相信自己是有能力的，而且要不惜任何代价把这种能力发挥出来。
居里夫人名人名言哲理格言警句语录 居里夫人
预测未来的最好方式就是去创造未来。
The best way to predict the future is to create it.
罗伯特·布朗名人名言哲理格言警句语录 罗伯特·布朗
我觉得一个好的旁白，它根本就不是上帝观，它就是老老实实沿着一个人的视角往前走。
管虎名人名言哲理格言警句语录 管虎
不要离开幻想，一旦幻想消失，你也许可以继续安在，但生活将从此和你无缘。
马克吐温名人名言哲理格言警句语录 马克吐温
在数字化时代，企业最大的风险是不冒险。
马化腾名人名言哲理格言警句语录 马化腾
当你不只为寻求利益时，反而会获得快速发展。
埃里克·乔根森名人名言哲理格言警句语录 埃里克·乔根森
今者违命，胜不足多，若其不胜，为罪已重。
司马光名人名言哲理格言警句语录 司马光
人在孤立状态下无法正常成长，人需要真正的人际接触。
菲利帕·佩里名人名言哲理格言警句语录 菲利帕·佩里
思想打破生活的平淡无奇。
苏珊·桑塔格名人名言哲理格言警句语录 苏珊·桑塔格
生活并不是个悲剧。它是个“搏斗”。
巴金名人名言哲理格言警句语录 巴金
我本是农家子弟，我本应该成为，迷雾退去的河岸上，年轻的乡村教师。
海子名人名言哲理格言警句语录 海子
没有书籍，就不能打赢思想之战，正如没有舰就不能打赢海战一样。
罗斯福名人名言哲理格言警句语录 罗斯福
大部分的人都有部分长处部分短处，好像大象食量以斗计，蚂蚁一小勺便足够。各尽所能，各得所需，以量才而用为原则；又像一部机器，假如主要的机件需要用五百匹马力去发动，虽然半匹马力与五匹马力相比是小得多，但也能发挥其一部分作用。
李嘉诚名人名言哲理格言警句语录 李嘉诚
社会规则若否定人性，便会制造痛苦。
维吉尼亚·萨提亚名人名言哲理格言警句语录 维吉尼亚·萨提亚
健康的我们会令人生畏。
字母哥名人名言哲理格言警句语录 字母哥
"Cinema is a way of expressing the inexpressible."
电影是一种表达无法表达之物的方式。
努里·比格·锡兰名人名言哲理格言警句语录 努里·比格·锡兰
很多人间执念我们无法理解，但不代表那些痛苦就不存在。
马伯庸名人名言哲理格言警句语录 马伯庸
活在自然美景之中，人就懒，懒就善。
木心名人名言哲理格言警句语录 木心