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

"Writing is a way of exploring the complexities of human experience and the nuances of identity."

The only thing that can make you happy is doing what you love.

Libraries were full of ideas—perhaps the most dangerous and powerful of all weapons.

生活就是创造你自己。