活着就是不断学习。

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

So, I'm going to end it there. But what I really want to stress is: by all means, success, yes. But let's accept the strangeness of some of our ideas. Let's probe away at our notions of success. Let's make sure our ideas of success are truly our own.

"Gold leaf is not about luxury, it's about light."

成功就是冒险，不害怕失败。

如果你想读的书还没有被写出来，那么你必须自己写出来。