Jules @dialecticalrussell.bsky.social Eclectic Bakuninist
Math/Computer Science musings can be found over at hegeliantaco@mathstodon.xyz
youssef @youssefsaleh.com i like proofs ^_^
Elara @elaraspace.bsky.social Bunny coder in a hoodie!
• (I use TypeScript, Java, and Rust)
• I usually post about random things I like.
• My pronouns are 🏳️⚧️ she/her.
• Pfp by @eondraws.bsky.social
• More about me: https://elaraspace.net
Aster @aster18.bsky.social 🇭🇰🇵🇱🇮🇹 || engineering student in 🇺🇸 || any pronouns 🏳️⚧️
jess @ratherforky.bsky.social i am here relucantly
types.pl/@ratherforky
kait/ @kaitrina.bsky.social lost in the sauce. it's delightfully warm. but oh no! the sauce is getting stirred and I'm getting streetched.
theoretical software engineer
Atto Parsec @attoparsec.bsky.social hang out in the cool vcs
Henry Wallace @attobop.bsky.social Learning and hacking! 🌈⚡️🔥💧🌱
https://attobop.net
https://github.com/arclabs561
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Sai Divvela @sdivvela.bsky.social Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer- W Chentian Wu @wuct.bsky.social 26’ Math & CS undergrad @ UW-Madison
PL / Logic / Cat Theory 🐈
https://wuct.site
Applying for PhD starting from 2026 Fall
Sharun @sharunkumar.com 👨💻Software Engineer | 🎮Gamer | 💻Tech & 🚗Car Enthusiast | 🐱Cat Person
sharunkumar.com
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
I inherited https://types.pl
⍼ https://ionathan.ch
Ari @ari-s-123.bsky.social CS @northeasternu.bsky.social | prev intern @ pawtograder.com & @ Lexia Learning | 4X Hackathon Winner
https://www.ari-s.dev
Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
Elaine Zhu @elaine.foo hobbyist photographer
will @fkawill.bsky.social I do video games and music and writing among other things!!!
website in progress here: https://wwwill.org
Brooke Chalmers @breq.dev 👩💻 https://breq.dev/
🏳️⚧️ she/her
💖 @avasilver.dev, @miakizz.quest, et al.
❄️ boston (come say hi!) and sometimes maine
🪛 robots, radios, webdev, and more
ava :3 @avasilver.dev meow :3 // gf @breq.dev @miakizz.quest et al. 💖 // free palestine 🇵🇸 // not a professional account
Henry B @henbarts.bsky.social ms in cs @ neu, interested in PL/Verification/Cryptography intersection
Lucas @priime.bsky.social Interested in Racket, Emacs, NixOS
Morgan @that-queer-morgan.bsky.social A silly little programming nerd
Jay @mugiwara95.bsky.social 29 year old trans dude, building community and giving a sht. Husband, bunny dad, UU, psych survivor, IPV survivor, mental health peer advocate, and the hero of my own story.
İspik @ispik.dev 
Morgan Sterling @msterling.dev 🐘 morgan@tech.lgbt
Discord: @morgan_rose_xo
kyleforsalem @kyleforsalem.bsky.social Salem City Councilor At Large 🌹
N.J. Gallegos is Dr. Spooky (she/her) @drspookyer.bsky.social I like big cats. ER doc. Horror author. Artist. Cohost of The Scream Kings Podcast. Member of HWA. Pro-choice. BLM. I voted for her. Star Wars & BravoTV fanatic. She/her. 🌊🏳️🌈
Personal site: https://njgallegos.com
Podcast: https://www.screamkingspodcast.com
Zack Eisbach @zackbach.bsky.social Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
Alexiya @xprettyalyx.bsky.social 🧩 Puzzles and pasties 🧠 Solve mysteries with me! ➡️ ✨
https://is.gd/lexiyaqt761
@happybellaacu.bsky.social @happybellaacu.bsky.social 
Not Stupid News 🚨 @notstupidnews.bsky.social World Events in real-time: 💵 💻 🧬 🎺🐒
Business, Tech, Science, Culture and Politics.
Emma Wellspring @emmawellspring.bsky.social A Journalist and a free thinker.
Reporting the news the mainstream media won’t.
Help me reach 20,000 followers? 🥺
leah 🛸 @spacegirl.ing software developer, atprotoist ~ she/her
https://uncenter.dev
Universal Hub @universalhub.com All Boston, all the time, and, yeah, that includes turkeys, helicopters and the odd chicken.
Owen Duckham @owen.duckham.dev undergrad @ Northeastern
Interested in programming languages
Daniel Patterson @dbp.bsky.social Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
Evan Boehs @boehs.org The idea is to die young as late as possible
🐘 https://social.coop/@eb
🌐 https://boehs.org
@nyr-drt.bsky.social @nyr-drt.bsky.social 
cy.bert @cybert.online full of wasps and other vermin
he/him
sho @shores.bsky.social 23
i kill people for sport sometimes
BW Hicks @bwhicks.bsky.social #author #writer #booktok #book #bookmarketing #Liberal #farleft #AmericanHeretic #Heretic #Marxist #traditionalpublishing #indie #publishing #queer #bisexual
Scifi #LGBTQ Romance Suspense and Thriller noir novels. 15-year Book Promoting veteran.