User : lock1

Created: 1745672865
Karma: 29
just a random guy that likes type system & math a little bit too much.
day to day: Java, Rust, Haskell