What I seek is the obliteration of the self, merging with the universe.

The more you learn, the more you know. The more you know, the more you forget. The more you forget, the less you know. So why bother to learn?

最大的风险是不冒任何风险。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

The world doesn't need more consumption - it needs better consumption.

照常经营不再是可选项。