Being brave isn’t the absence of fear. Being brave is having that fear but finding a way through it.
做你爱做的事，钱自然会来。
人类大脑是社交大脑，它的进化是为了处理社会关系。
The ideas I had about supernatural beings came to me the same way that my mathematical ideas did. So I took them seriously.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."