"A great film is one that stays with you long after you've left the theater."

"Innovation in algorithms often comes from looking at old problems in new ways."

I'm not a person who gives up on myself.

天上永远不会掉下玫瑰来，如果想要更多的玫瑰，必须自己种植。

要求不高,只求最好。

我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。