A Pattern Language Bot @aplbot.bsky.social Posting one pattern name and problem from Christopher Alexander's A Pattern Language every day.
Yanna Weisberg @yannaweisberg.bsky.social Personality psychologist studying interpersonal behavior and then some. Mom, powerlifter, daydreamer, and sometimes banjo player.
Jacob Garbe 💀 @logodaedalus.bsky.social Quiet Poster. Retweets mostly spooky art, books, and the occasional original thought. Did a PhD on designing dynamic narrative systems in games. Senior Narrative Systems Designer.
Views my own.
Dan Piponi @dpiponi.mathstodon.xyz.ap.brid.gy Disclaimer:
👽 My opinions are not my own. They're beamed to me by aliens
Current life:
🧠 Thinking at high effort
Previous lives:
🍩 PhD in Riemann theta functions […]
🌉 bridged from ⁂ https://mathstodon.xyz/@dpiponi, follow @ap.brid.gy to interact
yomna @rival-elf.bsky.social phone radio security, art, abstract math, weird fashion :: advisory board member @eff.org :: she/her :: posts my own :: https://yomna.net
SIGBOVIK @harryqbovik.bsky.social The official Special Interest Group on Harry Q. Bovik | Senior Computer Scientist at CMU | Research Interests include Perplexity Theory, k-Armed Bandits, and Cloud Rendering
jessie @jessie.grosen.systems 
increpare @increpare.bsky.social Game developer in Berlin, innit.
www.increpare.com
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)
enclose.horse @enclose.horse Build a pen around the horse by placing walls on the grid. Click on a grass (green) tile inside the grid to place a wall.
Play at: https://enclose.horse
Jon Bois @jonbois.bsky.social jon
https://www.patreon.com/c/SecretBase
https://www.youtube.com/SecretBaseSBN
Daniel Patterson @dbp.bsky.social Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Daniel Sainati @sainati.bsky.social PhD student at Penn studying type systems | sainati.pl
Rob Ricci @ricci.io Research Professor in the Kahlert School of Computing at the University of Utah. I don't speak for them.
Here, I mostly post about decentralization and social networks. I'm more active on other topics in the fediverse at https://discuss.systems/@ricci/ .
Acronymy Daily @daily.acronymy.net Daily updates from https://acronymy.net.
For a stream of all submissions, see @acronymy.net.
shing yin khor @shing.bsky.social Award-winning (2x Indiecade, Eisner, Ignatz, National Book Award finalist, etc) game designer, cartoonist, and puppet filmmaker in the practice of marionettes, fortune cabinets, kind rabblerousing, and Paul Bunyan facts. Little guy enjoyer. (they/them)
mel thomas @pagemelt.bsky.social several possums in a trench coat and one of them learned how to read
they/them
https://pagemelt.zone/
rahaeli @rahaeli.bsky.social Cofounder @dreamwidth.org / disabled queer cat lady / running social media since before it was "social media" and Trust & Safety since the dawn of time / do not cite the deep magic to me, I wrote it / no, I'm allergic to that, too
shoofle @shoofle.bsky.social the redhead
Tanya X. Short @tanyaxshort.bsky.social Captain of Kitfox Games (Streets of Fortuna, Boyfriend Dungeon, Dwarf Fortress, Caves of Qud). Co-director of Pixelles & Polaris. She/her. Be full of love. Put in the effort.
Harrison Grodin @harrisongrodin.bsky.social 
Pierce Darragh @pdarragh.bsky.social he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI.
Mastodon: https://types.pl/@pdarragh
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
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
Journal of Functional Programming @journal-of-fp.bsky.social Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Posts by @liamoc.net
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Steven Holtzen @sholtzen.bsky.social I like computers.
assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
Dan Grossman @dangrossmanseattle.bsky.social 
Andrew Head @andrewhead.bsky.social Assistant prof at Penn. Designing interactions to make code, formulas, medical notes, and mechanized proofs more readable.
Read about my group's work at https://andrewhead.info
@benjamincpierce.bsky.social @benjamincpierce.bsky.social 
Andrew K. Hirsch @akhirsch.bsky.social 
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
Yuriy Brun @yuriybrun.bsky.social Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
Hank Green @hankgreen.bsky.social Long Time Internet Guy
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
‹Programming› 2026 @programming-conf.bsky.social Official website: https://2026.programming-conference.org/
Tomas Petricek @tomasp.net Associate prof @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent & @cst.cam.ac.uk.
Check out my book "Cultures of Programming"! https://tomasp.net/cultures
Aaron A. Reed @aaronareed.bsky.social Maker of books, games, games about books, and books about games. Social media content syndicated to multiple platforms: https://linktr.ee/aaronareed
Andy Matuschak @andymatuschak.org More wonder, more insight, more expression, more joy!
Currently exploring tools that augment human memory and attention.
https://andymatuschak.org
Twitter: andy_matuschak
Mastodon: @andy@andymatuschak.org
@ianhorswill.bsky.social @ianhorswill.bsky.social 
Elena Glassman @elglassman.bsky.social Assistant Professor @ Harvard SEAS specializing in human-computer and human-AI interaction. Also interested in visualization, digital humanities, urban design.
Cat Hicks @grimalkina.bsky.social Author of The Psychology of Software Teams: https://www.drcathicks.com/#book
Applied behavioral science in complex technical systems
she/her 🏳️🌈
Catharsis: https://catharsisinsight.com/
Host at: https://www.changetechnically.fyi/
Bob De Schutter @bobdeschutter.be Professor at Northeastern University • award-winning indie game dev • PhD in game design, aging, motivation & learning • helps game devs to be mindful of older players
Max Kreminski @maxkreminski.bsky.social https://mkremins.github.io
Gillian Smith @codingcrafter.bsky.social Director of IMGD at WPI. Game design, generative AI, computational craft, generative design, feminist tech, mom stories. she/they
miniKanren.org @minikanren.bsky.social A little constraint logic programming language and associated community of researchers!
Nick Rioux @nickrioux.bsky.social Programming will get better.
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
Tiago Cogumbreiro @forkjoin.bsky.social Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
Andrew McNutt @mcnuttandrew.bsky.social Professing at University of Utah
vis/hci/programming interfaces
(He/his)
http://mcnutt.in/
droqen and 24 others @droqen.bsky.social 
Naomi Saphra @nsaphra.bsky.social Waiting on a robot body. All opinions are universal and held by both employers and family. ML/NLP professor.
nsaphra.net
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
this 🍍 supports 🍉 @efortmanteau.bsky.social primarily a shitposter. does socialism and having a job on the side. ace/bi. enjoyer of puzzle hunts, video games, crafts, ttrpgs, and portmanteaux.
she/they/yinz
linktr.ee/efortmanteau for all the other sites
improper noun @hazelnym.bsky.social i, with my inflexible platonism, my fierce seeing of only one thing at a time: i ruled against the indefinite article.
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
Everest Pipkin @everest.bsky.social Games, software tools, ttrpgs, the handmade web - Barnacle Goose Experiment, World Ending Game - Program Coordinator at Pratt Game Arts - long live the postal service.
https://everest-pipkin.com
zaratustra @zaratustra.bsky.social a real good person in a real bad place
http://zaratustra.itch.io
David R. MacIver @drmaciver.bsky.social 
Amy J. Ko @amyko.phd Professor @ University of Washington Information School. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
mkehrt @roseandsigil.bsky.social I believe in the Republic of Heaven.
Mostly politics lurking. (Slightly) more at mastodon: @roseandsigil@social.wub.site .
he/him/his/his
Avatar by Chris Martens, after Pamela Coleman Smith.
Owen Maresh @graveolens.bsky.social Mathematics Sorceror (sensory alchemist) at the Arctangent Transpetroglyphics Algra Laboratory (ATAL), I transflarnx mathematics into living rainbows. http://owen.maresh.info https://github.com/graveolensa,
Psoepbe-Tlaxtlal; (an undreamt splendour?)
neotl @ctrlcreep.bsky.social get me out of this shape
Rebecca Fiebrink @rebeccafiebrink.bsky.social Creative AI / creative computing @ University of the Arts London. https://researchers.arts.ac.uk/1594-rebecca-fiebrink
Creator of https://www.wekinator.org/ for creative interactive supervised learning.
I like food too.
Loren @shambles.bsky.social nonprofit comms, voter protection vol, NYC. win my heart with puns, locked tomb memes, and picket signs. she/her
pfp: a half melted little mermaid candle. banner: a spoiled 9 rescue pup in a fetching bowtie. she appears to be lightly judging you.
CMU Computer Science Department @csdatcmu.bsky.social The Computer Science Department's mission has remained steadfast: to lead in computer science research and education that has real-world impact — to push the frontiers of the field and produce the next generations leaders.
@jhemann.bsky.social @jhemann.bsky.social 
Max Willsey @mwillsey.com https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Leif Andersen @leif.pl Interested in visual and interactive syntax (hybrid textual-visual languages). Pronouns she/her, they/them, or ask. Mostly blind #girlslikeus #exmormon #blacklivesmatter
Sam Lindley @reifyreflect.bsky.social 
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Adrian Sampson @adrian.discuss.systems.ap.brid.gy Carly Rae Jepsen fan account.
🌉 bridged from ⁂ https://discuss.systems/@adrian, follow @ap.brid.gy to interact
Alex McLean @yaxu.post.lurk.org.ap.brid.gy Non-academic #UKRIFLF research fellow at non-profit org @thentrythis, working on algorithmic patterns (@alpaca).
Instigator of @tidalcycles, and co-founder of @algorave […]
🌉 bridged from ⁂ https://post.lurk.org/@yaxu, follow @ap.brid.gy to interact
LilyPowers @lilypowers.bsky.social ‘She climbed the ladder of success wrong by wrong’ But what would Chico do?
Emilia @lazerwalker.com Experimental games, interactive art, OSS tools. Was games advocacy lead at MS/Xbox (+ organizer of Roguelike Celebration and !!con), currently a full-time Very Sick Person. Probably doing qigong right now.
https://lazerwalker.com
she/her
Richard Lemarchand @rich-lem.bsky.social Former Naughty Dog Lead Game Designer, now a professor in the USC Games program. Wrote 'A Playful Production Process' for the MIT Press. He/him.
Erin Kissane @kissane.myatproto.social Away for a while. Making and mending networks and knowledge. Working and thinking at wrecka.ge, co-running a volunteer unbreak-the-news collective at @unbreaking.org.
Previously: Covid Tracking Project, OpenNews, old web nonsense.
jenn schiffer 🍦 @jennschiffer.com human genius
jennschiffer.com
Christine Love @christinelove.bsky.social game developer, yuri enthusiast, your beloved problematic girlfriend
Liz England @lizardengland.bsky.social Game designer. I post a lot of brunch photos. she/her.
Raph Koster @raphkoster.bsky.social Videogames: ULTIMA ONLINE, STAR WARS GALAXIES, METAPLACE, STARS REACH (coming soon!), among others. Tabletop: WADDLE. Books: THEORY OF FUN, POSTMORTEMS, SUNDAY POEMS. Music: AFTER THE FLOOD. Also at @raphkoster@mastodon.gamedev.place
Sam Barlow 🔥 @mrsambarlow.bsky.social Writer & Director of 🔥 IMMORTALITY - "10/10" Edge 🔥 HER STORY - Telling Lies - Aisle - Silent Hill: Shattered Memories - He/Him
NEXT! → PRECOGNITION and PROJECT D - Two new and mindblowing horror games coming in your future
Frank Lantz @flantz.bsky.social game designer 
Erin McKean @emckean.bsky.social Wording at Wordnik until the words stop. 
Laura E. Hall @lauraehall.bsky.social Mysteries, puzzles, adventures. I make games, write books & preserve immersive history. PDX. They/she
Immersipedia coming soon 📖
PLANNING YOUR ESCAPE (Simon & Schuster), KATAMARI DAMACY (Boss Fight Books)
✨ lauraehall.com
🔎 cfia.org
🎙️ secretlives.games