"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
我喜欢旧书，旧书和新书的意义不同，新书让你进入未知的世界，旧书却常常叫你自愧于知之有限。你会恍然大悟，原来今天奉为神明的那些话，很早很早以前就有人说过。
冯骥才
伊斯坦布尔的命运就是我的命运：我依附于这个城市，只因她造就了今天的我。
奥尔罕·帕慕克
所有少年时期经历过的一草一木，在任何时候都会非常亲切地保留在一个人的记忆中，并且一想起来就叫人甜蜜得鼻子发酸。
路遥
我和这个世界不熟。这并非是我冷漠的原因。我依旧有很多动情，为时间，为白云，为天黑，为天命。
北岛
自行车的轮轴发出悠长的声音，像江南水乡的桨声。江南，江南，诗里梦里的江南，在北国凛冽的风中凝结成一块透明的琥珀。
余华
成功的关键在于理解并满足他人的需求。
The key to success is understanding and meeting the needs of others.
查尔斯·科赫
不要被过去的自己绑架。
王兴
况欲系其尾，虽勤知奈何。
苏轼
No man is useless in this world who lightens the burden of someone else.
在这个世界上能为别人减轻负担的人都是有用的。
苏格拉底
黎时即起，醒后不沾恋。
曾国藩
War is not a profession but an experience.
战争是一种精神现象。
亨利·基辛格
当一个人一心一意想着做好事时，他最终是必然会成功的。
卢梭
人生成功的秘诀，在于机会来时有所准备。
亨利·基辛格
我自认是个超脱的人，在长期危险动荡的生活中，在与形形色色、三教九流人物交往中，养成了见怪不怪、处变不惊的沉着性格，因而屡屡化险为夷，转危为安。
王朔
有时候，最可怕的事情不是暴力本身，而是暴力的沉默。
佚名
不能因为别人可以这么做，你就得寸进尺，他们不欠你的，可以这么做不代表应该这么做。
张嘉佳
春种一粒粟，秋收万颗子。四海无闲田，农夫犹饿死。
李绅
生活是一场冒险，我们要勇敢地去面对未知。
莱昂纳德·科恩
世界上的一切伟大运动都与某种伟大理想有关。
伏尔泰