The proletarian movement is the self-conscious, independent movement of the immense majority, in the interest of the immense majority.
"Beauty is a form of genius—is higher, indeed, than genius, as it needs no explanation."
The future of computing lies in the development of systems that can verify their own correctness.