"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
前车之覆，后车之鉴。
班固
中国哲学史是一部不断追问‘天人关系’的历史。
王德峰
有人会把渐渐老去当作一种成长吗？年老不是成长也不是退步，仅仅是“变化”罢了。
萩原朔太郎
The struggle over education is not simply about the struggle over knowledge, but also about the struggle over identities, desires, and the future itself.
关于教育的斗争不仅仅是关于知识的斗争，也是关于身份、欲望和未来本身的斗争。
亨利·吉鲁
最易之读是不读，最易之思是不思。
史铁生
努力工作和诚信是任何成功企业的基础。
Hard work and integrity are the foundations of any successful enterprise.
德文·亨利
今天，他从河水中的秘密中获取一个撼动灵魂的秘密。他看见河水不懈奔流，却总在此处。永远是这条河，却时刻更新！
赫尔曼·黑塞
聪明人也不免遭受过度自信带来的灾难。他们认为自己有更强的能力和更好的方法，所以往往他们就在更艰难的道路上疲于奔命。
查理·芒格
胜者为王，败者为寇。我知道明天全世界的人都会因为我战败而责备我，但那又有什么呢？
阿道夫·希特勒
在不确定的时代，唯一确定的就是变化本身。
In an uncertain era, the only certainty is change itself.
大前研一
妄想一夜致富的人定会一事无成。
达·芬奇
凉月凉风之下，我们背着秦淮河走去，悄然是当然的事了。如回头，河中的繁灯想定是依然。我们却早已走得远。
俞平伯
我从不和气生财，我只是咆哮生财。——狮子从来不和气，和气就吃不到lion’sshare。
李敖
失去生命，仅仅是说谎的最低代价。
史蒂夫·卡瓦纳
我将来回来，一定要一身光鲜，让我们一家风光！我要起家业，开祠堂，不然我发誓永远不再踏上这块土地！
杜月笙
我们都是时代的产物，无论好坏。
"We are all products of our time, for better or worse."
爱德华·P·琼斯
知道结束后该做什么，你才不会停滞不前。
斯科特·扬
黑暗怎么的描写呢？心灵的深深处宇宙的深深处灿烂光中的休息处。
冰心
前途是光明的，道路是曲折的。
毛泽东