rom

I have been programming since 2013 ± 1 year. I use any pronouns.

interests?

complex software written with minimal lines of code
programming based on mathematics (category theory, type theory, cryptography)
extraordinarily performant software
extremely formalized codebase construction

hobbies?

when I feel like it, I study math and french.