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

Hi, ich bin Pascal, ein Schüler aus Ludwigshafen am Rhein.

Ich
- fotografiere gern
- nutze #NixOS
- programmiere in #Python, #RustLang , #Kotlin & #JS

https://socialfolio.me/Cameo007

https://keyoxide.org/aspe:keyoxide.org:UMQXUAGZD2FKDDS4ZROP3XHXIE

Das ist nur für #Keyoxide:
$argon2id$v=19$m=512,t=256,p=1$5yi1Ae3rShdIUkDtt6l2kA$r/Kwm0dOTQlnjY2jKuZGQcKA27r5CN5omVn0Zx5UKMg

Tootfinder darf hier suchen.

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

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

"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

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

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

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

#OpenSource and #OpenData fanboy & contributor (#KDE, #NixOS, #OpenStreetMap)

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

Writing Android keyboards (https://codeberg.org/natkr/flickboard) for fun, Kubernetes operators for money. Sometimes helps maintain https://kube.rs. Enjoys (the idea of) Nix.

Swedish, but bad at it.

Queer. Fascists can go pound sand.

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

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

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

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.

"""musician""", """""developer""""", autism extraordinaire 🇵🇱

fond of nix, zig, niri, neovim, clap (audio plugin api)

yap to me about free software, pretentious music and especially everything in-between

ukraininan AuDHD femby transfem cat-/fops-thing :з she/they 19y.o. i love messing around with (read: to torture) tech things shy af and perpetually eepyy make sure your profile is not *completely* empty before sending a frq (I'll prob follow u back ^-^) also, feel free to dm me :3 May say/post/do stupid stuff, please let me know if i did sth wrong or offended you in any way <3.; Might boost or post nsfw stuff sometimes, always under CW trans rights are human rights 🏳️‍⚧️ be gay do crime :3c (moved from @[email protected]) #nobot (non-sentient kind) #noarchive #nobridge #noindex #nosearch #nomurder (preferably) #nowar $[x2 $[spin ]]

🇫🇷🇬🇧
Linux, Python and Homelab enthusiast

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

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

internet dinosaur. dev.

compares everything to IRC.

#nixos #emacs #cpp

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