学习不仅仅是知识的积累，而是理解的转变。

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

The end is in the beginning and yet you go on.

The more we learn about our past, the better we understand our present.

A poet's work is to name the unnameable, to point at frauds, to take sides, start arguments, shape the world, and stop it going to sleep.

The only thing that can save us is to stop being afraid.

对于忠告，你所能做的，就是把它奉送给别人，忠告从来就不是给自己准备的。