The only productive way to answer “what should I do now？” is to first tackle the question of “who should I become？”

A good system design is one that makes it easy to do the right thing and hard to do the wrong thing.

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

石油的真正成本不仅仅是每桶的价格，还包括环境和社会影响。