flewkey [email protected]

I teach computers how to sing.

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

Please put something in your profile before following me.

Hacker, Gamer, Lover and Daddy

21 yr old she/they 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

Endlessly curious and an early adopter of promising things. Educated in psychology and human development. Interested in #WebDev #SEO #Technology #SciFi #Photography #Nature


:coywolf: @coywolf is my digital playground where I experiment, create, and publish things that interest me. A coywolf's ability to adapt and thrive in an ever-changing environment inspires me. ➡️ https://coywolf.com

:ally: https://pronouns.org/he-him :vimeo: work at https://vimeo.com :fediverse: #Fedi22

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/

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.

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

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)

The personal ramblings of a computer fetishist. My hobbies involve elevators, locks, vintage telephones, and sometimes music.
Follow requests are encouraged, but I might reject them.

See also http://willghatch.net/blog and https://github.com/willghatch
#racket #lisp #shell #keyboards #programming #emacs #vim #ChurchOfJesusChristOfLatterDaySaints #plt #academia #linux #nixos #bassclarinet #freesoftware

I mostly post miscellaneous nerdery and dumb jokes.

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