如果你不能嘲笑自己，你就错过了最好的笑话。
"Sometimes the best way to escape is to face what you're running from."
The work of art is a trace of the sacred.
事物的复杂性——事物中的事物——似乎是无止境的。我的意思是，没有什么是容易的，没有什么是简单的。
没有严格的执行和透明度，认证标准就毫无意义。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."