User: lock1

Created: 4/26/2025, 1:07:45 PM

Karma: 25

just a random guy that likes type system & math a little bit too much.

day to day: Java, Rust, Haskell

submissionscommentsfavorites