The process of verification is as important as the process of creation in computer science.
做数学就是与宇宙对话,寻找我们甚至可能还不知道如何提出的问题的答案。
I prefer liberty with danger to peace with slavery.
我不怕死,我怕没有尝试过。
Investing in technology today will define our ability to deliver cleaner energy tomorrow.