"El miedo es el peor enemigo de la creatividad."
恐惧是创造力最大的敌人。
费尔南多·德尔·帕索名人名言哲理格言警句语录 费尔南多·德尔·帕索
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
约瑟夫·斯法基斯
人心可分为二，一部較善，一部较恶。善多而能制止恶，斯即足以云自主，而为所誉美；设受不良之教育，或经恶人之熏染，致恶这一部较大，而善这一部日益侵削，斯为已之奴隶，而众皆唾弃其人矣。
柏拉图
苦行和极简让人更加敏锐，匮乏既是富足，自律产生喜悦！要明白一个大多数人不知道的道理：物极必反！
史蒂夫·乔布斯
领导力就是让他人因为你的存在而变得更好，并确保这种影响在你离开后依然持续。
Leadership is about making others better as a result of your presence and making sure that impact lasts in your absence.
杰克·鲍尔斯
镜中的容貌永远染上一层阴霾，永远把立体的人和物拉成一块冰硬的图案。镜破之后，风景面貌狰狞地咧笑，呵，原来那是水银这毒物拼凑的假象——和人生真像斗脆弱。
林夕
一旦别人问自己想要什么，那一刹那反倒什么都不想要了。怎么样都行，反正不可能有什么让我快乐的东西。
太宰治
穷人他们只关注当前，尽可能把日子过得愉快。
阿比吉特•班纳吉
中国人的习惯，不会去评价一个活着的人。因为活着他还会变，死了就不会变了。盖棺才能论定！
曾仕强
人生的每一步都算数，你只需要埋头播种，坐等秋后丰收。你会发现所有的成功都没有捷径，那些你暗自努力了的时光，终将照亮你前行的路。
《人民日报》
The everyday is always extraordinary if you look closely enough.
如果你足够仔细地观察，日常总是非凡的。
杰里米·戴勒
在我建议尽可能取消流程和审批的时候，总是会听到这样的问题，那该怎么做呢？这怎么可能呢？该拿什么来替代这些规则、流程、审批、手续和许可呢？我的答复是就要做的工作的情况进行清晰而持续的沟通，我告诉员工：“这是我们现在面临的情况，那是我们需要去实现的目标。”管理者越是花更多的时间去想尽透彻的沟通亟待完成的工作任务、面临的挑战以及竞争环境，那些政策、审批和激励措施就越不重要。
帕蒂·麦考德
我足够了。我一直都足够了。我将永远足够了。
"I am enough. I have always been enough. I will always be enough."
伊丽莎白·阿塞维多
埋怨环境不好，常常是我们不好；埋怨别人太狭隘，常常是我们自己不够豁达；埋怨天气太恶劣，常常是我们抵抗力太弱；埋怨学生难教育，常常是我们自己方法少。
魏书生
清晨的五泉山，是不加任何修饰的。从远处看，山上云雾缥缈，像人间仙境一样。顺着旁边崎岖的小道漫步而上，就会感到空气里带着泥土的气息，在山林里深呼吸，真有一种回归大自然的感觉，再加上小鸟儿叽叽喳喳地唱着，让人感觉分外舒畅。
罗翔
艺术家有很多不同类型，坦率地说，我希望我是另一种。
沃莱·索因卡
岳宗泰岱，禅主云亭。
周兴嗣
群体相信一切不可能的事情，相信一切不合逻辑的事情，相信一切不合情理的事情，相信一切不存在的事情，但唯独——不相信现实生活的日常逻辑。
古斯塔夫·勒庞
孤独像只狼，张着可怕的大眼睛面对着他，他除了警觉地、目不转睛地注视那对空空荡荡的眼睛，别无其它办法将它驱走，而且一旦他转移视线，狼就从身后袭击他。深夜，当他四肢乏力、睡意绵绵的时候，孤独会坐在他的床上，毒害他的睡眠和梦幻。
赫尔曼·黑塞
红星的光芒，穿透黑暗，照亮未来，每一份坚持都让人心生向往。
埃德加·斯诺