艺术是关于接纳。它是关于拥抱你周围的世界。

书是一次你可以不离开椅子就完成的旅程。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

你的工作将占据你生活的一大部分，所以确保它是你热爱的事情。