A public-opinion poll is no substitute for thought.
一个公开的民意测验无法代替思考。
The secret of good baking is to keep it simple.
计算的目的是洞察力,而不是数字。
诗人是一个能看到看不见的东西并听到听不到的声音的人。
I’m not interested in an afterlife. I’m interested in this life.
I think it is in the nature of poetry to be always hinting at something beyond what is actually said.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
I'm not here to please everyone. I'm here to be true to myself.