Courage is the persistence in the face of fear.
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
金融危机不是资本主义的失败,而是资本主义内部发展起来的一系列特定制度和实践的失败。
A fisherman's wisdom lies not in how much he catches, but in how much he leaves behind.