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)

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

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 _
🏳️‍⚧️ transfem, 🏳️‍🌈 demisexual homoflexible, ♾️ polyam, grayro, aroflux. Open partnered.

Flirting welcome

Ask me where else am I on the nets.

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 ⚧

I'm a systems engineer working on my Master's at Brown. On the side, I contribute to free software and do security research.

:brown: :umass: :gentowo:

IoT Techie and Educator / Apache NuttX PMC

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

he/him (they/them also fine)

🎮 *Knows* #videogames
📖 *GRRM finishing Winds of Winter before 2025*-truther
👨🏻‍💻 Computer-toucher (derogatory)
🔥 Massive hypocrite, loves & hates technology
🎶 Fediverse's foremost expert on the #NeedForSpeedUnderground2 soundtrack

Fluent 🇳🇱/🇬🇧, could decipher 🇩🇪 if backed into a corner

dislikes: math, time, heat and landlords

Level 10 Computer Mage
Main account: @flewkey

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