"Memory is a tricky thing; it can be both a blessing and a curse."

耐心也是一种行动。

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

The rate at which a person can mature is directly proportional to the embarrassment he can tolerate.

You can't just sit there and wait for people to give you that golden dream. You've got to get out there and make it happen for yourself.

No one is an artist unless he carries his picture in his head before painting it.

I hope it will not be long before we have a machine that will be able to solve all mathematical problems.