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)
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.
Sigrid Solveig HaflÃnudóttir @sigrid@nein.ftrv.se
A fellow random number generator.
Amin Hollon 🇺🇸🇲🇾🇮🇳🇦🇫 @amin@alpha.polymaths.social
Amin is short for Benjamin.
Life is truly a journey. Mine began in Bakersfield, California, but three months later took me to northern Afghanistan 🇦🇫. I took the scenic route through India 🇮🇳 and Malaysia 🇲🇾, and am currently braving a four-year foray through higher education at Texas A&M University, studying Communication and Professional Writing. Along the way I've learned musicmaking, storytelling, the art of performance, and technological mastery.
Wanna see where my journey takes me next?