I'm not afraid to fail.
我不害怕失败。
逻辑是思考的镜子。
"I am always searching for truth in my films."
The more one judges, the less one loves.
每个人都重要,否则没有人重要。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
有时候,你必须和你爱的人分开,但这并不会让你爱他们少一点。有时候,这会让你更爱他们。
If you don't design your own life plan, chances are you'll fall into someone else's plan. And guess what they have planned for you? Not much.