just a random guy which likes type system & math a little bit too much.
day to day: Java, Rust, Haskell