Hi!

I'm interested in #Linux, #FOSS, data storage/management systems (#btrfs, #gitAnnex, #git), unfucking our society and a bit of gaming (#planetside2, #trackmania, #guildwars2, #BeatSaber).

I help maintain #Nixpkgs/‍#NixOS.

I use #emacs. I ride a #brompton. I like trains.

I prefer the truth – even if it is inconvenient.

Can be found IRL @cccda @RaumZeitLabor

If you need an open ear, you can talk to me about anything – no judgement.

Personal account: @umetA

main interests: #programming, #music, #cooperatives

more specifically: #rust, #elm, #nixos, #guitar, #oldtime, #fiddle, #banjo, #cooperative, #linux, #musician

https://interstitial.coop

#fedi22

🇫🇷🇬🇧
Linux, Python and Homelab enthusiast

I'm a self-aware composite life form comprised of trillions of interdependent microorganisms, a contemporary link in a 4 billion year self-replicating carbon-based chemical process.

Interests: NixOS, Guix, Qubes OS, PostmarketOS, GrapheneOS, Python, Bash, Lisp, C, Rust, Go, hacking, ham radio, DIY electronics, world cultures, physics, evobio, climate, urban planning, systems theory, political philosophy, feminism, queer theory, theology, synthesizers, prog metal, soul, jazz, sci-fi.

Proud to be Antifa, like my grandfather, who was killed fighting fascism in WWII, and was posthumously awarded the Air Medal and the Purple Heart.
#microcontroller #firmware #C #CPlusPlus
#FPGA #VHDL #Verilog #SDR (SW Defined Radio)
#retrocomputing
#nonpareil HP calculator simulation at #microcode level
Maker (with John Doran) of #NixieTube #RPN #calculator
CHM PDP-1 Restoration Team
cis male
atheist
Damned dirty ape
Not a tame programmer
Some assembly required
No user serviceable parts inside

Nix Offizielles, alles aus eigener Motivation.
Achtung! Privater Account hier:
@schimpfi

🍿 🎮 🏈 🔭 🇪🇺 | Dad³, alleinerziehend | ja, auf dem Titelbild bin ich |📍MUC/SR | ironiert, bis er zum Sarkasmus kommt | Ex-Kanzler-Kandidat der Die PARTEI | Online-Redakteur | Privat-Account |

Tech: #Apple, #nix, #SBC, #RetroGaming, #3DPrinting

internet dinosaur. dev.

compares everything to IRC.

#nixos #emacs #cpp

• She/Her • 21 • 🇧🇷, talk 🇧🇷🇬🇧 • Valve & FOSS fangirl • Mermaid 🧜‍♀️ • Otherkin • 🏳️‍🌈 Lesbian ⚢ •





Loves #swimming, #cooking, #mermaids and #gaming. #OpenSource everything. #Linux user.

https://luana.dev.br/

Searchable!

Migrated from @luana

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

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google on http://github.com/google/googlesql

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

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

Macsico. Und sonst nix. Nicht immer objektiv, nicht immer folgerichtig, teilweise sogar vollkommen subjektiv.

Interested in self-hosting, data (visualization), NixOS among other things

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

Former SysAdmin, Qt C++ dev, python automation tinkerer. Motorcycle rider. Trainee bus driver.

Essen und Radfahren

No alt Text? No boost! 🤷‍♀️

Folgeanfragen werden nur angenommen, wenn ich so ungefähr erahnen kann, warum Du mir folgen willst. Und auch dann nur, wenn sonst nix dagegen spricht :-P

Bildbeschreibung Header: Auf einer Seebrücke am Meer steht ein Lastenrad mit Tourengepäck.

Bildbeschreibung Profilbild: Nussschnecken auf einem Kuchengitter.

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

(Following/ boosting is not necessarily agreeing/approving).

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

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