实现明天的唯一限制将是我们今天的疑虑。
"I write to escape myself, but I always end up finding myself."
Writing is the only thing that, when I do it, I don't feel I should be doing something else.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."