TLA⁺ core developer. Love formal methods & distributed systems!

Living in Seattle, WA, USA. Non-technical hobbies include BJJ & birdwatching.

Other random facts: vim user, nix/arch dual-booter, dual Canadian/US citizen, loose-leaf tea drinker, cyclist, living kidney donor, vegetarian, ecosocialist dreaming of a 2000 watt society! he/him

grosses Maul und nix dahinter.

Der Zweck eines Systems ist, was es tut.

@kami_kadse
@[email protected]

Messages supprimés au bout de 2 mois pour délester l’instance

#ResistGenAI #NoAI
#photography
#ErgoL (ex #bépo) #splitkeyboard #mechanicalkeyboard
#jeuxvidéo
#nvim #rustlang
#NixOS #Linux

« La vie, c’est comme une balançoire : il y a des hauts et des bas, mais il y aura toujours un enfoiré pour te foutre le cul par terre. » — Moi

He/him. System Rebooting Engineer (#SRE) - Working at The LEGO Group. Previously Unity, Maersk. Opinions are my own. 

BTW I use #Nix

#Italian 🇪🇺🇮🇹 #LGBTQ+ 🏳️‍🌈 #Gaymer 👾 #Gamer 🎮 #Denmark #Copenhagen 🇩🇰 #Neurospicy 🧠

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!

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

"They think I'm hiding in the shadows, but I am the shadows" - The Batman

Hi, I'm Frankie 👋

I write about Literature, Life, experiences, Tech, Privacy, and the occasional political rant

'M working hard for my Honorary Doctorate! 😉

I love constructive suggestions, but be nice

I enjoy conversation, but I randomly turn off

I sometimes forget what I said

(Ignore what I write within brackets)

"All Toots and Quotes posted are my own." - Someone's post

Boosts not=endorsements*

In a permanent foot-in-mouth state

*

"Na na na na" is the whole point of Hey Jude

I sometimes forget what I said

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
Trying to figure out this whole gender thing.
Posts mostly in English, sometimes German.
Feel free to follow request.

💜 @yuri

Computing enthusiast, distributed systems developer, GM of D&D and Lancer, NixOS and Kubernetes user, Rust and Elixir enjoyer, Deadlock player

Internet software developer

#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz

- 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 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]

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

You can’t change the people around you, but you can change the people around you.
#fedi22 #fotos #Blogg #Buch #Kunst #NixMussTunMehr

Post-open source software developer

I build komorebi, the cross-platform tiling window manager for Windows and macOS

Rust 🦀 NixOS ❄️ YouTube 📺 Palestine 🇵🇸

I yap incessantly about post-open source licensing philosophy

https://linktree.lgug2z.com

he/him

I like writing software, #rust, and #nixos
Author/maintainer of #crane

❄️ NixOS 🤩 (Security, Infra, Python and Release-Manager 22.11/23.05)

Day: Network & Infrastructure.
Night: FOSS, Home Automation

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

Some lefti , NixOS , Linux , Chaos , Pragmatist

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

Ich bin unbeaufsichtigt. Queer. HIV. (Er/ihm) they/them.

Manchmal bin ich #Autor, manchmal #Nerd und manchmal hänge ich einfach nur so an der Straßenecke herum und schimpfe auf Heteros. Demimale aber eigentlich geht dich das auch nix an.

#39C3 Content-Team-Hausmeister/Referent*innenbetreuung