Jonas Chevalier 🦙 :Twitter_Verified_Badge: zimbatm@gts.zimbatm.com
I like to build little tools: direnv, treefmt, ...
Bringing open source to companies with Numtide.
José Luis @jlesquembre@mastodon.world
crop @crop@hachyderm.io
I use this account primarily for my interest in technologies
Baloo @baloo@sfba.social
copying and pasting from stackoverflow.
Nerd on a #bike, writing #RustLang and doing crimes with #NixOS
Sofi :verified_gay: @soupglasses@hachyderm.io
Ops @ Hachyderm | NixOS maintainer | Circuit wrangler
she/her #nixos #ldap #makers #electronics
davidak @davidak@chaos.social
Software-Entwickler, Content Creator, Minimalist, Gamer, Aktivist
Sebastian Ullrich @kha@functional.cafe
makes Lean at Lean FRO
Tom Schouten @zwizwa@mastodon.social
lam|app -> load,chomp,store
zwizwa.be
cms @cms@social.lol
Aging minor internet wizard. I built the IMDb message boards. I ran the last.fm databases. I rendered the picturebooks at Wonderbly. I survived Makeshift. Many others lost to time. Now VP of Tools and Image at platform.sh Good at naming things.
I used to be cms@mastodon.social but that place was getting crowded.
Alan Zimmerman @alanz@social.coop
This is my main activitypub profile.
Nicolas Lenz ❄️ @eisfunke@inductive.space
Hoi! I'm a master's student in computer science at TU Dortmund in Germany. 🏳️🌈🇱🇺
⚗️ functional programming, type theory, programming languages, science, education
:nixos: Linux, NixOS & Nix, computing infrastructure, free software
🛤️ urbanism, cycling, transit, traffic & infrastructure
⛰️ hiking, sewing, podcasts, books, coffee, tea
💬 mutualism, anti-fascism
:mastodon: admin of https://inductive.space
My podcasts (German): @bytegeschichten
@systemproblem