"The line between hero and villain is often blurred."

感恩释放了生命的丰盛。它将我们所拥有的变成足够，甚至更多。它将拒绝变成接受，混乱变成秩序，困惑变成清晰。它可以将一顿饭变成盛宴，一所房子变成家，一个陌生人变成朋友。

我宁愿毁灭世界也不愿划伤自己的手指。

音乐是灵魂的心跳。

物理学是简化的科学。

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

I like talking to a brick wall, it’s the only thing in the world that never contradicts me.