"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们读书是为了发现自己是谁。
Sustainability isn't just good for the planet—it's good for business.
倘使让我来决定,我们应该是有一个政府而不要报纸,还是应该有报纸而不要政府,我会毫不犹豫选择后者。
Gunpowder is my brush, the sky is my canvas.#火药是我的画笔,天空是我的画布。