Mathematics is the art of giving the same name to different things.

Life was simple before World War II. After that, we had systems.

The biggest risk is not taking any risk.

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

Stay Hungry. Stay Foolish. And I have always wished that for myself. And now, as you graduate to begin anew, I wish that for you. 

We must design products with their end-of-life in mind from the very beginning.

遗忘比绝望更强有力。