我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
"Books say: She did this because. Life says: She did this. Books are where things are explained to you; life is where things aren't. I'm not surprised some people prefer books."
我认为人生中最令人遗憾的事情是你没有去做的事情。