"

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

约瑟夫·斯法基斯 约瑟夫·斯法基斯
💡 解读： 形式化方法不是银弹，但它们是追求可靠系统的重要工具。
💬 推荐名言 20句推荐
就在那儿，我体验到有生以来最棒的一刻，看见爸爸站在屋顶上，终于以我为荣。
卡勒德·胡赛尼 卡勒德·胡赛尼
《追风筝的人》作者
我或许败北，或许迷失自己，或许哪里也抵达不了，或许我已失去一切，任凭怎么挣扎也只能徒呼奈何，或许我只是徒然掬一把废墟灰烬，唯我一人蒙在鼓里，或许这里没有任何人把赌注下在我身上。无所谓。有一点是明确的：至少我有值得等待有值得寻求的东西。《奇鸟行状录》
村上春树 村上春树
被网友称为诺贝尔文学奖界的“小李子”
怨恨的产生只能有两个原因：一是自己被占便宜了，二是自己不愿意承担责任。
乔丹·彼得森 乔丹·彼得森
多伦多大学心理学教授
母亲在家事事成。
亨利·沃德·比彻 亨利·沃德·比彻
编辑
每一个恶性循环都对应着一个有利于团队进步的良性循环。
托尼·利特尔 托尼·利特尔
前伊顿公学校长
人的自身及其所具备的特质到底是什么，才是最关键的问题。因为无论何时何 地，一个人的个性始终伴随着他左右，也所体验到的一切也都会因此沾染上个性 的色彩里。无论身处何种环境，经历何种事情，一个人首先能够享受到的只有发 自本身的乐趣。
叔本华 叔本华
唯意志论的创始人和主要代表之一
法律惩罚的正当性来源于民众朴素的道德期待，法律只是道德的载体，而不能任由权力意志天马行空。如果一种行为在道德上值得鼓励，那无论如何都不能发动刑罚权。
罗翔 罗翔
中国政法大学刑事司法学院教授
更羡慕街边咖啡座里的目光，只一闪，便觉得日月悠长、山河无恙。
余秋雨 余秋雨
中国当代作家、学者
世上最宝贵之物，乃是两心相悦的真正情爱，决非价值连城的宝藏。
金庸 金庸
与古龙、梁羽生合称为“武侠小说三剑客”
即使你没有万贯家财，也可以通过提升觉知来增强自己感知世界、完善自我的能力。有了觉知，我们就能慢慢过上一流的生活，即使它来得不会那么快。
周岭 周岭
《认知觉醒》作者
入道场而随喜，则修行之念勃兴；登邱墓而徘徊，则名利之心顿尽。
陈继儒 陈继儒
中国明代著名画家、书法家、文学家
超脱凡俗现实只有两条路：诗和哲学。前者使我们身临理想世界，后者使现实世界完全从我们面前消逝。
约瑟夫·谢林 约瑟夫·谢林
德国古典哲学的代表人物之一
在商业中，如果你不前进，就是在落后。
肯·沙利文 肯·沙利文
史密斯菲尔德前CEO，全球猪肉贸易推动者
思想本身根本不能实现什么东西。思想要得到实现，就要有使用实践力量的人。
马克思 马克思
马克思主义创始人之一
如果你表现得“好像”对自己的工作感兴趣，那一点表现就会使你的兴趣变得真实，还会减少你的疲惫、你的紧张，以及你的忧虑。
卡耐基 卡耐基
美国现代成人教育之父
头脑是我的一切，身体只是一个附件。
柯南·道尔 柯南·道尔
英国作家
I think there are various ways that people can have successful, happy lives. A lot of the successful, happy people I know, the main characteristic of their lives is that they’ve had close personal relationships.
查理·芒格 查理·芒格
美国投资家
但我们这一群人的真正内涵还在于：科幻对于我们不仅仅是一种文学样式，而是一个完整的精神世界，一种生活方式。我们是一群精神上的先遣队和探险者。
刘慈欣 刘慈欣
获第73届世界科幻大会颁发的雨果奖最佳长篇小说奖
形不正者，德不来；中不精者，心不冶。正形饰德，万物毕得。
管仲 管仲
春秋时期齐国政治家
音乐是思维着的声音。
雨果 雨果
浪漫主义文学的代表作家
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行