"Memory is a tricky thing, it can be both a blessing and a curse."
记忆是个狡猾的东西，它既可以是祝福也可以是诅咒。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
"One way of looking at speech is to say that it is a constant stratagem to cover nakedness."
做得越多，学得越多；学得越多，能做的就越多。
幸福的家庭不过是提前的天堂。