这些奇妙的人们丝毫不认识我，也不对我拥有期待，我可以选择成为任何人。
保拉·麦克莱恩名人名言哲理格言警句语录 保拉·麦克莱恩
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯
优秀的管理者是这样的：你把他从火车上扔下去，扔到一个偏僻的小镇，不给他钱，他在这个小镇上诚实本分地经营，用不了多长时间，又发家致富了。
查理·芒格
The best leaders are those who empower their teams to take ownership and drive change.
最好的领导者是那些赋予团队自主权并推动变革的人。
托德·普特南
真理总沾着灰。
刘慈欣
人的一切痛苦，本质上都是对自己的无能的愤怒。
王小波
当时若不登高望，谁信东流海洋深。
当时若不是去登高望远，后来怎知东海的浩瀚。
周希陶
我们可以用言辞说出事情，也可以用言辞来实现事情。
We can say things with words； and we can do things with words.
约翰·奥斯汀
30．在人生或者职业的各种事务中，性格的作用比智力大得多，头脑的作用不如心情，天资不如由判断力所节制着的自制、耐心和规律。
海明威
与一般信息技术相比，人工智能的最大特征在于人工智能是具备自主学习和自我进化能力的系统，而且随着系统的运行，其性能会越来越好。
方海光
幽默是人生的调味品，它能够在困难和痛苦中带给我们一丝慰藉。
老舍
我赞成帮助穷人，但我的方法不同。我认为帮助穷人的最好方法，不是让他们在贫困中活得轻松，而是引导或迫使他们远离贫困。
富兰克林
我不应才智把我的作品全归功于自己的智慧，还应归功于我以外向我提供的成千成万的事情和人物。须用人世间的料进行在工作中，才能使人理解；同时他又是自然的主宰，因为他使这种人世间的料服从他的较高的意旨，并且为这较高的意旨优质服务。
歌德
生活环境：具体来说，就是成就、财富、婚姻状况、社交生活、年龄、健康状况、受教育程度等等。这些条件对幸福的影响仅在8-15%之间。
马丁·赛里格曼
我知道了什么叫做崇高。它其实是一种发源于恐惧的感情，是一种战胜了恐惧之后的豪迈。
毕淑敏
知识给人以爱，给人以光明，给人以智慧，应该说知识就是幸福，因为有了知识，就是摸到了有史以来人类活动的脉搏，否则就不懂人类生命的音乐！
海伦·凯勒
成事莫说，覆水难收。
周希陶
Use music to spread positive energy.
用音乐传递正能量。
王力宏
真正的坚韧，应该是哭的时候要彻底，笑的时候要开怀，说的时候要淋漓尽致，做的时候不要犹豫。
佚名
成为自己生活的旁观者，可以避免生活中烦恼。
王尔德