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)
sebastian @sebastian@schottkydio.de
Eimer mit Profis bearbeiten ... oder so
Open Source Hard and Software, HAM Radio and messing around in general.
Backup account: sebastian@chaos.social
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.