我不是梦想家,我是实干家。
I'm not a dreamer, I'm a doer.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
在自己的思想和身体上,个体是主权者。
"I never guess. It is a shocking habit—destructive to the logical faculty."
你是别人眼中美丽的定义。