"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
The actions of men are the best interpreters of their thoughts.
人的行动是他们思想的最好诠释者。
约翰·洛克
不论哪家的新娘子离开家总是要哭一场的。
川端康成
The idea is not to live forever, it is to create something that will.
目标不是永远活着，而是创造一些能够永存的东西。
理查德·布兰森
人生的最终目标是成为快乐并与他人分享快乐。
桑迪普·马赫什瓦里
纵横计不就，慷慨志犹存。
魏征
The truth is like a lion; you don’t have to defend it. Let it loose; it will defend itself.
真相就像一头狮子；你不需要为它辩护。放开它；它会自己辩护。
肯·福莱特
你要批评指点四周风景，你首先要爬上屋顶。
歌德
虚假的谦让一出现，真正的谦让就及时消亡。
马克吐温
善的光荣是在他们的良心中，而不在人们的话语里。
托尔斯泰
The secret of change is to focus all of your energy not on fighting the old, but on building the new.
改变的秘诀在于集中你所有的精力，不是对抗过去，而是建设未来。
吉姆·洛布
闲爱流云静爱僧清时有味是无能。
冯唐
光有勤奋和努力是远远不够的，还需要多花时间琢磨风向。以前我挺自负的，只要我努力，只要我拼命，只要我勤奋就一定可以成功。今天我要告诉大家的是第二个真理——所有成功的背后85%是运气。如果你没有成功，只是运气不好，你要坚持不懈。
雷军
我不相信运气，我相信准备。
I don't believe in luck, I believe in preparation.
肖恩·潘
In finance, the only certainty is uncertainty, and the only way to manage it is through diversification and hedging.
在金融领域，唯一确定的就是不确定性，而管理它的唯一方法是通过多样化和对冲。
迈伦·斯科尔斯
多种认知偏差同时出现时，彼此之间产生协同作用，放大到极端，产生巨大风险或极端后果。
查理·芒格
一个山坡要求一种综合性、包容性的场地处理，引发对三维的空无的创造。
安藤忠雄
In chemicals, our greatest challenge is also our greatest opportunity: meeting global needs while protecting the planet.
在化工行业，我们最大的挑战也是最大的机遇：在满足全球需求的同时保护地球。
迈克尔·戴维斯
成功增加胆量。
福楼拜
事实上，人生并不容易，现实总是残酷无情。但是在苦难发生的时候，请你无论如何都要让自己爬出泥沼。务必记得，越快挣脱越好！
梅耶·马斯克