History is not the past. It is the present. We carry our history with us.
The best teacher is the one who suggests rather than dogmatizes, and inspires his listener with the wish to teach himself.
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
I want the work to ask questions, not provide answers.