"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

忽视与无知不同，你必须努力去忽视。

To write is to bear witness to the world's beauty and cruelty.

Science is about connecting the dots between seemingly unrelated phenomena.

我在很早之前就决定要无条件接受生活。我从来没有期望任何特别的事情发生，但我获得的总远远超过我的期望。但大部分时候，发生在我身上的事我都没有刻意追寻。

生命可以归结为一种简单的选择：要么忙于生存，要么赶着去死。

真相并不总是美丽，美丽的言辞也不一定是真相。

To paint is to pray with the hands.

To be an artist is to be constantly questioning.