The past is not dead, it is not even past.
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
生活中最好的东西是免费的。
有时候我们对一些事情感到难过,但我们不愿意告诉别人我们为此感到难过。
我们都同意你的理论是疯狂的。我们之间的分歧在于它是否足够疯狂以至于有可能正确。