在科学中，最重要的不是获得新的事实，而是发现思考它们的新方法。

The best way to predict the future is to invent it.

诗歌是表达不可言说之物的艺术。

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

I decided, very early on, just to accept life unconditionally; I never expected it to do anything special for me, yet I seemed to accomplish far more than I had ever hoped. Most of the time it just happened to me without my ever seeking it.

世界被创造出来是为了在一本美丽的书中终结。