The most important thing in investing is to have a clear plan and stick to it.
The future of computing lies in the development of systems that can verify their own correctness.