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.

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

A fellow random number generator.

Sanchayan @sanchayan@sanchayanmaity.com

Trying out self-hosting using GoToSocial. Another account at https://functional.cafe/@sanchayan.

Work @ https://asymptotic.io on GStreamer, PipeWire & PulseAudio. ❤️ C, Rust & Haskell. Atheist. Views my own.

Metalhead. Love Old School Death, Black and Thrash metal. My last.fm profile https://www.last.fm/user/sanchayan_maity. Blog infrequently @ https://sanchayanmaity.net.

When I am not working or obsessed with code, I love to cook or watch anime. I love to read, but my reading has fallen by the wayside in the last few years. Also spend a lot of time watching food, cooking, train travel and Ramen/Udon street shop videos on NewPipe. Do you watch a lot of Mark Wiens 😄? Do you have recipes to share, especially using a Skillet or Wok? Send them across 😄.

Moved over from linuxrocks.online instance. Was sanchayan_maity on Twitter (now deleted).

#GStreamer, #PipeWire, #C, #Rust, #Haskell, #Programming, #Cooking, #Metal, #HeavyMetal, #Linux, #OpenSource, #FOSS, #Technology, #GoToSocial, #fedi22