求人要求英雄，接济人要接济那些急时没有办法的人。

You don't have to be a genius or a visionary or even a college graduate to be successful. You just need a framework and a dream.

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

"The greatest enemy of knowledge is not ignorance, it is the illusion of knowledge."

To write is to live twice.

We don't read and write poetry because it's cute. We read and write poetry because we are members of the human race. And the human race is filled with passion. Medicine, law, business, engineering: these are noble pursuits and necessary to sustain life. But poetry, beauty, romance, love...these are what we stay alive for.

I don't let anyone break me.