系统设计的未来在于将形式化方法与传统工程实践相结合。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
人不同于机器人。行为是由自己选择，生活是由自己负责，命运是由自己决定，并不是被外在程序所机械地规定好了的。
李泽厚
读书和悟道是两件事情，读书是学习或者爱好甚至是消磨时间，悟道则是思考。思考是能悟道的必要条件。做投资后，我发现愿意思考的人的比例远比我想象得要小很多。巴菲特的魔法正是源于他的不间断学习和不间断思考，喜欢确实有强大的力量。
段永平
If you want to be a great leader, you have to be a great listener.
如果你想成为伟大的领导者，就必须善于倾听。
马克·帕克
子曰：损者三友，友便僻、友善柔、友扁佞。
星云大师
有一种说法是“不打算拿10年的股票，你为什么要拿10天呢”，这句话不是说自己买的股票一定要拿10年，而是说如果自己觉得，10年以后自己认为肯定不好的公司，就不应该现在去买。
段永平
天下之百姓皆上同于天子,而不上同于于天,则菑犹未去也。
天下的老百姓如果都向上统一于天子,而不向上统一于天的意志,那么灾祸就还没有完全离去。
墨子
在我最需要你的时候，你或许不在我身边。在我想要依靠的时候，你也不会适时地出现。在我需要安慰的时候，你的声音只能在电话里边。在我孤独无助的时候，你的身影只会出现在天边.....
张爱玲
Context, not control. People are more productive and creative when they have context about what’s going on, not when someone tells them what to do.
提供背景而非控制。当人们了解事情的背景时，他们会更有生产力和创造力，而不是被告知该做什么。
张一鸣
我们总是在学习、修正、甚至颠覆各种主意。在恰当时机下快速颠覆你的想法是一项很重要的品质。你要强迫自己去考虑对立的观点。如果你不能比你的对手更好地说服对方，那说明你的理解还不够。
查理·芒格
标志时代的最灵敏的晴雨表是青年人。
罗曼·罗兰
A novelist must be a psychologist, but a psychologist of a special kind—one who understands the souls of men and women as if he had made them.
小说家必须是心理学家，但是一种特殊的心理学家——他理解男女的灵魂，仿佛是他创造了他们。
诺曼·梅勒
有些事情可以有好几个起点，也可以用不同的方式开始。有时你以为自己已经展开了新的一页，实际上却可能是重复以前的步伐。他直面说服了自己的短处，所以他的旅程从这一刻真正揭幕了。
蕾秋·乔伊斯
享受的时光不是越长越好，而是越甜蜜越好。
伊壁鸠鲁
进化心理学不是关于人性中不可改变的部分，而是关于在我们祖先环境中具有适应性的部分。
Evolutionary psychology is not about what's unchangeable in human nature, but about what was adaptive in our ancestral environment.
勒达·科斯米德斯
实现明天的唯一障碍，是对今天的怀疑。
罗斯福
一切经得起再度阅读的语言，一定值得再度思索。
梭罗
生命诚可贵，爱情价更高，若为自由故，两者皆可抛。
琼瑶
上士闻道，勤而行之；中士闻道，若存若亡；下士闻道，大笑之。不笑不足以为道。
老子
高中生的学习无论从学习起点，还是从目标追求来看，都跟儿童的学习存在本质的差异。所以学策略应该是不同的。对于现代人，学习过程本身就是生活，学校生活应该成为学生生命历程中最精彩、最富有价值的一段。学科学习和深入研究可以构成一个人生命价值的主体部分。
沈祖芸