meowy catgirl nyanotech@catgirl.download

clean indoor air for all.
#longcovid

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

Curiosity, science, technology, hacks, 8 bits, diy, also environment, human rights.

General allergy to bullshit and pseudoscience

Swiss/Canadian SRE. If you think I speak for anyone, you’re the one that’s nuts. He/Him.

Software Dev, Linux nerd. She/Her.

professional amateur dev, enjoying haskell, c, and ruby, trying rust
he/him

Wikipedian, character encoding nerd, engineering graduate, software programmer ; genderqueer 🜬, not that much of a "trap", but proud of it

gay meowgirl vs computer

posts currently xposted from twitter, but active

formerly theonlycrate/exb0t/boygiriswag @twitter.com

I'm a crusty old nerd who chases bright shiny things and loves playing with old computers :) Especially my Atari 800XL and Amiga.

I build castles in the cloud(s) for a living.

meow

Security researcher, pentester, bounty hunter, broadcast engineer - they/them, he/him

Make sure I know you somehow before requesting to follow, otherwise expect your follow request to be denied. If you cannot read, you get onto the wall of shame.