形式化方法的美在于它们能够提供关于系统行为的绝对保证。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
人类就是这样，一旦弄清楚对于人类产生邪恶作用的事物是什么，就可以与之斗争，就有人勇敢地与之斗争。但是，在不知其为何物的时候，则往往容易臆想，亲在臆想中，幻化出产生邪恶作用的事物的虚相来。在欧洲的历史中，犹太人就是这种妄想的受害者。古俄罗斯和东欧都曾有针对犹太人的大迫害。说来这还算不上是很久以前的，将这迫害变成一种国家政策，将几百万的犹太人杀害于毒气室中，是仅仅六十年前发生在纳粹德国的事情。
大江健三郎
向那些疯狂的家伙们致敬，他们特立独行，他们桀骜不驯，他们惹事生非，他们格格不入，他们用与众不同的眼光看待事物，他们不喜欢墨守成规，他们也不愿安于现状。你可以赞美他们，引用他们，反对他们，质疑他们，颂扬或是诋毁他们，但唯独不能漠视他们，因为他们改变了事物，他们推动人类向前发展。或许他们是别人眼里的疯子，但他们却是我们眼中的天才，因为只有那些疯狂到以为自己能够改变世界的人，才能真正地改变世界。
史蒂夫·乔布斯
百金买骏马，干金买美人，万金买高爵，何处买青春？
严复
无产阶级对资产阶级的胜利同时就是一切被压迫民族获得解放的信号。
马克思
有圣贤之言可以引路。会乃不走路，只效圣贤言，便当走路，每代引路之言增而愈多，卒之荡荡周行道上，鲜见其人也。
颜元
电池技术的进步将决定新能源汽车的未来。
曾毓群
我不需要任何人来完整我。
I don’t need anyone to complete me.
蕾哈娜
The future of computer science will be shaped by those who can seamlessly blend mathematical theory with computational practice.
计算机科学的未来将由那些能够无缝融合数学理论与计算实践的人塑造。
苏布拉·苏雷什
每个人都具有无穷的现实性，一个人如不尊重他人，他就是傲慢和自负的。哦，如果我们能用这种语气和每个人单独谈谈，我相信我是能够打动他的。但是一千个人比一个人更具有价值乃是一种谬论，这无异于把人视为动物。人类的中心要点在于基数“1”是最高的；而“1000”并不说明什么问题。
克尔凯郭尔
最讨厌的是自以为有学问的女人和自以为生得漂亮的男人。
张爱玲
不要看时钟；做它所做的。继续前进。
Don't watch the clock; do what it does. Keep going.
戴蒙·德约翰
反思本身不是罪恶。罪恶在于反思的状态，以及反思带来的静止。
Reflection is not the evil. The evil is the state of reflection, and the stasis that comes with reflection.
克尔凯郭尔
The best businesses are built on trust—trust in your team, your products, and your customers.
最好的企业建立在信任之上——对你的团队、产品和客户的信任。
詹姆斯·威尔逊
如果你想知道你是谁，你来自哪里，现在何处，将去往何方，你必须需要洞见。
孟非
少说漂亮话，多做些平凡的事情。
列宁
The key to survival is not just physical strength, but mental resilience.
生存的关键不仅仅是体力，还有心理韧性。
贝尔·格里尔斯
价值增殖过程是剩余价值的生产过程。
马克思
对已拥有的，随时能放弃，对未拥有的，不再贪求，内心满足，这便是最好的布施。
希阿荣博堪布
做有意义的事情本身就是一种享受，而忙碌中的绝大多数人看不到这一点。
卢梭