The past is never dead. It's not even past.

Success is a journey, not a destination. It's about the progress you make along the way.

Words have power—use them wisely.

"Mathematics is not about numbers, equations, computations, or algorithms: it is about understanding."

二十世纪自由主义与极权主义之间的伟大斗争以前者的胜利告终。

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

The true measure of success is not just profit, but the impact you leave on people and the environment.

I don't let anyone define me.

我不认为建筑是关于传达，我认为它是关于接收。