我们都在等待什么,即使我们不知道那是什么。
抛弃不必要的欲望,你就能找到真正的自由。
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。