Joined: 10/28/2022
Days spent on open source maintaining projects like #jsonschema, #neovim support for the Lean theorem prover, and various other OSS projects.
Nights (& more days) spent travelling, music-ing, photog-ing, #coffee-ing, #chess-ing & learning.
he/him
JulianWasTaken has no public lists
JulianWasTaken has no activity yet