flewkey [email protected]

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.

Formerly @victoria

No flirts please.

#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

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)

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.

левочка кибер котлетка ищет работу в ооо "антифа"

Wannabe activist, a real human bean, ANTIFA LLC employee

:aro_sign: :ace_sign: :nb: :transbian:

#fedi22 #gentoo #communist #communism #socialism #socialist #левочка #rf #ru #ProtectRussianTransLives #EatTheRich

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

I do lots of random stuff because my brain has too many chemicals inside of it. 1994 ⚧

GoToSocial test instance * main account: wandzeitung.xyz/@b30 * blog: bln41.win

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

:brown: :umass: :gentowo:

Techie and Educator in IoT 物聯網教師

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