pretentious7 pretentious7@mathstodon.xyz
I like computers, lambda calculus, and type theoretic proofs, among other things.
I work at https://driftingin.space, in NYC
I'm also a hindu.
(PS. follow reqs are mostly automatic, just have a profile pic and some posts)
modulux @modulux@node.isonomia.net
Marxist, law graduate, civil servant, writer, coder. Blind.
Location: Galicia, Spain, EU.
Interests: #writing #poetry #sf #rust #coq #marxism #tech #erotica #bdsm #kink
Languages: en es gl de eo
Funniest way someone tried and failed to insult me: commander of the queer communist revolutionary corps.
Personal blog: modulus.isonomia.net
MATRIX: @modulus:matrix.org
maloki @maloki@goblin.technology
You can officially talk with me about #GoToSocial and #Tusky here.
I will post about Masto meta, ActivityPub, some of the tech, but also social aspects on here.