About Julian Berman

#jsonschema TSC member and author of the Python implementation. lean.nvim author, bringing #neovim support to my greatest addiction: the Lean theorem prover. (And various other OSS projects.)

Free time is lots of travelling, music-ing, photog-ing, #coffee-ing, #chess-ing & learning.

I hate politics and rhetoric, but it is no longer the time to stay silent.

(Work is VP of Client Innovation at Quantum Rise, but no work opinions here.)

he/him

Lists

Timeline

JulianWasTaken has no activity yet