Jonas Chevalier 🦙 :Twitter_Verified_Badge: zimbatm@gts.zimbatm.com
I like to build little tools: direnv, treefmt, ...
Bringing open source to companies with Numtide.
DiazCarrete @DiazCarrete@hachyderm.io
insep @justgui@fosstodon.org
:nixos:
0x4A6F @0x4A6F@chaos.social
Alexander Sosedkin :nixos: @monk@social.unboiled.info
Nix/NixOS enthusiast, works at Crypto team at Red Hat. Maintainer of [nix-on-droid](https://github.com/t184256/nix-on-droid) and [crypto-policies](https://gitlab.com/redhat-crypto/fedora-crypto-policies).
Amine Chikhaoui @aminechikhaoui@mastodon.social
Julien @julienmalka@nixos.paris
CS and public politics at Ecole Normale Superieure, Paris.
NixOS enthusiast and contributor.
Other interests include functional programming languages, software security, formal verification.
Available for freelance projects.
Ocean @anOcean@tech.lgbt
A normal human with regular interests.
Nonbinary trans (they/them), still discovering.
Music! Food! Yelling! Software! Other stuff!
Living in Seattle
Hussein Al Abry @zidhuss@omani.social
zarel @zarel@mas.to
Lots of unread books.
Michael Maclean @mgdm@altelectron.org.uk
Developer, software architect, former sailor, occasional photographer, sometime cyclist, full-time geek.
He/him.
Sebastian Ullrich @kha@functional.cafe
makes Lean at Lean FRO
Jules @julesjacobs@discuss.systems
PhD student in PL (looking for postdoc for after
September)