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)

Level 10 Computer Mage
My main account is @flewkey

Ⓐ | 🏳️‍⚧️🏳️‍🌈🏴‍☠️🌲🚩🏴 | Ethical Tech | 🌳🌱♻️ | :flag_agender: :BlobhajHugFullBody: :scaredycat:

(Sorry for the generic profile description, I haven't had the time to write a proper one yet)

Composer focused primarily on texture and timbre.
Works extensively with algorithmic composition.
Marxist transhumanist singularitarian.

Software Developer Employed Fulltime
- - Poznań🇵🇱 (CET=GMT+1) - -
Write me an email!

FP enthusiast & ex NixOS user.

Burned-out but reactivating.
- - 24 y o - -
_ she/her _
🏳️‍⚧️ trans, 🏳️‍🌈 demipansexual, ♾️ polyam, grayro, aroflux. Open partnered.

Flirting welcome but I will fear masculinity.
Ask me where else am I on the nets.

It's easier to become a pen pal than a chathead to me.

/if i start boosting crappy personalities again please tell me to stop because apparently i must have forgotten what does it end up like/

[SLOWLYapp](https://slowly.app) ID: `QDYRM6`
but i do prefer email if you do

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

Techie and Educator in IoT 物聯網教師

21 yr old chaotic unhinged computer gremlin / failed photography student / mediocre bass player who is stuck using mid-2000s tech

I don’t bite, people just scare me

apologies in advance if I don't CW something that I should have, just like let me know and I can fix that

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

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.

I'm cc @meso@asbestos.cafe
u
w
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a
a

#nobot #noindex