Systems software toucher. Functional programming enjoyer. Alleged math nerd. Fascinated by compilers and proof assistants.
- Probably near my computer
-
05:13
(UTC +02:00) - https://compilercrim.es
- https://donotsta.re/mei
Earned achievements
Pair Extraordinaire
Pair Extraordinaire
Loading
Pull Shark
x3
Pull Shark
x3
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Starstruck
x2
Starstruck
x2
Loading