The only way to do great work is to love what you do.
做出伟大工作的唯一方法就是热爱你所做的事情。
我们的美德和缺点是不可分割的,就像力和物质一样。当它们分离时,人就不复存在了。
The process of verification is as important as the process of creation in computer science.