我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
一个牧师写了一封信给我，是关于一个变成精神分裂的女人。她有个女儿被送进收养家庭，后来她康复之后想要回女儿。他的问题是，我们该如何给这个女人建议。我的回答是，女儿需要留在养父母的身边，母亲可以对她说：“现在我又可以在你身边出现了，你可以随时来看我。但是我把你留在养父母的身边，是他们在我生病的时候照顾了你。”然后这个孩子就可以来回在亲生母亲和养父母之间。但是现在母亲不可以再从养父母那里把孩子要回来。这可以被看做是一个爱的序位，在这个序位里，这个孩子可以同时拥有亲生母亲和养父母。
伯特·海灵格
游戏设计不是闭门造车，而是不断与玩家互动、迭代的过程。
姚晓光
曾日月之几何，而江山不可复识也。
苏轼
魔鬼最厉害的伎俩就是让世界相信他不存在。
The greatest trick the devil ever pulled was convincing the world he didn't exist.
肯德里克·拉马尔
到枯身孤坐，回忆从前，这才觉得大半年来，只为了爱，盲目的爱，而将别的人生的要义全盘疏忽了。第一，便是生活。 人必生活着，爱才有所附丽。
鲁迅
小时候，我相信，有些地方是闹鬼的。废屋之类都令我害怕。为避免撞邪，我干脆敬而远之。结果，姐姐妹妹们都有得意的看家故事，自称曾见怪影向屋外窥伺，我却没有。我的经历至今仍是一张白纸。
尼尔·盖曼
求学贵于博，求道贵于要。
史记
司马迁
Innovation in energy isn't just about technology; it's about reimagining how we power our world.
能源创新不仅仅是技术问题；它是关于重新构想我们如何为世界提供动力。
安德鲁·奥斯本
我不在乎格莱美奖，我不在乎名声。
I don't care about the Grammys, I don't care about the fame.
艾米纳姆
每个人都有自己的香型。
何训田
你看历史上多少圣贤，真的是死于那些奸佞小人之口，一群活在阴沟里的人，每天指责阳光耀眼。
陈行甲
无论习何等业，总不可有粗浮心。
洪应明
只有两种人最具有吸引力，一种是无所不知的人，一种是一无所知的人。
王尔德
快乐常常不是要等艰苦之后，而是即在艰苦之中。
谢觉哉
玫瑰花的刺，是攀摘的人的嗔恨，是她自己的慰乐。
冰心
文学是一种表达，是对内心的探索。
Literature is an expression, an exploration of the inner self.
大江健三郎
这只表是一切希望与欲望的坟墓，我现在把它交给你，你靠了它，很容易掌握证明所有人类经验都是谬误的归谬法。这些人类的所有经验对你祖父或曾祖父不见得有用，对你个人也未必有用。我把表给你，不是要让你记住时间，而是让你可以偶尔忘掉时间，不把心力全部用在征服时间上面，因为时间反正是征服不了的，他说。甚至根本没有人跟时间较量过。这个战场不过向人显示了他自己的愚蠢与失望，而胜利，也仅仅是哲人与傻子的一种幻想。
威廉·福克纳
人如果不受教育，不如不生，因为无知是不幸的根源。
柏拉图
未来没有一家企业可以声称跟AI没有关系。
李彦宏