I like the idea that every life has its own rhythm, that people are not simply points moving through time.

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

——记者：你认为你是美国人还是中国人呢？

我知道我自己打得像坨屎一样，但你们不知道我为了让自己打得不那么像坨屎，付出了多少努力。