Raymond @mathstodon.xyz Shitposting, if anything
Fucking around and finding out (mathematical)
Trying to homotop a type theory. Big fan of round, hollow things. (I guess they don't even really need to be round)
Haskell in the streets, agda in the sheets.
Posts 0
Comments 1
Having to use windows at work makes me appreciate my desktop Linux experience at home.
@maxprime same lol. Somehow the whole os feels like one gigantic advertisement... That is trying it's best to not let you use your computer