The future of computing lies in the development of systems that can verify their own correctness.

The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.

Every song has its own journey.

I don’t let the future define me, I let it refine me.