我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
每一个巨大而深刻的困难本身都包含着它的解决方案。它迫使我们改变思维以找到解决方案。
像你这样不能在我面前曲意承欢,还不如当初没有生下你来的好。