我不是来取悦所有人的,我是来做自己的。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
你要格外严谨,尽可能做出最好的东西。找出所有问题并解决它。寻求负面反馈,尤其是来自朋友的反馈。