逻辑是一回事，常识是另一回事。

Architecture is the art of creating harmony between man and nature.

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

你越爱自己，就越不会容忍无意义的事。

最好的学习方式是通过实践，而不仅仅是听或读。