生存的唯一方法就是要有幽默感。
The only way to survive is to have a sense of humor.
我们要做的是让每个人都能享受到互联网的红利。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
写作就是抵抗。写作就是存在。
The more you can see, the more you can feel.
Keep your circle small and your dreams big.