You can't get mad at any situation, you gotta laugh at it.
我不是先知,我不是圣人,我只是一个声音。
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。