flewkey [email protected]

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)

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

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

internet resident, plural partially sighted robobirb
pasta eater and UNIX dork, probably running 9front

self identified as a PDP-11 powered printer running a UNIX OS

feel free to follow request, i may decline if you look too malicious, can be nsfw or sad (cw'ed)
may not favourite stuff (i use bookmarks mostly)

note: Utsuho Reiuji is a character from the Touhou Project series and she rocks
old/backup acc: @Utsuho

Gay, weird, plural, trans ladies (each in the positive sense).

We write computer code for a living, which means we tend to have opinions about software development and developers.

We all consume at least 6 croissants per week. Most of our free time is spent playing video games, watching old TV shows, or being gay.

No flirts please.

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

CS grad student at Brown University. C³I systems engineer by day.

:brown: :umass: :gentowo:

The non-profit aviation research network. Enabling over 300 scientific publications since 2014. ADS-B feeders welcome!

pain and suffering is my most favorite thing in life | new great taste, old low expectations

🔥🌟🌺💧

Croissants. We're experimenting with tagging our posts by the author using emoji.

🔥 - Amber
🌟 - Celeste
🌺 - Flora
💧 - Misery

Previously: @[email protected]

Having fun doing my drawings