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

I poke computers, make them do things.

Here for #tech #aiart #science #av #broadcast #ham #linux #python #ml and #queers.

Currently running the #GPU cluster for community #ml and #stablediffusion at @artemai along with #pixelfed and #mastodon.

Advocate and lover of all things #FOSS.

#vim is the only IDE.
#bash is the only shell.

Coding since 1986, UNIX since 1990, Linux since 1993.
#devops #geek #opinionated

Views here may not even be mine; take them all with a grain of salt.

hey, i'm erica (she/her), i do computer stuff

i'm studying computer engineering even though i'm probably not gonna end up graduating lol

23 years old, trans 🏳️‍⚧️, furry 🐦, pansexual :pansexual_flag:, sapphic romantic 👩‍❤️‍💋‍👩, latina 🇲🇽, socialist 🌹, married&engaged 💍, polyam 💞, kinky 🔗, sometimes lewd on main (always CW’d tho)

all forms of interaction encouraged! (lewd only if you’re not cis-male, except when solicited)

love freely, love passionately.

This account is here to preserve my social network, and not nec. socialize until twitter burns. Don't expect much, but please do follow if you want.

hEDS. flaky. ND. a GF gf | undisciplined generalist | 30 +/-2 | gq, they(pl, s)/she | Ace-ish, Trans | object in mirror is smaller than appears | 'far left'

intro () {
- Linux git from Yorkshire
- Rabid archlinux user (even a server. no? Pish!)
- Astro noob
- Huge Star Trek bore
- Hobgoblin 🍻
- Memes
- G+ Refugee
- 99.999% Sarcasm
- Bit sweary
- Always fn tired
}

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

Con organizer, runs video distribution services for fandom events.