The future of computing lies in the development of systems that can verify their own correctness.
客户满意度应该是每个商业决策背后的驱动力。
Courage is the most important of all the virtues because without courage, you can't practice any other virtue consistently.
我们要做的是让用户的生活更简单。
君子掌权临事，那么连小人都能变为君子，处在这种情况里，还不能成为君子的，那就是货真价实的小人了；小人弄权擅事，那么一般人都沦为小人，处在这种局面下，仍然不沦为小人的，那就是不折不扣的君子了。
The novel is a mirror that reflects not what is, but what could be.
A healthy forest ecosystem supports both nature and commerce.