今之學者不能見其近者小者，而妄意談其大者逺者，故終汗漫而無成也。
吕本中名人名言哲理格言警句语录 吕本中
改变你的焦点，改变你的生活。
Change your focus, change your life.
安东尼·罗宾
一切真正的天才，都能够蔑视诋毁；他们天生的特长，使批评家不能信口开河。
克雷洛夫
有些人一生没有辉煌，并不是因为他们不能辉煌，而是因为他们的头脑中没有闪过辉煌的念头，或者不知道应该如何辉煌。
俞敏洪
贵人之交贫士也，骄色易露；贫士之交贵人也，傲骨当存。
陈继儒
关键在于要有一颗爱真理的心，随时随地地碰见真理，并把它吸收进来。
歌德
生而为人，我们有太多“我本可以”，又有太多事与愿违。
弗吉尼亚·伍尔芙
据说人无完人。又据说磨练出完美。你们对下词好吗？
丘吉尔
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯
真正的友谊，能跨越时间和空间的距离。
米哈依尔·肖洛霍夫
人生的意义止于人生，有不做梦的，没有梦不醒的。
王朔
在人生清醒的时刻在哀痛和伤心的阴影之下人们离真实的自我最接近。
海明威
我是个工作狂，我不相信“不可能”，我只相信“可以”并让它实现。
I'm a workaholic and I don't believe in 'no.' I believe in 'yes' and making it happen.
碧昂丝
In the realm of theoretical computer science, we often find that the most profound insights come from the simplest ideas.
在理论计算机科学的领域里，我们常常发现最深刻的见解来自于最简单的想法。
马达夫·瓦拉丹
其身正，不令而行；其身不正，虽令不从。
张瑞敏
开放协作是互联网精神的本质。
马化腾
试登绝顶望乡国，江南江北青山多。
苏轼
所谓的听天由命，是一种得到证实的绝望。
梭罗
人类有两种生命，自然的和精神的，我们必须失去一种才能参与另一种。
威廉·詹姆斯
静并非不动，动也并非不静。戒慎恐惧就是念头，为何要区分动和静？
王阳明