Jonas Chevalier 🦙 :Twitter_Verified_Badge: zimbatm@gts.zimbatm.com
I like to build little tools: direnv, treefmt, ...
Bringing open source to companies with Numtide.
Yvan Sraka @yvan@functional.cafe
Irritabilité - Nervosité - Fatigue passagère
sanchayan @sanchayan@sanchayanmaity.com
Trying out self hosting using gotosocial. Another account at functional.cafe/@sanchayan.
Work @ floss.social/@asymptotic on GStreamer, PipeWire & PulseAudio. ❤️ C, Rust & Haskell. Atheist. Views my own.
Metalhead. I love Old School Death, Black and Thrash metal. www.last.fm/user/sanchayan_maity.
When I am not working or obsessed with code, I love to cook or watch anime. Love to read, but my reading has fallen by the wayside in the last few years. I also spend a lot of time watching food, cooking, train travel and Ramen/Udon street shop videos on NewPipe 😂.
Moved over from linuxrocks.online instance. Was sanchayan_maity on twitter (now deleted).
Chris McDonough @chrism@chattingdarkly.org
Python hacker. Anti-whatever-you-think.
domenkozar @domenkozar@fosstodon.org
Creator of https://cachix.org, https://devenv.sh and https://nix.dev
plumenator @plumenator@mastodon.social
Rust programmer, Haskell enthusiast
Grant Hutchins @nertzy@ruby.social
Software developer at Stronghold Investment Management in Austin and erstwhile electronic musician https://nertzy.com
Author of the Ruby gems pg_search and with_model
Formerly: Olin College ('06, Partner), Spiceworks, Pivotal Labs
Abhinav 🔂 @abnv@fantastic.earth
Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.
If you want to follow me, please make sure your profile has some info that helps me learn about you.
Raito Bezarius @raito@nixos.paris
Student at ENS Ulm in computer science, mathematics, geopolitics and public policies : formal verification maximalist.
President & core contributor at https://mangaki.fr, an open source recommender system for anime & mangas.
Contributor to the NixOS project and Lean theorem prover.
Often available for nerdsnipping or contracting for fun subjects, check my interests on my website!
Profoundly unsatisfied on politics discourse, anti-fascist, fan of https://catala-lang.org/.
tokudan@chaos.social @tokudan@chaos.social
#Freifunk Hamburg, #Nix #NixOS, IT, #Linux, #Solaris #Gaming #Factorio
sys64738
musicmatze :rust: :nixos: @musicmatze@social.linux.pizza
Rust, NixOS, Minimal/Techno/Trance/PsyTrance
:rust: :nixos: :neovim: :ms_music_notes:
Languages: EN , DE
Works on Rust OSS professionally and fulltime <3
(Came from mastodon.technology, joined mastodon first in 2018)
Ben Clifford @benc@mastodon.hawaga.org.uk
Hi.
I'm Ben.
For fun I ride my bike around Berlin and build pretty things with LEDs and microcontrollers.
I'm also interested in programming language design/theory stuff - my maths degree intersecting with my programming interest/job
Also in my spare time, I help run a refugee reception service in Berlin for people arriving from Ukraine.
https://github.com/benclifford
https://twitter.com/benclifford
Gergely Nagy 🐁 @algernon@trunk.mad-scientist.club
A tiny mouse, a hacker | 🏷 #keyboard, #firmware, #WholeLotOfRandomStuff | #fedi22