成功是相对的:它是我们对自己制造的混乱所能做出的补救。
Success is relative: It is what we can make of the mess we have made of things.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
The past is never dead. It's not even past.
我所有的作品都源于对人类状况的挫败感。
真正的巨人是那些坚持某些东西的人,他们清楚地知道自己想说什么,并且用力量和清晰度表达出来。