成功的人是从失败中走出来的，而不是从成功中走出来的。
佚名名人名言哲理格言警句语录 佚名
但是我会陪着你和教皇一起朝圣，虽然不在你身边，可是我会尽自己最大的可能去爱你。我想你，我不会忘记你。不要有任何担心，我在焦急地等你。吻你，我的朝圣者，我虔诚地在你身旁入睡。
加缪
但得一片橘皮吃，且莫忘了洞庭湖。
兰陵笑笑生
野蛮人所以不是恶的，正因为他们不知道什么是善。因为阻止他们作恶的，不是智慧的发展，也不是法律的约束，而是情感的平静和对邪恶的无知。
卢梭
时间是故事的编织者。
佚名
My goal is not to defeat others but to surpass myself.
我的目标不是打败别人，而是超越自己。
周杰伦
The reality is: sometimes you lose. And you’re never too good to lose. You’re never too big to lose. You’re never too smart to lose. It happens.
现实是：有时候你会输。你永远不会因为太好而不输。你永远不会因为太强大而不输。你永远不会因为太聪明而不输。这会发生。
碧昂丝
工作应当矢志不渝，细大不捐；生活应当恬静规约，欢乐达观。
鲁达基
Sometimes the most unexpected findings lead to the greatest advances.
有时最意想不到的发现会带来最大的进步。
戴维·朱利叶斯
人生在世，忧患实多，欢乐实少。
张恨水
过去是一个装满光的橱柜，你只需找到开门的钥匙。
The past is a cupboard full of light and all you have to do is find the key that opens the door.
希拉里·曼特尔
以众小不胜为大盛。
庄子
人生重要的事情是确定一个伟大的目标，并决心实现它。
歌德
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
约瑟夫·斯法基斯
笑一笑，十年少；愁一愁，白了头。
谚语
我一手碰到我的坟墓，一手抓住我的摇篮。我感到自己生命短暂而辉煌，好似一个消失在黑夜中的闪电。
让-保尔·萨特
如果你不敢碰刀，就别进厨房。
释义：权力决策必须冷酷，优柔寡断者不配掌权。
斯大林
夫财用不足，国非贫，人才不竟之谓贫。
魏源
我始终直觉，人与自己订有及其重要的契约，必须保持自我，又能容受万物，独立自强，凭借与此一星球的偶然遇合，随机应变又像猎犬一般执着，不离不弃。
E・B・怀特
每个故事都是一次旅程，每次旅程都会改变我们。
Every story is a journey, and every journey changes us.
拉斯诺霍尔卡伊·拉斯洛