"

我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。

约瑟夫·斯法基斯 约瑟夫·斯法基斯
💡 解读： "We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
🏷️ 标签： 我 我们 需要 可以 而是
💬 推荐名言 20句推荐
一个人的成就，是决不能以他外表的一切来衡量的。
古龙 古龙
中国武侠小说四大宗师之一
都说放弃了。为什么还要留下回忆。不要再来了。
佚名 佚名
你必须以诚待人，别人才会以诚相报。
李嘉诚 李嘉诚
连续15年华人首富
我宣布，毕竟没有什么能比阅读更令人愉快的了！任何事物，人们对它的厌倦远远不如对一本书的厌倦来得快。
简·奥斯汀 简·奥斯汀
《傲慢与偏见》作者
抱怨不是办法。你只能同现有的世界合作，而不是同你所期望的世界合作。
沙恩·帕里什 沙恩·帕里什
一位企业家，也是一名智慧的探索者
英美法归根结底都来自普通法，这种道德准则，没有专人撰写，但每个人都要参与。也就是说，和十诫或者大部分成文法不一样，普通法通过先例或对手论证自然形成，不断演变。用法学家艾伦·哈钦森的话来说，它是渐进式的演变，既不是痉挛式的跳跃，也不是散漫的停滞。它是一个“永久的进行过程——转瞬即逝、动态、混乱、富有成效、可望而不可即、自下而上。”
马特·里德利 马特·里德利
《福布斯》杂志称其为英国的尤瓦尔·赫拉利
凡铸镜，须得至阴之钢。
沈括 沈括
北宋科学家、政治家
我们的导演，图个自己开心。我们的编剧，写死不能出名。我们的电影，最高这个水平。我们的观众，也就这个操行。我们的资方，收益基本是零。我们的人民，永远不能脱贫。
韩寒 韩寒
作家
要理解一个国家，你必须理解它的沉默。
胡安·加夫列尔·巴斯克斯 胡安·加夫列尔·巴斯克斯
拉丁美洲文学代表
能让一个人开怀大笑,你已铺平了与他之间的友谊大道。跟你一起欢笑的人,或多或少,是 喜欢你的。
卡耐基 卡耐基
美国现代成人教育之父
谁把门窗的对话卖给穿堂风。
北岛 北岛
朦胧诗代表人物之一
只有在黑暗的地下才能发现钻石，只有在深沉的思想里才能发现真理。
雨果 雨果
浪漫主义文学的代表作家
偏见就像影子，在阳光下才会消失。
哈珀·李 哈珀·李
《杀死一只知更鸟》作者
因为要度过枯燥的瓶颈期，光靠自律是很难的，还需要一种信任和托付的关系，需要一种气氛，也需要反馈和点拨。
陈海贤 陈海贤
心理作家
可持续性不是终点，而是一段旅程。
莎拉·格林 莎拉·格林
人工林可持续发展专家
学习永远不晚。
高尔基 高尔基
苏联作家
过去说一句“向你学习”，指的是要学习一个人的优点长处，在这些方面我要成为你。而现在，“向你学习”的意思是，我要了解一个人的观点，作为我的参考。
罗振宇 罗振宇
“得到app”创始人
弱者是强者的鹰犬。
德尼·狄德罗 德尼·狄德罗
法国启蒙思想家、哲学家、戏剧家
买的越多，省的越多，你不需要理解策略和技术，这就是英伟达。
黄仁勋 黄仁勋
AI领域的巨人
领导力不是关于掌控，而是关于照顾你负责的人。
约翰·西凯利 约翰·西凯利
饮料行业分析师，市场趋势专家
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行