Cooklang (Alexey) @cooklang.bsky.social Markup Language for Recipes and Tools http://cooklang.org/
Brian T. Rice @briantrice.bsky.social Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Navy nuclear tech pre-9/11, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu- A Aiden Fox Ivey @aidenfoxivey.com aidenfoxivey.com
AvetaπΎππΉ @aliafonzy.blacksky.app Cat parent. Coffee Addict.Opinions are my own.Black Software Engineer
https://cash.app/$SammyxB26
Read 1st esp if you Black:
https://tinyurl.com/blkthread25
Game Wishlist: https://tinyurl.com/avetasteam
Cyrus Omar in NYC @neurocy.bsky.social π± ruining programming forever @ hazel.org
π± professoring @ Michigan
π± poetry
π± dendrites
π± immersion
π± flowers
π± resisting idiocracy
https://web.eecs.umich.edu/~comar
Pandorable π΄ββ οΈπ³οΈβππ @pandorable.bsky.social Lil' Rhody. Genderfluid - They/She. 38yo, ADHD, Bi/Pan, Polyam. Fandoms: Our Flag Means Death, Sandman, Witcher. Interests: knitting, crochet, jewelry making/beading, general craftiness. Generally a horny loser and NSFW π
β¨ericaveeβ¨ @ericavee.bsky.social π΅ππΊπΈβ¨them fataleβ¨35β¨ericavee on twt/ericavee1 on IG and tiktok/ipomoea-batatas on tumblr / i do art and cosplay and sing gay lil songs
Lesley @lizlemonlyman.bsky.social I like your face.
she/her. kind of a weirdo.
π΄ββ οΈππ³οΈβππ·π³πͺ§π₯π
emzash @emzash.bsky.social Here for the gay shenanigans. She/they.
Never Left Podcast @neverleftpodcast.bsky.social Join Ariana (she/her) every other week for Never Left, A completely spoiled, totally unofficial, our flag means death podcast
https://linktr.ee/neverleftpodcast
MrsScience π΄ββ οΈ π @themrsscience.bsky.social Loon, chill fandom old & filthy pirate lover
1/2 pyramid owner
Still a priestkink evangelist
Something Witchy π¦ OFMD Meetups @something-witchy.bsky.social Something Witchy π¦ Salem Mass 2025
Into the Mystic π³ Mystic Connecticut 2026
Something Witchy π¦ Salem Mass 2026
Next up:
Something Witchy
Salem Massachusetts π¦ 2027
DM for discord server invite
started by @orchid-explosion.bsky.social
Mikell Taylor @mikell.bsky.social Boston-based robotics nerd whose opinions do not reflect those of her employer. Come for the robots, stay for the cringe. Itβs pronounced βMichaelβ.
xvw @xvw.lol Allo. I'm Xavier Van de Woestyne from π§πͺ, living in Nantes. I'm a wannabe software engineer who tweets in rough π«π· and catastrophic π¬π§! I'm interested in functional programming (with statically typed languages).
π«π· https://xvw.lol, π¬π§ https://xvw.lol/en
G Wilde @stackwild.bsky.social Software, AI, Infosec, Gamedev
J. Tess π³οΈββ§οΈ @jesstessthemess.bsky.social The trans witch your momma warned you about
artist/writer as seen on The Verge.
Janelle Shane @janelleshane.com I write about the strange side of AI at aiweirdness.com
Also a laser scientist.
She/her. Colorado, USA
SE4FP Workshop @se4fp.github.io 2nd Workshop on Software Engineering for Functional Programming (SE4FP)
In 2026, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io
@stitchesbrew.bsky.social @stitchesbrew.bsky.social Crochet, independent film, and craft beer enthusiast. ExMormon millenial. Kindness is magic. β¨
Jesse Alama @jessealama.net Math and programming. Lean, JS, Racket. American. Igalian.
Jack Matusiewicz @boogalooh.bsky.social Former game dev now working as a Rust developer in finance.
Love functional programming and making terrible games in my free time!
Martin Janiczek @janiczek.cz Functional programming / Making a browser game @nuashworld.com / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
Brett Evans @brettevans.me Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
Michael Ann, sociotechnical femme @michaelann.bsky.social Online Communities, Social Tech, Folk Theories, Epistemic Justice, Queer/Trans HCI. Assistant Prof of Comp Sci & Comm Studies @ Northeastern University. @nusealab.bsky.social director. Neurodivergent, trans woman, wife girl, femme lesbian, dork. (she/her)
Will Burrows ππ₯π₯ @reforest-kelley.bsky.social (he/they) ND GNC mad Trekkie merchmonger; tinkerer, putterer, fixer of broken things; deconverted seminary dropout; antifascist, propagandist for a better world being possible. Opinions mine, not my employer's. Self-employed.
www.willburrows.art
π¨π¦ Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina π¨π¦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Artem Pelenitsyn @pelenitsyn.top Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg). PhD in CS from Northeastern. Interests: programming languages and compilers, types, Haskell, Julia. https://a.pelenitsyn.top/
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Christine Lemmer-Webber @dustyweb.bsky.social Co-author/co-editor of ActivityPub (what connects together the fediverse, including Mastodon, etc). Executive Director of the Spritely Institute. Lisp/scheme enthusiast, chaos transfem, sketcher of tiny creature drawings.
https://dustycloud.org
πΊπ¦ Ingvar Stepanyan @rreverser.com Cloudflare Worker.
You might also know me from my work on OSS tools and libraries for developers or WebAssembly DevRel work at Google Chrome.
π https://rreverser.com/
π· https://instagram.com/rreverser
julia @monomere.bsky.social she/her
Interests include pltdi, gamedev, music. living in germany. https://monomere.cc/
el @elliot.website and visual and creativity and computers and math and
elliot.website
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing β’ Personal account β’ Opinions my own, not employer's β’ RTs not endorsements
Jonathan W. Gray @elmcitytree.blacksky.app Chair @cunyenglish.bsky.social I study books, Blackness & pop culture! Leftist & left handed π°π³ π΅πΈ π³οΈββ§οΈ
One of many Jonathan Grays
I maintain #Blackademics, the scholarly side of #Blacksky
https://bsky.app/profile/did:plc:w4xbfzo7kqfes5zb7
Personal account
Alexa VanHatttum @avh.bsky.social Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Alex Knauth @alexknauth.bsky.social I like programming languages and functional programming, music, art, math-as-an-art-form, lakes, and other random
he/him | they/them & 29
http://pronoun.is/he?or=they
Leo π΄ββ οΈ @leostera.com typed actor maxxing since 2018 Β· http://github.com/leostera
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
Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)- R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
π @rntz@recurse.social
π¦ @arntzenius
Attempting to use bsky more now that people are showing up.
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
@jhemann.bsky.social @jhemann.bsky.social 
@thistlehummingbird.bsky.social @thistlehummingbird.bsky.social 
Brendan Zab @brendanzab.bsky.social Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
Kali @kali-tt.bsky.social CS student at Yale, she/her
Jacqueline @notjack.space rapid unscheduled torment nexus disassembly expert β nonbinary, she/they β works on CI platforms at Google β writes Racket elsewhere β admin of @claude.notjack.space
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
Alexander Bandukwala @bandukwala.me π» Pursuing the Future of Computing
π¬ PhD Student @ University of Michigan (Future of Programming Lab)
πͺ Building Hazel: Live Functional Programming & Malleable Systems
πΎ Dog Parent
π οΈ Ex-Software Engineer
π Computing Maximalist 
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science Β·
Core Developer, @racketlang.bsky.social Β·
Member, TC39 Β·
Handler, Gravymaker Β·
Bike Advocate, Bloomington IN
warpfork @warpfork.bsky.social still working with computers. to my frustration.
User choice and consent-based system design matters.
Local-first software is always superior.
Updates should never be forced.
Reproducible, deterministic systems are the only ones that should be trusted.
Kinderhook @kinderhookplates.bsky.social Exmo after 40 years of activity. Iβm also a rough stone. Iβm here because Iβm not going to leave it alone. Snarky liberal. Love, truth, and respect. he/him
ZoΓ« Blade @www.zoeblade.com Musician, writer, programmer. Analysis and synthesis. β
Makes music for ContraPoints http://patreon.com/zoeblademusic
Linda Tirado @killermartinis.bsky.social Answering to many names.- E @elizabethgrimm.bsky.social @elizabethgrimm.bsky.social
Igalia @igalia.com Igalia is an open source consultancy specialized in innovative projects and solutions with desktop, mobile, and web technologies.
Asumu Takikawa / η§ε·ζζ₯ε€’ @asumu.org πππ²π₯
Prisonculture @prisonculture.bsky.social co-founder of various organizations: Interrupting Criminalization; Survived & Punished; Sojourners for Justice Press; For the People Leftist Library Project, NYC PLAN, etc...