一个观念的效用决定了它在精神生活中的地位。
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
If you want to be given everything, give everything up.
I just want to be remembered as a person who was passionate about his craft and who gave his all.