人们的需要和他们的渴求可能非常不同。
Nature never deceives us; it is always we who deceive ourselves.
任正非在一次高层会议上提问:“我的水平为什么比你们高?”,大家回答:不知道。任正非说:“因为我从每一件事情(成功或失败)中,都能比你们多体悟一点点东西,事情做多了,水平自然就提高了。”
The future of computing lies in the development of systems that can verify their own correctness.