"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
不要为旧悲伤浪费新的眼泪。
乐嘉
你能否挣到钱，最关键的因素并不在于你是不是有个好点子。你有多聪明也不是主要原因，决定因素是你的自信程度。
博多·舍费尔
快乐和实现活动不可分离。快乐是一种感受，但无论是指值得欲求的，还是被欲求的，快乐的“善性”都离不开实现活动，所以我们说快乐是活动的品质，是活动的善，因而可以从实现活动的视角考察快乐。
严开宏
久物之味，久则可厌；读书之味，愈久愈深。
二程
我们印度人，总是梦想着成为超级大国，却忘记了我们连基本的卫生设施都没有。
阿拉文德·阿迪加
鸡坛可以益学，鹤阵可以善兵。
陈继儒
民国时期的政治与外交，是理解现代中国形成的关键钥匙。
金光耀
Innovation and technology will drive the future of mining - we must embrace change to stay competitive.
创新和技术将推动采矿业的未来——我们必须拥抱变化以保持竞争力。
凯文·克拉奇菲尔德
不断邀请他人进入自己的生活，打破资源匮乏的困局，借助各种外部力量，放大自己的选择组合，我们才能成为那个想要的自己。
李天田
人们很容易在自己所看重的事情上附上不着边际的价值，自由如此，惩罚也是如此。因此，无论是个人自由的行使还是国家权力的运用都要受到必要的约束。
罗翔
为有云屏无限娇，凤城寒尽怕春宵。
李商隐
爱的欢乐寓于爱之中，享受爱情比唤起爱更加令人幸福。
拉罗什富科
一个人一个时时刻刻充实自我。
胡雪岩
做生意不能急，选择比努力重要，常识比知识重要。
黄峥
大西洋奴隶贸易和现代畜牧业背后共同的推手是冷漠。
瓦尔·赫拉利
You'll see it when you believe it.
当你相信它时，你就会看到它。
韦恩·戴尔
抚育后代，繁衍生命，是基因的延续，而在精神和个人价值上的创造，则是一种生命的延续。
蔡磊
要理解心灵，就跟随它的实际后果。
To understand the mind, follow its practical consequences.
塞巴斯蒂安·维特尔
自由人最少想到死，他的智慧不是关于死的默念，而是对于生的沉思。
斯宾诺莎