当没有人相信你的时候，你必须相信自己。
人は誰でも、自分の中に闇を持っている。それが表に出るか出ないかは、その人次第だ。
I've never been interested in being average.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
The more the division of labor and the application of machinery extend, the more does competition extend among the workers, the more do their wages shrink together.
一个过程不是其各部分的总和，而是力量的动态相互作用。
It is love, not reason, that is stronger than death.