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

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. #tfr

Student at FEE CTU. Linux enthusiast, general computer (ab)user. Flea market fiend, repairer of mysterious old objects found fiending. As seen on the fowl app. Synths are cool!

Software Dev, Linux nerd. She/Her.

professional amateur dev, enjoying haskell, c, and ruby, ~~trying rust~~ fighting with the borrow-checker
he/him

Telephone girl, fascinated by #AIethics (except for the AI, and the ethics). Present projects involve telephony, gender, machine being, disability, and historical #HCI. they/them

🏳️‍⚧️ retro tech & splatoon enthusiast, calculator collector, and occasional virtual machine tinkerer and tool-assisted speedrun creator

if i do something wrong/say something bad/follow someone problematic/etc, please tell me—i promise im not doing it maliciously!

please yell at me if i forget to add alt text to something!

additional things that didn't fit in my profile metadata table:
timezone: utc-6
current # of calculators: 51

meow :3

:heart_sp_pan:
tootfinder

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.

Python, Swift, Objective-C, Mezcal, and Coffee. Mexican American! 🇲🇽🇺🇸 | Opinions/tweets are my own.