"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
我喜欢爱读书的女人。书不是胭脂，却会使女人心颜常驻。书不是棍棒，却会使女人铿锵有力。书不是羽毛，却会使女人飞翔。书不是万能的，却会使女人千变万化。
毕淑敏
我感到难过，不是因为你欺骗了我，而是因为我再也不能相信你了。
尼采
仁之发处自是爱。
朱熹
莲漏三声烛半条，杏花微鱼湿轻绡，那将红豆寄无聊？春色已看浓似酒，归期安得信如潮，离魂入夜倩谁招？
纳兰性德
与人合作时，要先看对方的人品，再看能力。
李嘉诚
你的时间有限，所以不要浪费它去过别人的生活。
Your time is limited, so don't waste it living someone else's life.
亚瑟小子
造物主把像你这样的人派遣到人世间来，是要你担负一定的责任的，所以你决不应该轻视自己的身体。
伏尔泰
无论两条腿怎样努力也不能使两颗心灵更接近。
梭罗
工作是我的一切，我生来就是为了工作。
拿破仑
你是会员么，我尼玛鲜橙多！！
郭德纲
生命是一袭华美的袍，爬满了蚤子。
张爱玲
容易幸福的人都有点健忘。
辛夷坞
我来到世界不是为了使人们更强，而是去利用他们的短处。
阿道夫·希特勒
战争理论不是死板的规定而应是一种考察。
卡尔·冯·克劳塞维茨
我们生活得越快，感受得越少。
The faster we live, the less we feel.
雷蒙德·钱德勒
只要在多走一小步，仿佛是向同一方向迈的一小步，真理便会变成错误。
列宁
所以你看，要说真有差异，人和人之间，就这么一条差异而已。什么呢？就是有一些人勇于去做做很久才能看到收益的事情。
李笑来
每日所读之书，最好分两类：一类是精读的，一类是浏览的。
梁启超
一部分儿童有思考的习惯，而教育的目的在于铲除他们的这种习惯。
罗素