"There is nothing more terrifying than the absence of magic."

Filmmaking is a collaborative art, but the director must be the guiding force.

出自唐代百丈禅师怀海的《无题》，意思是面对一切的人、事、地、物，有缘分就留下来，没有缘分就离开；就像在清风吹拂下的白云一样轻轻随风漂浮，悠闲自在，没有非如此不可的执著。

我喜欢把数学看作一种诗歌。

最激动人心的发现往往来自意想不到的地方。

判断两个λ表达式是否等价的问题是无法解决的。

I'm interested in the human condition and what makes people tick.