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

Ich spiele für mein Leben gerne und dies am liebsten unter Linux. Verrückt? Ja! Aber es macht riesige Freude. Meine Erlebnisse damit, sowie Berichte über die Mobs und Endgegner die mir dabei so über den Weg laufen, werde ich hier dokumentieren und teilen.

P.S. Für witzigen Sachen und politisch relevanten Themen bin ich auch zu haben.

⚠️ manchmal Kompensationsaccount fürs Reallife

names: Rain (レイン), Luka (ルカ), Anna (アナ)

- likes programming in Rust, Java ​
- using NixOS and maintainer for nixpkgs
- NixOS servermaid
- foxgirl between feral and domesticated, likes cuddling, will hug a Blåhaj and hide her face with it sometimes
- 🏴‍☠️
- does 3d art and drawing
- experimenting with music with LMMS and a MIDI keyboard (need to repair)
- electronics projects with rust for ESP32 :3
- ATX kink
adult.

you can flirt with this one, pet it or put it on a leash

rail girls ❤️🛤️

might post nudes

Open Source enthusiast. Lover of functional programming. An all-around nerd who likes to wear bow ties.

American living in Germany.

Researcher and PhD Student in Bioinformatics at the University of Tübingen.

Author of Effective Ruby.

I think society should focus on people and not markets, criticize ideas instead of people, and stand united against extreme ideologies (I'm pointing at you fascism).

#Emacs #Nix #NixOS #Linux #Bioinformatics #FOSS

Señor #DevOps person, #HumanDad and a #CatDad living in #Vienna. Into #golang, #NixOS and long walks on the beach.

"Is muid an drúcht geal ceo ag cuir i gcuimhne dó
Go n-éirionn an fhuiseog beo in sa cheol" - Móglaí Bap

#Gaeilge #NixOS #FreeSoftware Bogearraí Saoire Eite chlé #Esperanto #Ceol #Trad #TraditionalIrishMusic #Rothaíocht #Cycling
sé/siad

📚🍫🍦🚲 ★ ICH bin NICHT schuld, wenn's Wetter schlecht ist. ★

Nix als Rosinen im Kopf. Albernheit wird unterbewertet. ★ #ADHS seit 1/2 Jahrhundert.

🚲 Trekking-, Falt- und Lastenradbesitzerin (Pegasus mit Alfine 11, Birdy red, Nihola). ★ Vegetarierin, #avap (as vegan as possible) ★sie/ihr she/her, weiß (aber nicht käsig)

★@​​​Hamburg 
❤︎ Berlin/NYC

‼️Hätte gern mehr Frauen in meiner TL & mehr VerfolgerINNEN.
 🏳️‍🌈welcome. [tootfinder]

Anti-Genocide Israeli, GNU/Linux and free software enjoyer (trying out Nix (Lix)), brony but not really active in the community, I like to draw occasionally but I'm terrible at it.

Code a little, not too much. Mostly #FOSS.
Livable planet enthusiast.
Sometimes shitposting, always antifascist.

Loves hacking on infrastructure at home or at my local hackspace. Lately especially in love with Nix(OS)
Otherwise touches computers way too much.
Meow
no berry
Posts mostly in English, sometimes German.
Feel free to follow request.

💜 @yuri

Technical IT consultant
Bicycle enthusiast
interested in Linux and FOSS (not exclusively)

Mal sehen, ob wir es schaffen. All diesen Hass. Aus den Köpfen wieder rauszuboxen.
#fckafd; #prüf; #merzleckeier; #nichtmeinkanzler;
AfD schlimm, schlimmer. Muss weg. #AfDVerbotjetzt
CDU kann nix. Schafft nix. #BuhCDU.
SPD schlapp, schafft sich ab #OchneeSPD

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.

⁂

“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)

Hobbybäcker und Läufer.
Wahlduisburger mit einer Vorliebe für gutes Essen. Kuchen geht immer 😀
Beruflich mache ich irgendwas mit IT - im ÖD, also nix für Weicheier und ein Zeichen von Leidensfähigkeit. 
Professioneller Facepalmer - manchmal braucht der Mensch mehr Finger.
 #laufen #brotbacken #sauerteig #duisburg

Wohne in #Hameln. Interessiere mich für die Lokalereignisse meiner Stadt und den #Journalismus dazu. War fast drei Jahrzehnte lokal aktiv beim Bund für Umwelt und Naturschutz Deutschland. Habe als #Polizei Gewerkschafter (GdP) meine Ämter weitergegeben. Engagiere mich aber in den Themenfeldern Gefahren für unsere #Demokratie und die Geschichte der Weimarer Republik (Polizei und das historische Reichsbanner Schwarz-Rot-Gold) Anmerkung: Hat nix mit „Reichsbürgern“ zu tun. Ist quasi das Gegenteil.

Member of @dielinke #FCKPTN #GrassyTramTracks #NixOS #Vegan

I trust code more than politics.

Always busy with computer, tech stuff and mostly #linux #arch #nixos and #python #freebsd
Interested in energy reduction, measurement. A little politics but mostly fun and itchy remarks which trigger thinking. So read and keep smiling 🙂
Posts are deleted periodically, toots are time bound, just as humans.

Locked account but feel free to ask to follow, I will follow back
#nobots please

https://justmytoots.com/@justdude@mastodon.nl

(he/him) Environmental Scientist/Meteorologist @umphy. Built a low-cost CO₂ sensor network to monitor natural CO₂ emissions (dissertation: http://dx.doi.org/10.15496/publikation-117538), now developing meteorological payloads for multicopters.

#Linux #NixOS #FOSS #SailfishOS

#vim #git #gitAnnex #TeXLaTeX #OpenSCAD #SolveSpace

#Python
#hledger #plainTextAccounting

(tfr)

Alles und Nix

Offizieller Account, privat hier

SRE at reMarkable. Acmeist with a declarative fetish. Hates the slow. Maker. Coder. Reader. Gamer. Writer. Specialisation is for insects. tfr #nim #prometheus #kubernetes #nix #monitoring #golang