Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
I'm Uni :3 @unicouniuni3.bsky.social Uni, Minuet cat born on March 27, 2020๐ฏ๐ต
https://youni.store
Ellyse @ellyxir.com Programming languages enthusiast, choir, classical singing, video game creation, retro computers, languages
YouTube: https://www.youtube.com/@ellyse7777
PeerTube: https://video.mycrowd.ca/c/learn_together/videos
Fedi: https://humanwords.cc/@ellyxir
Erkal @azizerkalselman.bsky.social https://erkal.github.io/
interested in mathematics, wants to create aha! moments via interactive visuals and puzzle games 
@wolfadex.bsky.social @wolfadex.bsky.social I like to play games, build things for other people, eat food, and travel.
Current author of https://www.elmweekly.nl/
Martin Janiczek @janiczek.cz martin.janiczek.cz / Functional programming / Making a browser game @nuashworld.com / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
Giacomo Cavalieri @giacomocavalieri.me I love functional programming and learning new things โจ Gleam core team member ๐ (he/him)
Evan Czaplicki @acadia.engineering Designer of https://elm-lang.org and https://acadia.engineering
Linuxiac @linuxiac.bsky.social Latest news from the Linux world and open-source software. Reviews, analyses, tutorials, and moreโeverything FOSS, all in one place.
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Programming for the Planet @propl.dev The 3rd Programming for the Planet (PROPL) workshop will be co-located with PLDI in Boulder, Colorado (in hybrid mode) on 15th June 2026.
Ryan Mac ๐ @rmac.bsky.social NYT tech reporter
Co-author of Character Limit
Signal: rmac.18
ryan.mac@nytimes.com
rmac18@protonmail.com
https://www.penguinrandomhouse.com/books/737290/character-limit-by-kate-conger-and-ryan-mac/
https://linktr.ee/ryan_mac_
Mark Piper @mdpiper.bsky.social Research software engineer, @csdms.bsky.social: earth-surface processes, numerical modeling, FAIR software. https://www.colorado.edu/instaar/mark-piper
Also: Ultimate frisbee enthusiast. Bike commuter. Nerd. ๐
Cambridge Computer Science @cst.cam.ac.uk Cambridge University Computer Science & Technology Department (aka the Computer Lab). We built the UK's 1st usable programmable computer, offered the UK's 1st Computer Science degree, created the 1st ever webcam - and continue to advance the field today.
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
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Python Software Foundation @python.org The nonprofit organization behind the Python programming language. For help with Python code: http://python.org/about/help/
On Mastodon: @ThePSF@fosstodon.org
OpenForum Europe @openforumeurope.org Working to achieve open, competitive EU digital markets #OpenSource #OpenStandards #OpenInnovation
openforumeurope.org
Erlang Ecosystem Foundation @erlef.org Weโre a non-profit focused on growing and supporting a diverse community and tech based on the BEAM #erlef
https://erlef.org/
Lance Fortnow @lance.fortnow.com Complexity Theorist
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
Microsoft Threat Intelligence @threatintel.microsoft.com We are Microsoft's global network of security experts. Follow for security research and threat intelligence. https://aka.ms/threatintelblog
Microsoft Developer @developer.microsoft.com Dive into the biggest news from Microsoft Build and learn how to start building with it today
https://blogs.microsoft.com/blog/2026/06/02/microsoft-build-2026-be-yourself-at-work/
Microsoft Research @msftresearch.bsky.social We advance science and technology to benefit humanity.
http://microsoft.com/research
Edera @edera.dev We just want to talk about hardened runtime and stuff.
GitHub: github.com/edera-dev
YouTube: youtube.com/@edera-dev
Website: edera.dev
ReScript @rescript-lang.org https://rescript-lang.org/
Ship great products!
Deb Goodkin @dgoodkin.bsky.social DogLover/Runner/Cyclist/Hiker/ChowHound/Reader/Always Training for Something/Executive Director of the FreeBSD Foundation.
Paged Out! @pagedout.bsky.social Paged Out! is a free magazine about programming, hacking, security hacking, retro computers, modern computers, electronics, demoscene, and other similar topics. Always accepting submissions of one-page articles.
Javi Ibarrondo @jibarrondo.bsky.social Researcher at UCLA. PhD. Immunology, HIV. I love science, music, books and friends. Hate lies, authoritarianism and bad people. I block trolls: no debate, no comment.
OPNsense @opnsense.org OPNsense is an open source, easy-to-use and easy-to-build FreeBSD-based firewall and routing platform.
edwintorok.eurosky.social @edwintorok.eurosky.social 
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
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/
David Moon @dm0ney.bsky.social PhD UMich โข building http://tylr.fun http://hazel.org โข dmoon.info
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.
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
Joe Cutler @alphaconvert.bsky.social cutler.pl
Matti Palli @mpg.is aka Dr. Matthรญas Pรกll Gissurarson | uncertified Haskell engineer
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
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.
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
taylor.town @taylor.town ๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐ taylor.town ๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐
Nintendo .DS_Store @slim.bsky.social Pidgin algebraist, baseball influencer https://slim.computer
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
prev @tldraw.com
prev @inkandswitch.com
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: "Oblivion" by Mastodon
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/
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.
Bret Victor @worrydream.com worrydream.com
dynamicland.org
Paul Sonnentag @paulsonnentag.bsky.social No more killer apps, kill the app!
Talia Ringer @taliaringer.bsky.social 
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ยท
Core Developer, @racketlang.bsky.social ยท
Member, TC39 ยท
Handler, Gravymaker ยท
Bike Advocate, Bloomington IN- 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.
๐ฎ @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
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Alexis King @lexi-lambda.bsky.social computers can be understood โข she/her, โข โข Chicago
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
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.
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
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
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
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
jaylin herskovitz @jayl.in โช~ แ(แ)แ 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
http://wolkenmachine.nl
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
tom larkworthy @larkworthy.bsky.social Computers and decentralization.
Roly Perera @dynamicaspects.org Making software more open, explorable and self-explanatory
https://dynamicaspects.org/research
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
๐จ๐ฆ 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.
Andrew McNutt @mcnuttandrew.bsky.social Professing at University of Utah
vis/hci/programming interfaces
(He/his)
http://mcnutt.in/
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
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
Thomas Porter @thomjp.bsky.social PhD Student at the University of Michigan โฆ thomasporter522.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.
Mike Samuel ๐ฃ @mvsamuel.bsky.social Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
Kartik @k4rtik.bsky.social Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago 
David Justo @davidjustodavid.bsky.social PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
Tomas Petricek @tomasp.net Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
Amazon Web Services (AWS) @awscloud.bsky.social The official account of #AWS.
Tom Lawrence @lawrencesystems.com โ Tech Enthusiast, Open Source Advocate, Content Creator, DM's are not for tech support but my forums are. โ
https://lawrencesystems.com/