The future of computing lies in the development of systems that can verify their own correctness.
The best way to learn a new programming language is by writing programs in it.