"The future of system design lies in the integration of formal methods with traditional engineering practices."
系统设计的未来在于将形式化方法与传统工程实践相结合。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
每次归程，都是为了更好出发；每次停歇，都是为了积攒力量。
人民日报金句
好的学习模式是，在做A的时候彻底关注A，在做B的时候彻底关注B，A和B两件事情之间有非常清晰的界线。如果在做A的时候想着B，在做B的时候又想着A，那么意识工作的深度不够，潜意识也无法顺利开启，这种边界不清的习惯对能力提升伤害很大。
周岭
以玄锡方寸，新铸，以合水银，能照见鬼物。
沈括
Oh,to struggle against great odds,to meet enemies undaunted.
与逆境不屈抗争，以无畏的气势面对敌人。
汤姆·舒尔曼
低价肯定是受欢迎的，只不过企业能不能承受。低价这个方法大家都能想到，问题是能不能低价的同时还赚钱。
小马宋
人类历史上致命病菌的重要性，可以从欧洲人征服新大陆并使那里人口减少这件事得到很好的例证。印第安人在病床上死于欧亚大陆的病菌的，要比在战场上死于欧洲人的枪炮和刀剑下的多得多。这些病菌杀死了大多数印第安人和他们的领袖，消磨了幸存者的士气，从而削弱了对欧洲人的抵抗。
贾雷德·戴蒙德
你要真心相信，自己可能不知道最好的路径是哪条，并要认识到，你处理未知情况的能力，比你已知的任何事情都更重要。
瑞·达利欧
我不可能让所有人都喜欢我，因为我不是神。
I can't make everyone like me because I'm not a god.
周杰伦
音乐是我的日记，记录着我的生活。
Music is my diary, recording my life.
周杰伦
去爱，去生活，去受伤。
李娟
水源会枯竭 但心永不干涸
Water runs dry but hearts never do
男孩男人组合
勇气是人类最重要的一种特质，倘若有了勇气，人类其他的特质自然也就具备了。
丘吉尔
我不会再让你伤害我了
I'm not gonna let you hurt me no more
TLC组合
即使你不喜欢现实，也要承认现实 --- 其实越是你不喜欢，你越应该承认现实。
查理·芒格
少之时，血气未定，戒之在色；及其壮也，血气方刚，戒之在斗；及其老也，血气既衰，戒之在得。
孔子
世间享千金之产者、定是千金人物；享百金之产者，定是百金人物；应饿死者，定是饿死人物；天不过因材而笃，几曾加纤毫意思？
译文：人世间能够享有千金产业的，一定是个拥有千金福报的人；享有百金产业的，也必定是有百金福报的人；遭到饿死的，也绝对是命中注定应遭饿死果报的人。上天只不过是就每个人所造作的善恶质性，厚实恰当地来对待他，使他获得应有的结果而已，何曾加上一丝毫喜好或厌恶的念头?
袁了凡
勇敢是孤独者的通行证，智慧是勇敢者的向导。
海明威
天有不测风云，谁能知道以后的事呢？会笑的人最后才笑。
大仲马
让自己有选择的余地，但不必为每个选择付出代价。
塔勒布