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 @[email protected]

some kind of a #9front developer? she/they
code: https://git.sr.ht/~ft
pics: @sigrid
videos: @sigrid

mirabilos @[email protected]

I only look in here occasionally. Do not expect much interaction, for now I’m waiting out the “Freenode situation” over at Tw*tt*r. (OK, this turned out to be a lie. Apparently one has to follow people here early, because getting at posts of nōn-followees is a PITA.)
Languages: de-DE-1901, en-DE, some la, and I might understand some nl, es or similar.

When moving instances, do notify me first, otherwise I can’t follow you on your new instance (yet). My instance runs experimental software.

Mostly interested in cats. Also, good coffee☕, garlic, cats, nature, European paganism, IT (but not those new-fangled hypes; I like my Korn Shell, Assembly, used to like C; I run VMs, not (never!) containers; I hate the way people try to force systemd upon other people and avoid it and other plagues), cats, music (baroque was the peak of all music, it went downhill from there: Beethoven and Mozart were the beginning of that; love John Rutter’s though, and Nightwish/Tarja…), cats, books, good fanfiction… oh, and, did I mention? Cats! I also dare to sing and dabble a bit in #TeamRecorder, and I go geocaching, opencaching, terracaching, … and occasionally play Munzee.
Dogs and SJWs are not welcome. I don’t come here for deep social discussions or something, so don’t bother me with these. Nor with shudder… politics.

My feed will include RSS posts from other activity feeds of mine (posted via daily cronjob, not in real time, so their post timestamp is irrelevant) as well as RTs and no CWs. RTs are not my own content and belong to the original poster. I often RT posts I do not understand, e.g. in foreign languages, just because the picture is nice or something.

I run my own single-user (so far, but I might admit personal acquaintances if they really want) instance of GtS so some tech trouble may be expected. No custom “emoji” (really, colon-magic-strings, which I loathed on other platforms already), but longer posts.

I’m personnel to Čara🐈‍⬛ (a rescue cat, FIP carrier and FIV+ but so lovely). Black cats are the best! (Though she’s got white socks and bikini.)

modulux @[email protected]

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
Funniest way someone tried and failed to insult me: commander of the queer communist revolutionary corps.
Personal blog: https://modulus.isonomia.net
MATRIX: @modulus:matrix.org

Sanchayan @[email protected]

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. https://www.last.fm/user/sanchayan_maity.

When I am not working or obsessed with code, I love to cook or watch anime. 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 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).

Blog infrequently @ https://sanchayanmaity.net.

shine @[email protected]

Rustacean, craftswoman, geek, she/her


🏳️‍🌈🦀