我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
世界上到处都是试图互相修补的破碎之人。
我喜欢用一件事物来描述另一件事物的想法。
Art is the proper task of life.