quantified
Description
I make art, play with type theory, and put together well-typed software libraries while reading up on anarchist theory.
Linked Accounts
quantified owns the following accounts on other platforms:
History
quantified joined 7 years ago.