生命太过短暂，今天放弃了明天不一定能得到。
魏书生名人名言哲理格言警句语录 魏书生
想要说服他人？试试以利相诱， 而非空洞说理。
富兰克林
The interpretation of our reality through patterns not our own serves only to make us ever more unknown, ever less free, ever more solitary.
通过不属于我们的模式来解释我们的现实，只会让我们越来越陌生，越来越不自由，越来越孤独。
加夫列尔·加西亚·马尔克斯
我们竭尽全力自觉地根据一些崇高的理想缔造我们的未来时，我们却在实际上不知不觉地创造出与我们一直为之奋斗的东西截然相反的结果，人们还想象得出比这更大的悲剧吗？
哈耶克
但星星的光芒仍可照进你的房间。
波伏娃
有了爱就有了一切。
冰心
生活就是一个节日，是一场盛大庆典。因为生活永远是，也仅仅是我们现在经历的这一刻。
保罗·科埃略
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克
人好像河流，河水都一样，到处相同。但每一条河都是有的地方河身狭窄，水流湍急，有的地方河身宽阔，水流缓慢，有的地方河水清澈，有的地方河水浑浊，有的地方河水冰凉，有的地方河水温暖。人也是这样。每一个人都具有各种人性的胚胎，有时表现这一种人性，有时表现那一种人性，他常常变得面目全非，但其实还是他本人。
托尔斯泰
有田不耕仓廪虚，有书不读子孙愚。
谚语
两个人知道是秘密，三个人知道就不是秘密吗？
莎士比亚
The real value of an option is not in its price, but in the flexibility it provides to the holder.
期权的真正价值不在于其价格，而在于它为持有者提供的灵活性。
迈伦·斯科尔斯
在儿童不被承认，更不被理解的中国，期望有什么为儿童的文学，原是很无把握的事情，失望倒是当然的。
周作人
Small-scale fishers are the backbone of coastal communities and must be supported.
小规模渔民是沿海社区的支柱，必须得到支持。
豪尔赫·卡斯蒂略
一灯能除千年暗，一智能灭万年愚。
慧能
I never look back. I look forward to the next challenge.
我从不回头看。我期待下一个挑战。
罗杰·费德勒
自律生活，运动，健康饮食生活，每日15分钟冥想。
博多·舍费尔
人生苦短，不要活得很累。生活没有模板，只需心灯一盏。如果笑能让你释然，那就开怀一笑；如果哭能解压，那就让眼泪流下来；如果沉默是金，那就不用解释；如果放下能更好的前行，那就轻装上阵。
杨绛
多元化的团队不仅仅是看起来不同，他们的思维方式也不同，而这正是突破发生的地方。
A diverse team doesn't just look different - it thinks differently, and that's where breakthroughs happen.
露西·格林
天是昨夜雨洗过的，山岗照着太阳又留一片影；羊跟着放羊的转进村庄，一大棵树荫下罩着井，又像是心！
林徽因