我们生来就带着某种包袱。我们就是我们：我们出生的地方，我们出生的身份，我们被抚养的方式。我们有点被困在那个人的身体里，而文明和成长的目的就是能够伸出手去，对其他人的感受有一点点的同情。

I believe in the power of storytelling.

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

想法就像鱼。如果你想抓小鱼，你可以待在浅水区。但如果你想抓大鱼，你必须去更深的地方。

所以君子严于律己、宽以待人，而平庸的人却宽以待己、严于律人。 

数学不仅仅是关于数字、方程、计算或算法：它是关于理解的。