flewkey flewkey@gts.2a03.party

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

im gay lol

regrettably dutch

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)

Chiptune musician who specializes in Famitracker, Deflemask, PMD and AddMusicK. Will renote other people's art often since I like seeing other peoples' artwork!

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

#fedi22 #ComputerHistory #SunMicrosystems #UNIX

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

GAMEBOY & FM Composer｜TBKgao(label) A&R｜💿 https://tobokegao.github.io/post/works/ ｜drowning｜RTer(chiptune/cheat bug/GiRLPOP/Y2K/Powerpop/渋谷系/vaporwave)｜to6okegao@gmail.com

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

Queer plural transfem croissants.

Posts tagged with emojis are from a specific member:
🔥 - Amber
🌟 - Celeste
🌺 - Flora
💧 - Misery
The name "Victoria" is our legal name, which applies to all of us, but if you know who you're talking to feel free to use the other names.

At this point this has more or less become a SARS account.

✨ sorceress of technological shenanigans 🎨
🏳️‍⚧️ she/they, massive gay, 'WTF in the best possible way' 🏳️‍🌈
❓ writing code nobody asked for since 2009 👀

🏴󠁧󠁢󠁷󠁬󠁳󠁿🇪🇺

follow req's OK though i welcome you to DM and say hi :)

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.