# about

hiiii,,,

this is 16af93's account (short 16a, also uses a bunch of other names) and it posts stuff:tm: ranging from technology and the occasional politics over trains to yearning and shitposts

## labels

some labels that apply to it:
gay(bi/pan)🏳️‍🌈, trans 🏳️‍⚧️, polyamorous, kinky, neurospicy, techfuck :neobot_laptop: , traveler 🇪🇺🚆, train enjoyer, very fucking gay 🥺

## technologies and other techfuck things

it uses nixos and is currently in the process of rebuilding the infrastructure it once had, and writes python code (since years and since late 2023 even as its job!)

## contacting it

its DMs and other messengers (prefered signal, but it also uses briar, veilid, email) are always open for entities to write it and it is always happy to meet new entities in physical form (it loves visiting places)

## re: critter, entity, person/people

it prefers using terms like 'entity' or 'critter' over 'people'/'person' as not every entity identifies as human or person (like itself!). if this is a problem for you then it can't really help you

PhD student with Ralf Hinze in Category Theory for the design of Proven Correct, Total Algorithms
#categorytheory #agda #haskell #nix #emacs Recursion Schemes Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend #meditation Yin #maker 🇪🇺an

5G Inside

Da manche eine Bio toll finden, dann schreib ich mal hin was mir Spontan einfällt, da eigentlich über mich nix tolles zu schreiben gibt^^

Fahre gern E-Scooter (Super um Fix von A nach B zu kommen) Interessiere mich auch für EBikes und Lastenräder.

Finde Autos nicht doof, nur die dummen Autofahrer die da meist am Steuer sind.

Sonst finde ich vieles Interessant, merkt man meist am Kommi drunter :)

Mehr fällt mir gerade nicht ein was hier so stehen könnte

Three anxious sysadmins in a trenchcoat. DevOpsSec mercenary.
#nix #rust #python #ruby #linux

Just a 20-something guy from #India 🇮🇳. Some things that are important/of interest to me - #Linux, #NixOS, #FOSS, #ClimateChange, #Veganism, #kpop, #kdrama.

git log -p -- @xameer

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge #noai
send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
#rust #nix , bits of #haskell #ocaml
DP - shamelessly stolen from a an fp video i watched

Some lefti , NixOS , Linux , Chaos

I write (and sometimes rant) here about my DevOps experience at work, the hackspace and at home.

Don't be afraid of colorful flags 🏳️‍🌈🏳️‍⚧️🚩🏴

"If the rules are the problem, the rules must change!" ~ don't know

19 years old student from Germany doing (computer) things

Believe me, I try

Some of the things I like/am interested in are: music, gaming, cats , linux , FOSS, programming, memes, running, cycling, math/science/tech (but not in a techbro way)

I also like learning new things (currently dutch and playing bass)

I use NixOS btw

https://justmytoots.com/@[email protected]ommunity

3D Generalist and Animator. Creating art to fund mutual aid and open source infrastructure. CC-BY-SA and AGPL. https://reddit.com/r/CRboxes admin.

Just an arctic fox doing infosec. Also doing DIY electronics and photography.

I may talk your ear off if I know you, or something about the matter. While I do I work on it, don't say I didn't warn you!

Posts may be in English or sometimes German.

⁂

See also my Pixelfed account @varbin for pictures of fursuting, DIY electronics and macro shots of flora.

Treasurer of @Port39 — the hackerspace in Stralsund.

⁂

“We can disagree and still love each other unless your disagreement is rooted in my oppression and denial of my humanity and right to exist.” — James Baldwin

⁂

I used ⁂ before it was cool.

Background image FN2A3630 is CC-BY-SA 4.0 licensed by Nixette at Wikimedia Commons (https://commons.wikimedia.org/wiki/File:FN2A3630.jpg)

Budding software developer in the Pacific Northwest, presently looking for work!

To support me or something I'm working on, visit ko-fi.com/antlers704 or reach out directly c:

Opinions are my own*
Boosts != Endorsements

"it was the pursuit of performace which convinced me that emacs makes promises it can't keep (though ik it means well)"

"you know a lot of, like, trivia undersells it -- you've been *into* every talk" - Jay @ SeaGL
too much time online >u<

Tags: Nix, open-source, linux

🇪🇺 European

Cloud computing, web development, multimedia, languages and pen and paper. Sometimes computer graphics. Mainly 🦀 Rust, Go and TypeScript.
I use ❄️ Nix btw.

🔬 MSc Computer Science (2019-2022 @uniheidelberg).
👨‍💻 Co-founder of @alugha.

Toots in German and English.
#MastoAdmin at @admin.

#fedi22 #rustlang #programming #linux #macos #tech #cats #nixos #rust #golang #typescript #devops #sysadmin #kubernetes searchable

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.

If you want to follow me, please make sure your profile has some info that helps me learn about you.

#fedi22 #programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself

Professional full-time Nix hater and part-time Haskell liker. Former world's fastest Nameless One. Jewish refuge. Transbian menace 🏳️‍⚧️🏳️‍🌈. She/Her.

🙋‍♂️ They/Them

JavaScript fanboy and expert in bug creation. I also do Nix things.

Be excellent to each other.

Software developer with an unrequited love for NixOS

日本語を学んでいる

Hello! I'm just your friendly neighborhood nerd with 10,000 hobbies.

I'm working on an open source TTRPG called #uune, I'm a long time member of the #luanti community, and I've been using Linux for over 10 years now.

If you have any questions, or if you want to chat me up about anything, feel free to reach out in public or in private.

I like to build simple, secure and resilient information systems to empower and connect people. I believe that this is best done with Free Software, open data standards, open protocols, and restrained craftsmanship.

I am happiest when I get to do this work with those fighting fascism, ethnic-cleaning, genocide and protecting our environment.

To make a living, I provide consulting and coaching services for software, data, and security engineering.

#guix #nix #nixos #scheme #lisp #commonlisp #clojure #emacs #orgmode #privacy

Essen und Radfahren

No alt Text? No boost! 🤷‍♀️

Folgeanfragen werden nur angenommen, wenn ich so ungefähr erahnen kann, warum Du mir folgen willst. Und auch dann nur, wenn sonst nix dagegen spricht :-P

Bildbeschreibung Header: Auf einer Seebrücke am Meer steht ein Lastenrad mit Tourengepäck.

Bildbeschreibung Profilbild: Nussschnecken auf einem Kuchengitter.

• She/Her • 21 • 🇧🇷, talk 🇧🇷🇬🇧 • Valve & FOSS fangirl • Mermaid 🧜‍♀️ • 🏳️‍🌈 Lesbian ⚢ •





Loves #swimming, #cooking, #mermaids and #gaming. #OpenSource everything. #Linux user.

https://luana.dev.br/

Searchable!

Migrated from @luana