人们永远不会注意到已经做了什么;人们只能看到还有待完成的事情。
The future of computing lies in the development of systems that can verify their own correctness.
看得越多,看到的就越多。
音乐是我的激情,我的治疗,我的声音。
"I'm not a material girl, but I do like material things."