The successful trader is one who has a plan and sticks to it.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The human being is a most curious creature. He thinks he has got one soul, and he has got dozens.
我是个失败的诗人。也许每个小说家最初都想写诗,发现自己做不到后尝试短篇小说——那是仅次于诗歌要求最高的形式。连这个也失败了,他才会转向长篇小说。
我们成功的真正衡量标准是我们为后代留下了什么。
I don't believe in charity. I believe in solidarity.
The world is what it is; men who are nothing, who allow themselves to become nothing, have no place in it.