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

Sigrid Solveig Haflínudóttir @sigrid@nein.ftrv.se

A fellow random number generator.

shine @shine@gts.churanova.eu

Rustacean, craftswoman, geek

🏳️‍🌈🏳️‍⚧️🦀