在回报方面，时间是你的朋友。但在成本方面，时间是你的敌人。

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

地质学的进步因用想象的原因代替真实的原因而大大受阻。

唯一的失败是从未尝试。

I keep thinking about this river somewhere, with the water moving really fast. And these two people in the water, trying to hold onto each other, holding on as hard as they can, but in the end it’s just too much. The current’s too strong. They’ve got to let go, drift apart.

机会就在抱怨的地方。

The man who believes that the secrets of the world are forever hidden lives in mystery and fear. Superstition will drag him down. The rain will erode the deeds of his life. But that man who sets himself the task of singling out the thread of order from the tapestry will by the decision alone have taken charge of the world and it is only by such taking charge that he will effect a way to dictate the terms of his own fate.