我们不是从祖先那里继承了土地;我们是从子孙那里借来的。
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
我总是相信,只要我尽力了,结果自然会随之而来。