Science is the art of asking the right questions.
我不相信幸福的结局。我相信真实的结局。
"The world is a beautiful place and worth fighting for."
人生的主要任务就是:识别和区分事物,这样我就能清楚地告诉自己哪些是外部不可控的,哪些是我实际可控的选择。
我认为生活中最重要的事情就是快乐。
The future of computing lies in the development of systems that can verify their own correctness.