角色必须让他们的创造者感到惊讶。
The mind is a dynamic interplay of processes.
The only thing that’s keeping you from getting what you want is the story you keep telling yourself.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The only way to do great work is to love what you do.