过去是一个异国；他们在那里做事的方式不同。
"The past is a foreign country; they do things differently there."
"Science is the great antidote to the poison of enthusiasm and superstition."
父母死气沉沉的生活对周围人特别是自己孩子的影响，是无与伦比的。
Leadership is about empowering others to achieve what they didn’t think was possible.
引用万维钢的话
我不相信市场时机。我相信以好的价格买入好的公司。
The challenge in model checking is not just to find errors, but to understand why they occur.