meowy catgirl nyanotech@catgirl.download

we will be more than they can handle | cyborg/lawyer (IP, privacy, cybercrime, &c) | @ILPFoundry / prev
github @torekelandpllc

{IANYL &c}

Co-author of @TeamTopologies 📗 & others 📚 / Founder at @ConfluxHQ: navigate fast flow / SenseConf / CEng / he/his 🎺🎶🧠🖊️✏️

I was @matthewpskelton on Twitter

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!

ghost in the bourne shell. emacs org mode goblin, nixos variant. fedi freak and foss friend. self hosting, data rights, human rights, trans rights, black rights. bikes, meditation, tea/senchado, trees, art, poetry, motorsports. general mish-mash. no narcs. be good and be good at it.

Check my pinned posts before following, thanks!!

pronouns are they/them if you need talk about me in third person but i am right here.

Don’t blow the flute
Don't beat the drum
Don’t be the front
Be the lion's rear.

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.

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