flewkey flewkey@gts.2a03.party

I write chiptune and mess about with software and electronics. He/him.

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)

LSDJ / Game Boy fakebit musician (he/him)
Midwest USA

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

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

✨ autistic ✨ compsci foxgirl ΘΔ 💖 @ry