The future of computing lies in the development of systems that can verify their own correctness.
Stay hungry, stay foolish.
The quarries we rehabilitate best become assets our grandchildren will thank us for.