我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
我们必须不断学习,因为计算领域总是在不断发展。
If you’re not failing occasionally, you’re not pushing the boundaries enough.