"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
通过不属于我们的模式来解释我们的现实,只会让我们越来越陌生,越来越不自由,越来越孤独。
I've found time can heal most anything, and you just might find what you're looking for.