"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
一切都是为了实现我的目标，哪怕是付出生命的代价。
麦哲伦
将军们，我的出身的确比你们差，但是如果你们因此而蔑视我，我将立刻宣布我懂管制，以消除这一差别。
拿破仑
活在世上，你好像随时都在期待着，期待着有什么可以看一看的故事。
汪曾祺
Success is built on a culture of continuous learning and adaptation.
成功建立在持续学习和适应的文化之上。
利夫·约翰逊
每个人心里都有一只野兽，同时又有一只兔子。有时是兔子走出来，有时是野兽。我们既希望自己强大，也希望自己一次又一次回到弱小的童年。没有野兽，也就没有兔子。爱，便是意味着同时接纳自己和对方的兔子与野兽。
张小娴
人在天涯，身不由己，风雨踏歌行。江湖子弟，拿得起来放得下。放不下，也得放。活一百岁的没几个人，开心就笑，不开心待会儿再笑。高高兴兴比什么都强，跟谁较劲都是跟自己较劲。一辈子，忍一忍也就过去了。
郭德纲
I’m not a guy that’s going to let my love for the game of basketball down.
我不是那种会让对篮球比赛的爱减少的人。
勒布朗·詹姆斯
一粥一饭，当思来处不易；半丝半缕，恒念物力维艰。
朱熹
我在秋千上，所有东西都在下面，一会儿之前，所有东西都在上面。反过来说，也一样。
米兰·昆德拉
你因为被遗弃所以是最宝贵的 你因为遭人轻视 所以最蒙我所爱。
Most choice, forsaken; and most loved, despised!
莎士比亚
内既坚实，则外界之九千九百九十九种恶口，当亦如秋风一吹，青蝇绝响。
鲁迅
The work of art is a map of the soul.
艺术作品是灵魂的地图。
安东尼·塔皮埃斯
正如市面上流通的是货币而非白银，同样，在这个世界上通行的，不是真正的尊重和友情，而是外在的表演和装得尽可能自然的尊重和友善的表情。
叔本华
可持续性不是一种选择；它是我们对后代的责任。
Sustainability isn't an option; it's our responsibility to future generations.
维多利亚·斯科特
人们的沟通模式会被分成四种主要类型，分别是：控制型、表现型、谨慎型和温和型。为方便记忆，我们可以用四个动物形象——老虎、孔雀、猫头鹰和考拉来标注他们。
李天田
用户需求永远是产品研发的第一驱动力。
何小鹏
也许人类的悲哀便在于此，拥有的东西不去珍惜，对于得不到的却永远渴望。
海伦·凯勒
迷途慢慢终有一归他要尘世间的上帝之国。
米兰·昆德拉
古者，自天子达于庶人，必须师友以成其德业。
二程