I believe in the power of kindness and compassion.
The future of computing lies in the development of systems that can verify their own correctness.