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

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

Hacker, Gamer, Lover and Daddy

tinkerer, g(r)eek, (fl)oss developer, sysadmin, student, hacker and musician in aachen. "auffällig groß". the ghost haunting your irc/matrix chats.

note: opinions are mine and a work in progress – please engage with them, assume good intentions! 50% of posts are not as serious as my bio.

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.

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

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

GoToSocial test instance * main account: wandzeitung.xyz/@b30 * blog: bln41.win

Techie and Educator in IoT 物聯網教師

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