nyanotech nyanotech@catgirl.download

I would prefer not to.

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

Software Freedom Advocate. I try to be helpful. Feel free to message me! 😃

Co-maintainer of sxmo: https://sxmo.org

Posts here are my own and not my employers'.

#nobot

Hot glass artist with a background in art history, ceramics and archaeology. San Francisco Bay Area native living in Oregon by way of North Carolina (long story). Everything here is handmade by me.

Hi, I'm Stephen Malone. I write haiku poetry about city life and our modern perspective of nature.

Check me out at https://wirehaiku.org or follow me for updates when I post!