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/.
Flo @flo@social.flal.net
Geek barbu, avide de bière et de data. programmation et parentalité fonctionnelle. il/lui
Bearded geek, longing for beer and data. functionnal programming and parentiong. He / him
avatar : by Delapouite under CC BY 3.0
Aaron Bieber @qbit@mammothcirc.us
OpenBSD slacker playing with OpenSource and other fun things! Unvetted Rando!
sk-ssh-ed25519@openssh.com AAAAGnNrLXNzaC1lZDI1NTE5QG9wZW5zc2guY29tAAAAIB1cBO17AFcS2NtIT+rIxR2Fhdu3HD4de4+IsFyKKuGQAAAACnNzaDpsZXNzZXI=
proven3b1c99
Jonas Chevalier 🦙 :Twitter_Verified_Badge: @zimbatm@gts.zimbatm.com
I like to build little tools: direnv, treefmt, ...
Bringing open source to companies with Numtide.
meowy catgirl @nyanotech@catgirl.download
nyaaa~ | it/its | 24 | meows at computers | headpats/hugs/etc ok | 🔞