flewkey flewkey@gts.2a03.party

HRV nerd
(she/they)🏳️‍⚧️🏳️‍🌈
UTC -5 (Active 1700-0700)
Medicine by trade, IT by hobby

✨ sorceress of technological shenanigans 🎨
🏳️‍⚧️ she/they, massive gay, 'WTF in the best possible way' 🏳️‍🌈
❓ writing code nobody asked for since 2009 👀

I do fundamental research on 2D graphics, UI programming, and fonts, and am active in the Rust community. Currently on Google Fonts team. 🌈

internet resident, plural partially sighted robobirb
pasta eater and UNIX dork, probably running 9front

self identified as a PDP-11 powered printer running a UNIX OS

feel free to follow request, i may decline if you look too malicious, can be nsfw or sad (cw'ed)
may not favourite stuff (i use bookmarks mostly)

note: Utsuho Reiuji is a character from the Touhou Project series and she rocks
old/backup acc: @Utsuho

Daft boy from Glasgow, Scotland, having fun doing my drawings. Never for money, always for love. Socially awkward but kind and polite. Toots are set to auto-delete after a couple of months unless they get a certain number of boosts, so it's kind of like I'm outsourcing my post-pinning to you. I love you all. Yes, even you. Especially you.

when ur mean to me online this is who ur mean to

The non-profit aviation research network. Enabling over 300 scientific publications since 2014. ADS-B feeders welcome!

CS grad student at Brown University. C³I systems engineer by day.

:brown: :umass: :gentowo:

I am a mathematical logician.

I am pretty curious about how to use automated reasoning systems to help discover new things, use and verify old ideas, and generally make my life easier.

Current events I try to keep up on
- Algebra community (JoA, JoAG, JoPaAA, SIGSAM)
- Math Logic community (The Journal of Symbolic Logic)
- PL community (POPL/PLDI/OOPSLA)
- Formal Methods community (CAV/TACAS)

Passing the learning curve up to current events
- Abstract Algebra (Dummit, Foote)
- Commutative Algebra (Eisenbud)
- Algebraic Geometry (Hartshorne)
- Mathematical Logic (Mendelson)
- Model Theory (Marker)

Extra context and fun things
- Process Metaphysics (Rescher)
- Mathematics Without Foundations (Putnam)
- History of Abstract Algebra (Grey)
- History of Algebraic Geometry (Dieudonne)

"Expressionist, playmaker, visionary, activist."

Platform security researcher (Nintendo Switch, 3DS; PC/UEFI firmware; embedded & IoT)
OS developer, systems architect, chiptune maker and composer
Other (please specify)

(Coming from twitter, @sirocyl.)

This is my GoToSocial alt account where I will likely be posting more ad-hoc posts that would otherwise pollute my main instances local feed. :sootsprite: