notamoon1 notamoon1@hachyderm.io
Currently python stuff. Learning rust and scala. Interested in learning agda and hott. Too much stuff, too little time. He/they
goto: blackle @suricrasia@lethargic.talkative.fish
I do lots of random stuff because my brain has too many chemicals inside of it. 1994 ⚧ it/its