Lachlan Kermode @ohrg.org PhD Candidate at Brown University / software at https://liminal-lab.org/. Freeing computers one terminal at a time.
Teddy Leane @teddyleane.bsky.social Victorian Gothic & Decadent literature, computational humanities | Princeton โ24, Cornell English PhD student | same @ on Twitter
Mor Naaman @informor.bsky.social Cornell Tech professor (information science, AI-mediated Communication, trustworthiness of our information ecosystem). New York City. Taller in person. Opinions my own.
David Sancho @david.sancho.dev Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
srrrse @without.boats WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO FITNESS FOR A PARTICULAR PURPOSE
Andrew K. Hirsch @akhirsch.bsky.social 
Josh Sunshine @joshsunshine.bsky.social Assistant Professor at Carnegie Mellon. I help people understand the software they create. 
Daniel Sainati @sainati.bsky.social PhD student at Penn studying type systems | sainati.pl
arxiv cs.PL @arxiv-cs-pl.bsky.social Computer Science -- Programming Languages (cs.PL)
source: export.arxiv.org/rss/cs.PL
maintainer: @tmaehara.bsky.social
George A. Constantinides @gconstantinides.bsky.social Prof Digital Computation @imperialcollege, Director of the Early Career Researcher Institute. Vice Chair @iclmathsschool. Views own. http://constantinides.net.
Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy Software researcher at https://cispa.de., working on https://fandango-fuzzer.github.io, https://www.cispa.de/s3, @TheFuzzingBook, @TheDebuggingBook, and more [โฆ]
๐ bridged from โ https://mastodon.social/@AndreasZeller, follow @ap.brid.gy to interact
FOCS 2026 @focs2026.bsky.social Official account for the 2026 IEEE Symposium on Foundations of Computer Science (FOCS), to be held in New York, USA, Nov 8โ11, 2026.
๐ https://focs.computer.org/
Stephen Mell @stephenmell.bsky.social PhD student working on language design for compound AI systems
https://mell.ac/
Erica Chiang @ericachiang.bsky.social CS PhD student at Cornell :)
CMU CS โ23
https://erica-chiang.github.io
Sophie Greenwood @sjgreenwood.bsky.social PhD Student @ Cornell CIS
Bluesky paper digest: https://bsky.app/profile/paper-feed.bsky.social/feed/preprintdigest
Sil Hamilton @srhm.ca NLP PhD student at Cornell / https://srhm.ca/
Nikhil Garg @nkgarg.bsky.social I study algorithms/learning/data applied to democracy/markets/society. Asst. professor at Cornell Tech. https://gargnikhil.com/. Helping building personalized Bluesky research feed: https://bsky.app/profile/paper-feed.bsky.social/feed/preprintdigest
Shamus Li @shamus.li 
Isabel Silva Corpus @isabelcorpus.bsky.social PhD student in Info Sci at Cornell (Tech)
isabelsilvacorpus.github.io
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Camdar @camdar.io phd student, pl person. i do cool things, occasionally.
he/him
https://camdar.io
Webmaster @ https://feuniverse.us
Haskell programming language @haskell.org Committed to a welcoming, vibrant & ๏ฌourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
๐Victoria BC ๐จ๐ฆ
https://chrispenner.ca
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Dan Plyukhin @dplyukhin.bsky.social dplyukhin.github.io
Zack Eisbach @zackbach.bsky.social Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
New Ideas in Networked Systems @nines-conference.org A new conference on networked systems dedicated to all the new ideas fit to discuss!
https://nines-conference.org/
Paper Skygest Team @paper-feed.bsky.social Building personalized Bluesky feeds for academics! Pin Paper Skygest, which serves posts about papers from accounts you're following: https://bsky.app/profile/paper-feed.bsky.social/feed/preprintdigest. By @sjgreenwood.bsky.social and @nkgarg.bsky.social
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io- J Joe Hellerstein @joehellerstein.bsky.social Computer things @Berkeley and music things elsewhere.
Yihao Sun @stargazermiao.bsky.social The Next 700 Programmers.
oliver @eikopf.com absolutely will not shut up about programming languages
(he/him)
patrick @patrick.sirref.org PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferris
Natalie Collina @ncollina.bsky.social CS PhD student at UPenn studying strategic human-AI interaction. Nataliecollina.com
David Allsopp @dra27.uk Cambridge-based, London-working software engineer; sometime classical singer. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
Rob Stewart @robstewartuk.bsky.social Associate Professor at Heriot-Watt University. Accelerating functional languages and AI in software and hardware.
https://www.macs.hw.ac.uk/~rs46/
Terrateam @terrateam.io Open-source infrastructure automation using familiar GitHub workflows with Terraform, OpenTofu, CDKTF, and Terragrunt.
The Rust Foundation @rustfoundation.org The Rust Foundation is an independent nonprofit organization dedicated to stewarding the Rust programming language and its global community. rustfoundation.org
Timothy Snyder @timothysnyder.bsky.social Temerty Professor of Modern European History, Munk School, University of Toronto; Permanent Fellow, IWM Vienna; Emeritus Levin Professor, Yale. Author of "On Freedom," "On Tyranny," "Our Malady," "Road to Unfreedom," "Black Earth," and "Bloodlands"
PLRG :: Bristol @plrg-bristol.bsky.social This is the account of the Programming Languages Research Group at the University of Bristol.
https://plrg-bristol.github.io/
David Mimno @dmimno.bsky.social He teaches information science at Cornell. http://mimno.infosci.cornell.edu
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Patrick @patlafon.bsky.social 
Simons Institute for the Theory of Computing @simonsinstitute.bsky.social The world's leading venue for collaborative research in theoretical computer science. Follow us at http://YouTube.com/SimonsInstitute.
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
Mark Barbone @markis.cool TODO write a profile
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
CompSciOxford @compscioxford.bsky.social Department of Computer Science at the University of Oxford, sharing news on our outstanding research across a broad spectrum of computer science #CompSciOxford
Max Slater @thenumb.at https://thenumb.at
Computer Graphics, Programming, Math, OxCaml, C++
Max Tromanhauser @max.troman.haus PhD Student @ Cornell
Quantum Cryptography / Complexity
Album Of The Day @aotd.bsky.social ๐ @taylor.town
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Martin Kleppmann @martin.kleppmann.com Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote โDesigning Data-Intensive Applicationsโ (OโReilly). he/him
Geoffrey Litt @geoffreylitt.com Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
๐ฏ๐ต๐บ๐ธ
Jack Rusher @jackrusher.com Ex-Bell Labs/AT&T Research'er making art & technology in Berlin.
๐@jack@jackrusher.com
๐ฆ@jackrusher
Ivy Reese @spiralganglion.com I want to smush software between my fingertips
and turn my flittery feelings into multimedia.
merveilles.town/@spiralganglion ฮ masto
@inkandswitch.com ฮ research
feelingof.com ฮ podcast
ivy.boo ฮ myself
she / hrt ๐ณ๏ธโโง๏ธ
ab ๐จ๐ฆ
Paul Biggar ๐ต๐ธ ๐ฎ๐ช @paulbiggar.com Founder Tech For Palestine, Darklang, and CircleCI. Currently running Tech for Palestine https://techforpalestine.org
Jimmy Miller @jimmyhmiller.bsky.social Compiler engineer and co-host of the feeling of computing podcast
https://jimmyhmiller.com
https://feelingof.com/episodes/
Alice โจ @welltypedwit.ch Thereโs no sense crying over every mistake. You just keep on trying โtil you run out of cake
- GLaDOS
https://welltypedwit.ch
Jonathan Edwards @jonathoda.bsky.social Dissident computer scientist 
Josh Horowitz @joshuahhh.com joshuahhh.com
t-shirt size: medium
Josรฉ Valim @josevalim.bsky.social Creator of Elixir. Working at Dashbit and Livebook.
gabby @fullmoon.id Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her ๐ณ๏ธโโง๏ธ coworkers DNI
https://linktr.ee/gabriella439
๐ @ember.pet
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.
taylor.town @taylor.town ๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐ taylor.town ๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐
Jared Forsyth @jaredforsyth.com trying to be christian. feminist. mormon. type theory, PLT
Mobile dev @KhanAcademy
building kipos https://github.com/kipos-lang/kipos
@jaredforsyth on the dead bird site
Lu wilson @todepond.com prototypes @wikipedia.org
London
todepond.com
youtube.com/@todepond
Linus @thesephist.com thought & craft
Steve Krouse @stevekrouse.com 
์ง์ฐ @zee.town eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
๐ต NP: "Yam Yam" by No Vacation
Mariano Guerra @marianoguerra.org ๐ง๐ฝโ๐ป Co-founder of Gloodata & Instadeq
๐ Co-author of https://wasmgroundup.com/
๐ฐ Feeling of Computing Newsletter: https://newsletter.futureofcoding.org/join/
๐ Public Projects: https://marianoguerra.github.io/
Bret Victor @worrydream.com worrydream.com
dynamicland.org
Paul Sonnentag @paulsonnentag.bsky.social No more killer apps, kill the app!
๐ฎ @chrisshank.com seeding discontent in present-day computing and radical patience in how we reimagining it
libcomp.org โข @folkjs.org
foraging the web: https://semble.so/profile/chrisshank.com
Predrag Gruevski @predr.ag Querying (Almost) Everything // Frontier Systems @ OpenAI // Author of cargo-semver-checks & Trustfall // https://predr.ag/blog // ex Kensho // MIT alum // https://hachyderm.io/@predrag // not from around here ๐ฒ๐ฐ // he-him
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Michael Homer @mwh.nz I make programming languages and interfaces at Victoria University of Wellington
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
jaylin herskovitz @handle.invalid โช~ แ(แ)แ PhD student @ umich researching accessibility, diy tech, AR
she/her
jayl.in
@mechadense.bsky.social @mechadense.bsky.social 
Matt Keenan @negabinary.bsky.social 
(Sundara (Vishnu)) (Satish) @svishnus.bsky.social PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu โ25
Marcel Goethals @wolkenmachine.bsky.social In(ter)dependant researcher and toolmaker. Currently inventing programmable ink @inkandswitch.com
Living in Paris
https://www.marcelgoethals.com/
Cole Lawrence @colelawrence.com End user programming & AI tool designer.
๐ ๏ธ CTO at https://phosphor.co & @forethink.ai
๐ฆ Rust NYC / https://RustEastCoast.com organizer ๐๐ปโโ๏ธhe/him
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
tom larkworthy @larkworthy.bsky.social Computers and decentralization.
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 
Sam Lindley @reifyreflect.bsky.social 
โนProgrammingโบ 2026 @programming-conf.bsky.social Official website: https://2026.programming-conference.org/
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
tijana miniฤ @tijanaminic.bsky.social phd student at @uwcse | niche perfume enthusiast and a foodie in training | ๐ท๐ธ๐ฆ๐ช๐บ๐ธ
tijanaminic1.github.io
James Dawson Brock @jamesbrock.bsky.social Pure functional programming, Haskell, PureScript, Nix.
Vermont provenance, Yokohama residence.
https://github.com/jamesdbrock
https://twitter.com/jamesdbrock
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Andres Lรถh @kosmikus.bsky.social Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Oskar Wickstrรถm @wickstrom.tech Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
Blog at wickstrom.tech, work at antithesis.com