The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
撇弃尘埃的无情，不触碰，我便可以假装一切依然很完整。
七堇年
每天都是一个崭新的日子。走运固然不错，不过我宁可保持精确。那样，机会来临时，你已经做好了准备。 
海明威
人间到处有青山，何必刻意去计划将来的旅程呢。
三毛
 死不是死者的不幸，而是生者的不幸。
伊壁鸠鲁
每一个创造的行为首先都是一个破坏的行为。
"Every act of creation is first an act of destruction."
亚历山大·克鲁格
I'm not big on compromise. I understand compromise. Sometimes compromise is the right answer, but oftentimes compromise is the equivalent of defeat, and I don't like being defeated.
我不喜欢妥协。我明白有时妥协是正确的答案，但妥协通常相当于失败，我不喜欢被击败。
特朗普
生活不会因抱怨而更好，只能变得更糟；人生不会因牢骚而辉煌，只能失败连连。
威尔·鲍温
神与人相遇的地方。
马修·福克斯
处颠者危，势丰者亏。
王充
我从未见过一个比我自己的梦更离奇的宇宙。
霍华德·菲利普·洛夫克拉夫特
大多数人在给我们布置任务，或者希望我们做什么的时候，他们要看的是“效果”，并不是“过程”，如果达不到“效果”，再完美的过程也没有意义。
卡耐基
数据驱动的决策是现代资源开采的基石——仅凭直觉是不够的。
Data-driven decisions are the cornerstone of modern resource extraction—intuition alone won't suffice.
约翰·艾肯伯里
资本市场要更好地服务国家战略，支持经济高质量发展。《资本市场服务实体经济研究》
张育军
不要贪多，做精做透很重要，碰到一个强大的对手或者榜样的时候，你应该做的不是去挑战它，而是去弥补它。
马云
在家中享受幸福，是一切抱负的最终目的。
塞缪尔·约翰逊
This time，my company name changed and transformed from alberto Cali，but the journey is the same as the first，two Bohemian people wandering in the americas，we don't know what you're looking for，also don't know the direction。
切格瓦拉
如果你不愤怒，说明你没有在关注。
If you’re not outraged, you’re not paying attention.
麦可摩尔
今天是如此珍贵,不值得为了苦涩的烦恼及悔恨而糟蹋它，
卡耐基
假如文明不对蛮横进行排挤、打压，那么这种文明不是真正的文化。
奥托·冯·俾斯麦