The future of computing lies in the development of systems that can verify their own correctness.

"The present is always invisible because it's environmental and we're fish."

除了感官，什么也不能治灵魂的创痛，同样，感官的饥渴也只有灵魂解除得了。

I believe in the power of storytelling.

树木是大地向倾听的天空诉说的无尽努力。

科学中真正的理解来自于连接看似不相关的点。

地球提供了足够的东西来满足每个人的需求，但不是每个人的贪婪。

化学工业是现代文明的支柱，我们必须以应有的尊重和责任对待它。