我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
既然生活在金钱世界中，就不能不好好地控制金钱，才不致为金钱所奴役。
傅雷
对失意人，莫谈得意事；处得意日，莫忘失意时。
对失意的人不要谈论得意的事，处于得意的时候不要忘记失意的日子。
金兰生
实际上，梦是一种愿望的达成。
弗洛伊德
仁义礼智信者，国之基也，而支配权者，政之残也。
桓宽
一个人走路，一个人说话，一个人的房间，是怎样的感觉？会不会很寂寞？是不是感觉身体空空的，需要许多东西去填满。
村井贞之
如果一个人因为祖父是猿而感到羞耻，那他必定是思想或品格上还有弱点，才会让他感到羞耻。
托马斯·亨利·赫胥黎
当人们获得某种复仇的快感时，需要思考的问题是，离开了正当的程序，我们追逐正义的初衷是否会事与愿违呢？
罗翔
非淡薄无以明德，非宁静无以致远。
刘安
三十年前的上海，一个有月亮的晚上。
张爱玲
一个人若能自信地向着他的梦想行进，努力经营他所向往的生活，他是可以获得意想不到的成功。他将要越过一条看不见的界线，他将要把一些事物抛在后面……他自己的生活越简单，宇宙的规律也就越显得简单，寂寞将不称其为寂寞，贫困将不称其为贫困，软弱将不称其为软弱。
梭罗
真正的力量在于团结而非统治。
佚名
To love oneself is the beginning of a lifelong romance.
王尔德
大庄家：以几亿元，甚至几十亿元在进行交易。他们总是全力以赴，投人所发起的交易活动，以确保自己获利，并策划合并和收购其他公司。他们一旦拥有某家公司的股份，便积极干预公司的管理体系，或解散看不顺眼的管理阶层。他们的目标总是集中在特定的交易中，他们的买卖都会导致大地震，影响交易市场。
安德烈·科斯托兰尼
我不是为了钱说唱，我是因为热爱。
I don’t rap for the money, I rap for the love.
艾米纳姆
一个公司不应沉迷于光芒四射，因为光芒不会持久。
A company shouldn't get addicted to being shiny， because shiny doesn't last.
杰夫·贝索斯
每一次科学的进步都是人类智慧的胜利。《科学进步》
王思潮
他们之所以惊讶，是因为这是一个中国公司，在以创新贡献者的身份，加入到他们游戏里去。毕竟大部分中国公司习惯follow，而不是创新。
梁文锋
时间，是上苍赐予我们最公平的礼物。
奥格·曼狄诺
带着责任感生活，尝试为这个世界带来点有意义的事情，为更高尚的事情做点贡献。这样你会发现生活更加有意义，生命不再枯燥。需要我们去做的事情很多。告诉其他人你的计划，不要鼓吹，也不要自以为是，更不能盲目狂热，那样只会把人们吓跑，当然，你也不要害怕成为榜样，要抓住出头的.机会让人们知道你的所作所为。
史蒂夫·乔布斯