meowy catgirl nyanotech@catgirl.download

reach heaven through violence

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

garfield aficionado
orb of light with a keyboard

trans, enby, autistic, pan, relationship anarchist, hacker
into transit, urbanism, games, 'puters, Twitch
(favs: Vinesauce, TheGoodJared, Vargskelethor, Jerma985)

ΘΔ 🏳️‍⚧️ 29 :af: :anarchoheart2: :trantifa:

will only boost images if they have alt text

taking things apart and putting them back together
mostly known for making games moddable
still figuring out what else to put here

will vent (with CW) in follower only posts from time to time

(if you are viewing this profile on soapbox: profile fields are under the media previews to the right...)

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

Dr. Mirah Gary • roller derby player • RabbitMQ tech lead • former theoretical physicist • trans woman • queer • All Cats Are Beautiful

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.

release candidate

meow • ⚥

i like talking to computers and making it nicer to talk to computers

dms open :3

trans, catgirl, does weird computery things