I make art, play with type theory, and put together well-typed software libraries while reading up on anarchist theory.
quantified werd 7 jaar geleden lid.