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

main interests: #programming, #music, #cooperatives

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

https://interstitial.coop

#fedi22

📚🍫🍦🚲 ★ ICH bin NICHT schuld, wenn's Wetter schlecht ist. ★

 Account beim toten Vogel gelöscht. ★

Nix als Rosinen im Kopf. Albernheit wird unterbewertet. 
#ADHS seit 1/2 Jahrhundert.

🚲 Trekking-, Falt- und Lastenradbesitzerin (Pegasus mit Alfine 11, Birdy red, Nihola). sie/ihr she/her, weiß (aber nicht käsig)

@​​​Hamburg 
❤︎ Berlin/NYC

‼️Hätte gern mehr Frauen in meiner TL & mehr VerfolgerINNEN.
 🏳️‍🌈welcome. [tootfinder] #tauschy 20

• 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

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

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

Pro: woman, equality, choice, & human. Anti: bigot, exclusion, & misinformation. Agnostic Jew. AuDHD *she/her* fibro and crohns fighter. I am fucking awesome. P*nch the nazi. ❤️ Pretty girl who cries.

www.youtube.com/c/NixAnadoo

Hay, I'm bricked and I love using and contributing to open-source software. So far I have specialized in NixOS configurations, accessible websites and Discord bots, but I always love to learn something new!

5G Inside

Da manche eine Bio toll finden, dann schreib ich mal hin was mir Spontan einfällt, da eigentlich über mich nix tolles zu schreiben gibt^^

Fahre gern E-Scooter (Super um Fix von A nach B zu kommen) Interessiere mich auch für EBikes und Lastenräder.

Finde Autos nicht doof, nur die dummen Autofahrer die da meist am Steuer sind.

Sonst finde ich vieles Interessant, merkt man meist am Kommi drunter :)

Mehr fällt mir gerade nicht ein was hier so stehen könnte

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

Living in Seattle, WA, USA. Non-technical hobbies include BJJ, birdwatching, and mushroom foraging.

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

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

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

PhD student with Ralf Hinze in Category Theory for the design of Proven Correct, Total Algorithms
#categorytheory #agda #haskell #nix #emacs Recursion Schemes Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend #meditation Yin #maker 🇪🇺an

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

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

Leading development of https://spectrum-os.org/, a compartmentalized operating system. Nixpkgs committer.

Avatar by Chipiku.

A random from Europe, CS student (currently getting destroyed in uni).
Really interested in programming, privacy, security & philosophy. Plus other cool things.

Fellow #NixOS adept.

No need to be shy, I only have my account private due to bots and stuff. I don't bite. (most of the time).

🇪🇺 European

Cloud computing, web development, multimedia, languages and pen and paper. Sometimes computer graphics. Mainly 🦀 Rust, Go and TypeScript.
I use ❄️ Nix btw.

🔬 MSc Computer Science (2019-2022 @uniheidelberg).
👨‍💻 Co-founder of @alugha.

Toots in German and English.
#MastoAdmin at @admin.

#fedi22 #rustlang #programming #linux #macos #tech #cats #nixos #rust #golang #typescript #devops #sysadmin #kubernetes searchable

ADHD aphant amateur-generalist

🧑‍🎓: 🧙SmartLogic AKS 🌷Tulip 🏛️MIT

🧑‍🔧: #shell #ruby ⚗️ #elixir #k8s

🧑‍🏫: #rust #nix #wasm #haskell?

#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

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

Tech by the people, for the people.

Washing up ⌨️ #RISCV #RiscvAssembly washing up #Raspberrypi sorting socks 🗜️ #tibber taxi service #HomeLab #macOS shopping
⚛️ #physics cooking 🧮 #mathematics homework 🧘🏻‍♂️ #iyoga #choir #iyengaryoga
#meshtastic 🦀 #nixos #reticulum
(Photo: Steve Carter @GetCarter )