Jonas Chevalier 🦙 :Twitter_Verified_Badge: zimbatm@gts.zimbatm.com
I like to build little tools: direnv, treefmt, ...
Bringing open source to companies with Numtide.
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.
Gabe Dijkstra @gabedijkstra@functional.cafe
Trying to live a well-typed life, taking it to the colimit.
Dr. Théo Zimmermann 🏳️🌈 @Zimm_i48@fediscience.org
Empirical software engineering researcher. Assistant professor at Télécom Paris. I'm interested in #opensource, #opencollaboration, #openscience and creating a better #democracy. Maintainer of the Coq proof assistant and other open source software. He / Him. lgBtqia
Rafael Fernández López @ereslibre@hachyderm.io
At some intersection between programming languages, distributed systems and operating systems. Listen. Learn. Repeat. Be a nice human being. Edamame fan.
/home/cole @thecatwasnot@hachyderm.io
(he/him) :verified_gay: :nix_snowflake_logo: :vim: :verified_paw: :infinity_rainbow:
Before: software engineer. progressive country kid.
Now: Learning DevOps. Autistic. Queer++. Mindset Coach.
Talk to me about linux, kubernetes and processing emotions. Also my chickens.
John W. O'Brien @neirbowj@mastodon.online
A human. I think. Grappling with my flaws and shortcomings, and those of the other co-inhabitants of this planet. #Networking and information security iconoclast. Aficionado of #IPv6, #DNS and #DNSSEC, #FreeBSD, and #Python.
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.
Just "James" | Nothing @MaybeJustJames@aus.social
An ad-hoc, informally-specified, bug-ridden, slow implementation of half of a software engineer. Author of MaybeJustJames/yaml (#elm), phylio (#purescript), Super, and MMLigner. Maintainer of Zephyr (#haskell). Lover of programming. Australian living in the Netherlands.
Interested in typed #FunctionalProgramming
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
૮༼⚆︿⚆༽つ / Wildan @drsensor@fosstodon.org
I'm here looking for Internet Friends to geek out 🤗
I'm just #Nix / #Linux user that wear many hats: #webdev, #gamedev, low-level programming, #firmware & #electricalengineering, #CLI & #TUI enthusiast, etc
most (toots) PL: #javascript #rust …
Not sure if I'm available for hire but if you found my PR in your project or one of my OSS has strong connection with what you're doing then feel free to contact me.