The only way to learn a new programming language is by writing programs in it.

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

恐惧无时无刻地在我们耳边窃窃私语、在我们眼前高声呐喊；而信念必须由你们每天在镜中看到的自己培养。前者总是紧追在我们身后、纠缠不休、令我们停滞不前；后者则激励我们、带给我们惊喜、刺激我们的创造力、驱使我们不断地前进。

The longer you look at an object, the more abstract it becomes, and, ironically, the more real.

No need to hurry. No need to sparkle. No need to be anybody but oneself.

I like dogs. You always know what a dog is thinking. It has four moods. Happy, sad, cross and concentrating.

"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."