我的目标不是打败别人,而是超越自己。
现实是:有时候你会输。你永远不会因为太好而不输。你永远不会因为太强大而不输。你永远不会因为太聪明而不输。这会发生。
有时最意想不到的发现会带来最大的进步。
The past is a cupboard full of light and all you have to do is find the key that opens the door.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
释义:权力决策必须冷酷,优柔寡断者不配掌权。
Every story is a journey, and every journey changes us.