Why do I stand up here? I stand upon my desk...to remind myself that we must constantly look at things in a different way.

The only thing that counts is what cannot be explained.

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

Writing is a way to confront the past.

总是听从你的直觉。它知道你的头脑还没有弄清楚的事情。