The future of computing lies in the development of systems that can verify their own correctness.
不要让自己被贫瘠的怀疑主义所污染。