once I snorted a fat line of nuance and everything started depending. watch out
It's true, this was how Martin-Löf type theory was made
once I snorted a fat line of nuance and everything started depending. watch out
It's true, this was how Martin-Löf type theory was made
these are all the same sort of animal. do you understand.
these are all small skittish creatures that love to bite and are found in drawers of garages and classrooms. they’re all related and in the same small biter family. weird little kids who play with them while they’re distracted and have empathy for them can tame them and become these beasts companions
Just wait until anti-vaxxers learn about bijections.
It’s time to make injections a SURJECTION! Every element of the codomain should get one!
I, for one, am down with trying to put math words in catchy political rhetoric.


fuck I LOVE this