Mikegerwitz@pleroma.mikegerwitz.com
Mikegerwitz@pleroma.mikegerwitz.com
mikegerwitz@pleroma.mikegerwitz.com
Free software hacker and user freedom activist with a focus on user privacy and security; professional software engineer; advisor to the GNU Project. I deal primarily with compiler construction and the creation of domain-specific languages and abstractions to simplify the development and improve the robustness of otherwise-complex systems. I historically did a lot of web development, and have been programming for over twenty years. Some of my personal interests include programming language history and theory, formal methods and proofs, logic and type theory, cryptography, philosophy and ethics, and writing. I don't claim to be good at any of those things. The focus of my research in recent years has been pursuant to addressing problems of practical user freedom—to make various aspects of freedom in computing accessible to more users in concrete and tangible ways that are meaningful to them beyond abstract principle and philosophy.
