"

"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

约瑟夫·斯法基斯 约瑟夫·斯法基斯
💡 解读： 我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
💬 推荐名言 20句推荐
这是爱情热烈的安稳，仿佛飓风后的海洋波平浪静，而底下随时潜伏着汹涌翻腾的力量。
钱钟书 钱钟书
与饶宗颐并称“南饶北钱”
"You have to be patient and trust the process."
罗杰·费德勒 罗杰·费德勒
网球史上最伟大球员之一
记得，用自己的专长，还有责任感和杠杆效应武装自己。
纳瓦尔·拉维康特 纳瓦尔·拉维康特
美国著名企业家、投资人
每个人的心灵深处都有着只有他自己理解的东西。
托尔斯泰 托尔斯泰
俄国批判现实主义作家
禅定中，思想产生了幻象、智慧将真理与事物剥离，将我及他人加以区分，并以这种分别误导我们的生活，人们常为情感所困，而贪婪令人远离真理，在由生至死的轮回中，我们畏惧疾病与死亡，这只会增长我们的无知与恐惧，因此须破除一切幻象，一旦，从幻想走出，那生命也将自由脱离囚笼，清静、沉定与平和。
释迦牟尼 释迦牟尼
​林德太太说：“一生无求的人是幸福的，因为他们不会失望，可我觉得一生无求比失望更糟糕。”
露西·莫德·蒙哥马利 露西·莫德·蒙哥马利
《绿山墙的安妮》作者
人类历史一直这样，水落但不见得石出。
唐诺 唐诺
被称为“我们这个时代少有的职业读书人”
因此我将等待。如果你希望见面，就告诉我。我不会因此认为你又爱我，我们也不必一定要长时间呆在一起，只是在你愿意的情况下在一起。记住，我将永远希望你向我提出要求。
波伏娃 波伏娃
女权运动的创始人之一
我们通过我们的伴侣，看到了我们被拒绝的父母。所以说，如果我们越爱自己的父母，那么我们就会越爱自己的伴侣。
伯特·海灵格 伯特·海灵格
“家庭系统排列”创始人
你的生活深度取决于你对年幼者的呵护，对年长者的同情，对奋斗者的怜悯体恤，对弱者及强者的包容。因为生命中总有一天你会发现其中每一个角色你都扮演过。
乔治·华盛顿 乔治·华盛顿
美利坚合众国首位总统
当一个文明达到一定高度时，它必须考虑整个宇宙的平衡。
刘慈欣 刘慈欣
获第73届世界科幻大会颁发的雨果奖最佳长篇小说奖
乔布斯年近30岁时曾作过一个关于唱片的比喻。他一直在思考为何人在30多岁后就会变得思维僵化、缺乏创新意识。他说：“人们被卡在这些固有的形式中，就像唱片中某一段固定的凹槽，他们永远无法摆脱出来。当然，有些人天生就有强烈的好奇心，永远有一颗孩子般的心，可惜这样的人太稀少了。”45岁时，乔布斯准备从他的凹槽中跳出来。
沃尔特·艾萨克森 沃尔特·艾萨克森
美国传记作家
“专注、极致、口碑、快”互联网七字诀。
雷军 雷军
小米科技有限责任公司创始人
天上永远不会掉下玫瑰来，如果想要更多的 玫瑰，必须自己种植 。
托马斯·艾略特 托马斯·艾略特
《荒原》作者
只有年青人是自由的。年纪大了，便一寸寸陷入习惯的泥淖。
张爱玲 张爱玲
中国近现代史上的20位杰出女性
人生如寄，多忧何为？今我不乐，岁月如驰。
曹丕 曹丕
其父曹操和弟曹植并称“建安三曹”
微邪，大邪之所生也。
管仲 管仲
春秋时期齐国政治家
爱在右，同情在左，走在生命路的两旁，随时撒娇，随时开花，将这一径长途，点缀得季花弥漫，使穿枝拂叶的行人，踏着荆棘，不觉得痛苦，有泪可落，也不是悲凉。
冰心 冰心
被誉为“文坛祖母”
延异是差异的游戏。
雅克·德里达 雅克·德里达
解构主义创始人，后现代哲学代表
如果你想与别人制造羁绊，就要承担掉眼泪的风险。
安托万·德·圣-埃克苏佩里 安托万·德·圣-埃克苏佩里
《小王子》作者
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行