"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
Children are educated by what the grown-up is and not by his talk.
儿童的教养源于成人的修为而非说教。
荣格
你对它的恐惧太过了，它可能会完全摧垮你，你必须想办法摆脱，如果你想获得安心，就必须摆脱它。
赫尔曼·黑塞
高市净率，高市盈率，以及低红利率-决不与按“价值”买入相矛盾。
巴菲特
挫折是人生的财富，它能让你变得更坚强。
撒贝宁
The biggest risk is not taking any risk.
最大的风险是不冒任何风险。
瑞奇·马丁
少数人手里集中了财产，就会给人夺去；多数人到了饥寒交迫的时候，就会用武力夺取他们需要的东西。还有个小小的事实，镇压的结果徒然加强被镇压者的力量，使他们团结起来。
约翰·斯坦贝克
中国的新能源汽车产业已经实现了从跟跑到并跑，未来要领跑。
王传福
The closer one comes to the truth, the further one gets from the facts.
一个人越接近真相，就越远离事实。
诺曼·梅勒
做事要有毅力，毅力才能看到成功的曙光。
冯唐
康德的生平履历很难描写，因为他既没有生活过，也没有经历什么。
海涅
心被那神圣之火燃烧起来的人，总是想法子把他的心倾吐出来的，要把满腔的东西拿给人看的。这样的人恨不得把心掏出来放在脸上，他决不会想什么修饰打扮。
卢梭
The habits of life form the soul, and the soul forms the countenance.
生活的习惯塑造灵魂，灵魂塑造面容。
巴尔扎克
如果我总是拿自己和你比较，努力变得像你一样，那么我就是在否定我自己。因此，我在创造一种幻觉。任何形式的比较都只会导致更大的幻觉和更大的痛苦。
克里希那穆提
爱是自由的；承诺永远爱同一个女人，与承诺永远相信同一个信条一样荒谬。
Love is free; to promise for ever to love the same woman is not less absurd than to promise to believe the same creed.
雪莱
青春是美妙的；挥霍青春就是犯罪。
萧伯纳
认知决定一个人成长的方向和速度，而好奇心是所有认知的基础，也是我们探索这个世界的原动力。
周鸿祎
我想要化作夜晚，这样我才能用数千只的眼睛看着你入睡。
柏拉图
恋爱跟火同样的贪滥，同样的会蔓延，同样的残忍，消灭了监牢结实的原料，把灰烬去换光明和热烈。
钱钟书
在没有人与人交接的场合，我充满了生命的欢悦。可是我一天不能克服这种咬啮性的小烦恼，生命是一袭华美的袍，爬满了蚤子。
张爱玲