flewkey flewkey@gts.2a03.party

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
- Math Logic community (The Journal of Symbolic Logic)
- Statistics community (JASML, AoS)
- Algebra community (JoA, JoAG, JoPaAA, SIGSAM)
- 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)

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

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

Grad student at Brown University. Systems engineer by trade. On the side, I contribute to free software and do security research.

:brown: :umass: :gentowo:

Level 10 Computer Mage
Main account: @flewkey

A queerdo transfemme plural system of 4.

Currenty we're a former software engineer. Doing our best to avoid the plague with self-iso and well-fitting respirators!

We usually prefix our posts by who wrote them.

🔥️ Amber
🌟️ Celeste
🌺️ Flora
💧️ Misery

I am Roy Schestophrenicwitz and I run Techrights (But with Jews!)

Chiptune musician who specializes in Famitracker, Deflemask, PMD and AddMusicK. Will renote other people's art often since I like seeing other peoples' artwork!

Avatar by my best friend @imrlyrobyn !
I'm dust hill resident, im interested in #science #mathematics #engineering #computers #linux #cooking #art #music #bassguitar
I love to make stuff, whether it's art, music, programs, or anything
Nonbinary, any pronouns

My site and stuff
http://dusthillresident.ddns.net
https://www.youtube.com/channel/UCXGm9zNR5SktbvG0JVXP0oQ
https://soundcloud.com/dusthillperson

チップチューン もしくは chiptune

Guitarist for Synnefa me Pantelonia
Guitar Teacher at National Conservatoire Holargos
Sound engineer at Irida Recording Studio
Production coordinator at Irida Music
I like doing audio production on #Linux
Software I use:
#Reaper, #Inkscape, #Scribus, #Krita, #Kdenlive, #Penpot, #GIMP

fulltime tech corp software dev poly enby intercity gril in mid-20s

#nobot #noindex