flewkey flewkey@gts.2a03.party

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

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

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)

Hacker, Gamer, Lover and Daddy

Social Media Influencer.

More Lutheran than average. Cutter. Racist. Woman respecter. Not a big fan of President Donald J. Trump.

"Pat yourself on the back, you got internet clout..." @LisbonMuse@spinster.xyz

Alt account: @bot@seal.cafe

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

old/backup acc: @Utsuho
personal: @utsuho
feel free to follow, might decline if your profile is empty or you look malicious

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. Adult.

Lamia Vtuber.

She/her.

Opinions are my own, not my employer's.

Ask me about DOS game dev.

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

#nobot
Jess/Jeff She/They :nonbinary_flag:
Powered by im@s, coffee and devuan GNU+Linux
31, Selective mute, INTP, Plural

Homeless couch surfer,
I'm passionate about digital rights and dismantling oppressive systems.

If I forget image descriptions or CW's let me know!!!

Before you follow request, please have a bio set or DM me, I like to know who I let in.
All posts are private due to social anxiety and privacy reasons.

(formerly on knzk and radical.town)

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

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

#nobot #noindex

Tired person who spends too much time with TableGen, or something like that.

:Fire_Agender: I run gov.gr :Fire_MaleHomosexual:

Freelancer
Student @ NKUA
CEO /jk @ https://queer.software
Parent of two BLÅHAJAR :blobhaj_hug_blahaj:

:dragnpats: Feel free to contact me here or https://geopjr.dev/contact :pinkdragonuwu:

THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS “AS IS” AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.