flewkey [email protected]

Graphics programmer working on MMORPGs at Cryptic Studios, including Star Trek Online, Champions Online, and Neverwinter.

Unprofessional doodler. Linux nerd. Leftist. Woman who happens to be trans. Lesbian.

Lamia Vtuber.

She/her.

Opinions are my own, not my employer's.

Ask me about DOS game dev.

#fedi22 #vtuber #vtuberen #gamedev #godotengine #blender

Having fun doing my drawings

Make cool stuff just because. I run things at https://tardis.systems

totally blind programmer. i use assistive technologies to browse the web. im not the smartest person around but i can learn easily. love meeting new people

I do lots of random stuff because my brain has too many chemicals inside of it. 1994 ⚧ it/its

"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.)

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

Hacker, Gamer, Lover and Daddy

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)

The personal ramblings of a computer fetishist. My hobbies involve elevators, locks, vintage telephones, and sometimes music.
Follow requests are encouraged, but I might reject them.