Currently python stuff. Learning rust and scala. Interested in learning agda and hott. Too much stuff, too little time. He/they
blackle mori @[email protected]
I do lots of random stuff because my brain has too many chemicals inside of it. 1994 ⚧ it/its