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

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

Unconventional programmer 🙃

"Software is to our civilization what fission is to matter; small panache changes can cause worldwide restructuring waves."

...So I contribute to Software as Common Goods to free my homies from global mass harassment.

Baking that soup in old pots at:
Crocuda_VPS -> https://crocuda.com

_________________

Enjoying computer freedom through #linux (mostly #NixOs and #OpenWrt).

Writing #rust everyday.
_____

_with great power_

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

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

interested in #RISC-V #Rust , #Swift, #NixOS , #SIMD, #Firefox, #QUIC, #HTTP/3, #Linux, #io_uring, #JPEG-XL , #AV1, #USD, #Vulkan, #WebGPU

Indie developer and fractional-CTO for very early stage startups. Polyglot software engineer (#Haskell, #Erlang, #Scala, #Nix, #NixOS, #Fsharp) with focus on building privacy-cenetered applications and services.

Has a penchant for #OptionsTrading, #FunctionalProgramming, #Economics, #SystemsThinking.

Antifascist, immigrant, gay af.

Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪

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

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)

Professional electrical/mechanical engineer and at home tinkerer.

Repairer at several repair cafés in Berlin.

Language: English/Dutch/German

Header shows the Nixie clock I made some years ago (and a vinyl record player behind it).

Programming and Open-Source Enthusiast.
Studying Cybersecurity @ KTH 🇸🇪 | Studied Comp Sci @ IST 🇵🇹 | CTF Player @ STT & RoyalRoppers
#NixOS #Android #HomeAssistant

Internet software developer

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

Antifa and anti Genocide

Always busy with computer, tech stuff and mostly #linux and #python #freebsd
Interested in energy reduction, measurement. A little politics but mostly fun and itchy remarks which trigger thinking. If that doesn’t work: bad luck and keep smiling 🙂
Altijd bezig met computers en Linux, muziek, lachen, probeer kritisch optimistisch te zijn en als dat niet lukt: jammer en blijf lachen

Een slotje om een klein beetje te filteren…. Doe gerust een verzoek

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

Latest Home Manager news.

Unofficial, operated by @katexochen.

Also available on Bluesky, as https://bsky.app/profile/hmnews.bsky.social.

Hosted at https://github.com/katexochen/hmnews-bot.

#NixOS #Nix #HomeManager

internet dinosaur. dev.

compares everything to IRC.

#nixos #emacs #cpp

#bi #queer 🏳️‍🌈 always #BwiththeT 🏳️‍⚧️ | ab und an bi+aktivistisch unterwegs #biplus | links-grün-versiffter Gutmensch | beruflich irgendwas mit Software und Cloud | Wahl-Kölner seit 2010 | born at 323.89 ppm | Admin von https://biplus.social

Julien aka Luj.

PhD Student in Software Supply Chain Security.

NixOS enthusiast and contributor. Emacs nerd. NixOS Steering Committee member.

Other interests include functional programming languages, software security, formal verification.

Available for freelance projects.

He/Him

May occasionally toot in french.

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