The question isn't, 'What do we want to know about people?', It's, 'What do people want to tell about themselves?'

DNA分子是所有生命的基础，理解它就是理解生命本身。

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

跟一个人相处了两个星期，不可能就此了解他究竟是怎样一个人。不过，要是我们不去尝试尝试，别人可少不了要尝试的。