user:lock1
created:3 months ago
karma:40
about:just a random guy that likes type system & math a little bit too much.

day to day: Java, Rust, Haskell