"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.