There are certain things that we cannot make ourselves believe， no matter how hard we try.

世界是由转瞬即逝的时刻组成的马赛克，每一个时刻本身都是珍贵的。

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

生活中最好的部分就是犯错并从中学习。

悲伤不是线性的。它不会整齐地从否认走向接受。

The simple step of a courageous individual is not to take part in the lie. One word of truth outweighs the world. In keeping silent about evil, in burying it so deep within us that no sign of it appears on the surface, we are implanting it, and it will rise up a thousand fold in the future.

Collaboration beats competition when the goal is meaningful progress.