meowy catgirl nyanotech@catgirl.download

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/.

Exercise for the Reader. CMU, Google, Argo AI, once General Dynamics and Maya Viz.

I VOID WARRANTIES

professional and hobbyist computer toucher

"GO TO JAIL" -- Rach
"FLORIAN NO" -- @DrSagan

a floating point in the ocean of data • rolling around at the speed of sound • crafting glitches, one line of code at a time • on a quest to figure themself out

CCC, whovian, trekkie, ponies, 🦈,
Software developer working @
- BigBlueButton
- OvenMediaEngine
- OpenStreetMap / Leaflet
- UltraStar Deluxe / Play

Con organizer, runs video distribution services for fandom events.

telephone girl, #AIethics hobbyist, independent researcher, themme fatale. present projects involve telephony, gender, machine being, disability, and historical #HCI. they/them

it's me charlotte u can also call me cinnamon.
this is my private account it has a slightly different vibe!

transgender and good at everything
non binary and bisexual sapphic (just 'lesbian' works!)
🐇 ΘΔ

admin for trans.enby.town
music & programming & motion graphics
anarcho-communist

22, mixed race girly, living in the uk :/

:transgender_pride_potion: :nonbinary_potion: :genderflux_potion: :lesbian_potion: :blobhaj:

release candidate

trans, catgirl, does weird computery things

IT consultant, Munich. he/him/they.

Private account, my opinions.