The future of computing lies in the development of systems that can verify their own correctness.

You are never too old to set another goal or to dream a new dream.

There will be obstacles. There will be doubters. There will be mistakes. But with hard work, there are no limits.

戒烟很容易，我已经戒了一千次。