我们只在童年时看过一次世界。其余都是记忆。
译文:一百里的路程,走到九十里也只能算是才开始一半而已。
Never stop learning, because the world never stops changing.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."