"The world is full of obvious things which nobody by any chance ever observes."

Writing is the only way I have to explain my own life to myself.

今天艺术的任务是将混乱带入秩序。

真正的领导力是关于服务他人，而不是被服务。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

Don't ever let anybody tell you they're better than you.

成功不是关于成为最好的，而是关于让他人变得更好。

The most powerful element in advertising is the truth.