flewkey [email protected]

totally blind programmer. i use assistive technologies to browse the web. im not the smartest person around but i can learn easily. love meeting new people

Make cool stuff just because. I run things at https://tardis.systems

I teach computers how to sing.

https://pbat.ch/wiki/now/

Please put something in your profile before following me.

tinkerer, g(r)eek, (fl)oss developer, sysadmin, student, hacker and musician in aachen. "auffällig groß". the ghost haunting your irc/matrix chats.

note: opinions are mine and a work in progress – please engage with them, assume good intentions! 50% of posts are not as serious as my bio.

Hacker, Gamer, Lover and Daddy

when ur mean to me online this is who ur mean to

UNIX Greybeard; sun!pugs; Student of History; Technology Storyteller; Programmer since 1967.
Founder - Ipsilon Networks(→ Nokia), Netillion(→ ⏚), Nuova Systems(→ Cisco), DriveScale(→ Twitter)

#nobot
Jess/Jeff She/They :nonbinary_flag:
Powered by im@s, coffee and devuan GNU+Linux
31, Selective mute, INTP, Autistic
(All posts are private due to social anxiety reasons) 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

Software Developer Employed Fulltime
- - Poznań🇵🇱 (CEST=GMT+2) - -
FP enthusiast & NixOS user.
Burned-out but reactivating.
- - 23⅞. - -
_ 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.

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

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
- Algebra community (JoA, JoAG, JoPaAA, SIGSAM)
- Math Logic community (The Journal of Symbolic Logic)
- PL community (POPL/PLDI/OOPSLA)
- 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)

Extra context and fun things
- Process Metaphysics (Rescher)
- Mathematics Without Foundations (Putnam)
- History of Abstract Algebra (Grey)
- History of Algebraic Geometry (Dieudonne)