战争不是解决问题的手段，只是表明问题的失败。
War is not a means to resolve issues, it only reveals the failure of diplomacy.
The future of computing lies in the development of systems that can verify their own correctness.
用音乐记录生活，用生活丰富音乐。
You have to believe in yourself when no one else does—that's what makes you a winner.
爱不是有限的资源。你给予的越多，你拥有的就越多。
"The only thing that is certain is uncertainty."
The best way to predict the future is to create it.