evertedsphere

username at gmail

programming languages, compilers, relational databases, haskell, rust, nix, (formerly) mathematics