找出人们喜欢读什么样的书的唯一方法就是出版书籍，看看会发生什么。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
Music helps me find my way and also lose it.
Fear is just a story we tell ourselves.
The test of a first-rate intelligence is the ability to hold two opposed ideas in the mind at the same time, and still retain the ability to function.
I'm just trying to change the world, one sequin at a time.
Nature has provided us with incredible tools to study biology; we just need to know where to look.