The very least you can do in your life is to figure out what you hope for. And the most you can do is live inside that hope. Not admire it from a distance but live right in it, under its roof.
The challenge in model checking is not just to find errors, but to understand why they occur.
我不是先知或石器时代的人，只是一个有超人潜力的凡人。
互联网是一个创新的平台，但它也需要负责任的使用。
身口意三业的修行，以禅定智慧为根本
I don't want to be perfect, I just want to be real.
The Internet is becoming the town square for the global village of tomorrow.