pretentious7 pretentious7@mathstodon.xyz

Open on 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)

ArticlesSubscribersSubscriptions

Alex Schroeder @alex@social.alexschroeder.ch

Biology, Plants, Birds, Photography, Switzerland, Emacs, Wiki, Gemini, Programming, Tea, Drawing, Music. Moving over from kensanata@octodon.social, slowly.
Languages: gsw de en fr pt.
He/him.

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
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.

Oliver Lowe @o@gts.olowe.co

Rollerblading, programming, writing, documentaries, travel, motorbikes… That’s it!