Handy measure: the distance between your fingertips of your outstretched arms at shoulder level is your height.

幸福的幸里面是一个“幸”，不是一个“辛”。  或者理解成，Y=Why=为什么，I=我。幸福里面没有为什么，只有我。 

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

I think art is about trying to understand the world and your place in it.

预测未来的最好方法就是创造未来。