Fachkraft für gar nix, Spezialist für Gedöns. Dönerphiler Mundwerker, Schokopuddingfan, Carbonaraconnoiseur, Eclairbär, Podcastenthusiast, challengeresistent, konstant urlaubsreif. Mindset "Leuchtturmwärter mit 25 Jahren Berufserfahrung". SH-Korri für die Programme des Deutschlandradios, hier ausgesprochen privat.

Posts sind idR unlisted, die meisten werden spätestens nach zwei Monaten automatisiert gelöscht. (Profilbild: Tobias Migge)

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.

Formal methods PhD student @ CMU, cryptographic auditing @ Cure53
Security, verification, cryptography, applied mathematics, nix, rust

I am a lecturer at #AUC (Amsterdam University College).

I teach #PoliticalEcology & #EarthScience.

I spend too much time playing around with #linux, #emacs.

I have a small blog: https://mishathings.org

I like to make #music: https://mishathings.org/music/

I play a small role in @BIJ1 #Amsterdam

Some tags of my life in random order: #Heiloo #Colombia #Nieuwmarkt #Medellin #London #SOAS #India #Bombay #AbyaYala

(Boosting is not necessarily (fully) agreeing/approving).

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

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

Internet software developer

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

I am a mathematical physicist and work as a software developer at Heilmann Software.

I spend most of my time coding #Haskell and am a member of the #NixOS Haskell team and the #GHC Steering Committee. Apart from that I love choir singing, ballroom dancing and playing #TTRPGs.

Try out my projects:

https://code.maralorn.de/maralorn/nix-output-monitor
https://matrix.to/#/@nixpkgs-bot:maralorn.de

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.

Functional roboticist. 
Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.

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.

#programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself #indieweb #rss #blogging

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

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

He/Him | Recovering Android Engineer | Baby Rustacean and Nix enjoyer | Ask me for pictures of my dog!

Languages: DE, EN

Over 11 years experience in Rust development and Nix/OS. 17 years experience in SW and F/LOSS development.
Works with Rust professionally and fulltime <3

she/her 🏳️‍⚧️🏳️‍🌈
nixos, zellij, nushell and nvim
go und rust
teilzeitheizung
catgirl with pet nashorn (Claire)
trans & confused - pls hug (and cuddle)
Nähe Düsseldorf, Köln
likes cute girl-flavoured humans
probably would like to eeep at the moment
23

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

Hack on operating systems and programming languages. He/Him.

Improve tooling for Guile and Guix.

Author of Guix Home, RDE, Arei/Ares Guile IDE.

74830A276C328EC2 at keyserver.ubuntu.com and keys.openpgp.org.

#plt #os #fp #lisp #scheme #clojure #guile #guix #nix #rde #emacs

I am #AntiFA
Astronauts always said upon return from space flight: I Haven’t seen any borders from orbit, just a beautiful blue ball. Therefor: #NoBorders #SlavaUkraini
And: #nvim #homeassistant #floss #esp32_8266 #raspi #grafana #nixos #linux #linuxOnOldAppleHardware #tinkering #python #ClimateCrisisIsHappening #archlinux #hyprland #MechanicalKeyboards #Keyboards
Why the clippy? Watch: https://youtu.be/2_Dtmpe9qaQ?si=K70CP0UXBjyCWiZ4

Science fanboy.

Software developer, previously software tester. #PHP, #bash, #python. Some #PowerShell, #Java, #C and #Z80Assembly (Ti-83)

Otherwise interested in #Rust, #Elm, #NixOS, #Erlang, #Elixir, TLA+, and #ReasonML / #ReScript.

Ran a #seascouts troup for a while.

Speaks Dutch, English, German, some French, and a tiny bit of Mandarin and Spanish.

🧙‍♂️ Software Eng & 📸 Photographer

#nix #rust #python #javascript & #typescript

#homelab #photography

🚧 posts and opinions are my own