我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
我们都只是一群试图做出伟大事情的人。
预测未来的最好方法是创造未来。
Both incentives and punishments elicit powerful responses.
——在上海中国国民党本部会议演说,1920年11月4日