从那天开始，如果我要去哪里，我就跑着去。
From that day on, if I was going somewhere, I was running.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The most interesting art is the art that doesn’t give you all the answers.
说再见就是死去一点点。