Writing	Blog • BlueSky
Code	GitHub • Hackage
GnuPG	public key • Keybase • Keyoxide

What I Do [ᴄᴠ]

I am an independent researcher with two massively-multidisciplinary foci.

My primary research focus is in unifying formal theories of “language”; that is, in cross applying theoretical work from the fields of formal linguistics, computational lingustics, logic, constructive mathematics, and type theory. More particularly, I am interested in the interface between morphology and semantics — especially when multiple languages interact, as in: translation/compilation, code-switching/EDSLs, metaprogramming/metalinguistics, etc.

≪more≫

❦

My secondary research focus is on gender/sexuality studies — including the linguistics, anthropology, and philosophy thereof. This research often crosses over into my activist work on dismantling all interlocking forces of marginalization, oppression, and social injustice; which is discussed more fully on the About page.

❦

Social Media

Both my blog and my bsky range wildly over all of the topics mentioned above. My blog leans more towards the professional research side of things, plus personal discussions of ableism & accessibility and living with mental & physical disabilities. If you are only interested in the professional side, then here’s a filtered version which includes only the Haskell- and math-oriented posts. Conversely, my bsky leans more towards the activism side of things.

I can also (sporadically) be found as wrengr on IRC on either irc.libera.chat or irc.oftc.net.

It’s been a long time since I’ve been active in other communities (Reddit, StackExchange, etc). If I start engaging with those communities again, I’ll add links to them here and on Keyoxide.

❦

Cryptographic Identity

Privacy saves lives and is an essential component of a free and just society. Therefore I am a strong advocate for encrypting all personal communications. For example, I use Signal in lieu of SMS, and recommend more people do so.

But cryptography is about more than just privacy; it is just as important for ensuring that things come from who you think they come from, and that they have not been corrupted or tampered with along the way. So if you want to either send messages only I can read, or verify that something has come from me, you can use My GnuPG public key: 5651 8307 703A C6C5 F86F A7D6 211B 98FF DD8B B721. To decide whether you trust that this key corresponds to the human behind various social-media accounts online, check out my profiles on Keyoxide and Keybase (alas, since Zoom acquired Keybase in 2020, they seem to have left it to wither on the vine). Years ago I also uploaded it to the classic SKS keyservers, but sadly those seem to have been essentially killed off in 2021 [link] (2024 followup).