I don't want to be perfect, I just want to be real.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
Do not be influenced by the opinions of others.
The secondary rules are those that provide for the creation, alteration, and extinction of primary rules.
也许我们能期望的最好结果,就是带着正确的遗憾结束。
"The most important thing is to stay curious."