The future of computing lies in the development of systems that can verify their own correctness.
最好的企业是那些为真实的人解决实际问题的人。