nyaaa~ | it/its | 25 | meows at computers | headpats/hugs/etc ok | π
Raito Bezarius @[email protected]
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/.
Staren, the Last Stardaughter @[email protected]
37F Coder and aspiring game designer β’ MU*/Tabletop RPer and all-around geeky girl β’ Mostly SFW β’ HRT since 2021-06-07π³οΈββ§οΈ
Tumblr: scottbert85 / Github: LastStardaughter
burritomonad @[email protected]
I like the Rust programming language.
Ξlpsy Kongroo @[email protected]
Crypto Cowboy in Cyberspace | Out of Scope | Very Uncertain | Sometimes posts about Infosec and Blockchain but mostly laments about my broken Linux installation
MC Chord Toll π @[email protected]
beep boop! she/they! causing problems since 1997
Kori Snep @[email protected]
Snow leopard in the internet from Finland | A friendly floof who likes science, cooking & brewing | Pfp by AsaraBaenre
| π³οΈβπ | No Minors π
gae (and) panic @[email protected]
π§π»ββοΈ sapphic genre bibliovore
π§ββοΈ enthusiasm enthusiast
π©πΌβπ€ the arts
ππΌ scalable software
π¦ trans lady
eta @[email protected]
"chaotic combination of programmer, transport enthusiast, and trans girl"
Lisieshy @[email protected]
Une catgirl qui fait du Rust, des jeux et un peu de web!
Lisez/Regardez Uma Musume, Oshi No Ko et Mushoku Tensei!
Angela @[email protected]
That Angel Girl You've Heard Stories Of β’ Enthusiast of everything electronic. β’ She/her β’ Poly and pan β’ SW Engineer