"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.#火药是我的画笔，天空是我的画布。