我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
插图中的每个细节都应该为故事服务。
我也许已经失去了我的心,但没有失去我的自控力。