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

You can't just keep doing what works one time, everything around you is always changing. To succeed, stay out in front of change.

最可怕的事情是完全接受自己。

The body is not a thing, it is a situation: it is our grasp on the world and our sketch of our project.

我们对壮观不感兴趣。我们对具体感兴趣。

小说是一面反映社会灵魂的镜子。