自然界没有废物——每样东西都是其他事物的养分。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
你的工作将占据你生活的一大部分,唯一能真正满足的方法就是做你认为伟大的工作。
"I don't take anything for granted. I work for everything I achieve."
我不需要大声才能被听到。