my proposal of writing an exposition of linear type theory as the final project for my quantum computation course was not approved and now i may have to resort into even more formal obscurity😈
| pronouns | 妳, they/them |
| formal sciences | nPOV, lawvere-marx-hegel, type theory, cat theory, computation, logic, formal semantics |
| advocates for: | lgbt+, trans rights, free software, open access, crypto-anarchy, right to repair, antiwar, antifa, anticapitalism, anarcho-communism, monero, cats, revolution, computational trinitarianism, academic paradigm shift to type/category theory |
| languages | en, ch, hott, ccc |