Sequoia Alexander 🌲✨ 林灵 (she/her) 🏳️⚧️✨🦄 @sequoia.farm Robotics engineer, anarchist, open source contributor. Abolish prisons. Trans rights. Free Palestine. All people deserve food and shelter and love. I’m actually a dog dressed as a bicyclist woof woof. Sometimes feral. Oakland, CA - alt: @feral.sequoia.farm
Otis @otispeterson.com 
Laura Michet @lmichet.bsky.social Extremely good at bicycling a medium distance at a medium speed. Narrative/Production at Blendo Games.
I mostly don't post here. You can see my blog, where I post every day, at blog.lauramichet.com
Cora Rowena Ruiz @roweziur.bsky.social PhD student at ccny researching security and privacy for vulnerable populations 🤓
Daly @daly.bsky.social technologist, fibers, frisson. digital security for bodily autonomy
Daniel Temkin @dtemkin.bsky.social Esolangs are Systems Art
SITE: https://danieltemkin.com
BLOG: https://esoteric.codes
BOOK: Forty-Four Esolangs: The Art of Esoteric Code: https://danieltemkin.com/esolangs (2025, MIT Press)
jared @awarm.space Working on @leaflet.pub in specific and tools for learners and education in general
Leaflet @leaflet.pub The easiest way to make a blog, newsletter, or website on the open social web!
📝 powerful publishing tools 🛠️
🌱 for new writers & pros 🌿
🗣️ to connect & grow 👯
📖 + ✍️ @ leaflet.pub
Lab Notes: lab.leaflet.pub
Code: tangled.org/leaflet.pub/leaflet
celine @cozylittle.house design at leaflet.pub!
ICE must be destroyed 🏳️⚧️🏴 @miawong.bsky.social Host of It Could Happen Here (and sometimes Behind the Bastards) for Cool Zone Media. Proud iHeart Podcast Union member Ending every post(?) with Moreover, ICE must be destroyed She/Her
rain 🌦️ @sunshowers.io (gender)queer transsexual / they/them / eng @oxide.computer / atheist and scientific humanist / 🦀 #rustlang / #jj-vcs #1 fan / https://nexte.st / https://sunshowers.io
also on mastodon: @rain@hachyderm.io / https://hachyderm.io/@rain
kbb ★ (/ ' ワ')/ ~♡ @localkristine.com making games, zines, and noises ★ triple threat: cute, cute, and cute
Greg Technology ❪⎷❫ @greg.technology my new portfolio: https://tandy.link/s/greg.technology
Timon @timonsku.zip "My Electronics Therapist" - @katef.bsky.social
Freelance Embedded Systems/Electronics R&D for work.
VP @ Open Hardware Association
Hardware hacking for fun
Liker of birbs 🐦⬛
name/he/they 🏳️🌈
@diodes-delight.com
📍Germany, Frankfurt
Owen Trueblood @owentrueblood.com 
Jake @jake.kitchen painting at https://jake.kitchen
📍Stockholm
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
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
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
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/
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Talia Ringer @taliaringer.bsky.social 
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.
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Toby Murray @tobycmurray.bsky.social Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
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.- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Andreas Zeller @andreaszeller.bsky.social Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
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
Sam Westrick @shwestrick.bsky.social assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Max Willsey @mwillsey.com https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
Guy Van den Broeck @guyvdb.bsky.social 🎓 CS Prof at UCLA
🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI
https://web.cs.ucla.edu/~guyvdb/
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Swarat Chaudhuri @swarat.bsky.social Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)- M Martin Bravenboer @mbravenboer.bsky.social Computer Scientist, Hiker, Photographer
Brian Demsky @bdemsky.bsky.social CS professor. PL/Model Checking/Concurrency.
Vinod Grover @vinodg.bsky.social Sr. Distinguished Engineer @nvidia
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
José Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Caterina Urban @caterinaurban.bsky.social 
Eric Smith @ewsmith.bsky.social formal methods researcher, CEO of Kestrel Institute
@tonypan123.bsky.social @tonypan123.bsky.social 
@spailoor.bsky.social @spailoor.bsky.social 
Robert Zhang @robertzhang.bsky.social CS PhD student @ UT Austin
robertzhang.vercel.app
Functional, Valid Wooof. @ruijief.bsky.social Just a happy doggo. Fan of asiago cheese.
@formallyjon.bsky.social @formallyjon.bsky.social 
Aslan Askarov @aslanix.bsky.social 
@rakamaric.bsky.social @rakamaric.bsky.social 
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Rupak Majumdar @rupakmajumdar.bsky.social New blue sky. Same old troll.
Anirudh Khatry @anirudhkhatry.bsky.social CS PhD @utaustin.bsky.social
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Alex Lew @alexlew.bsky.social Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
Austin Henley @azhenley.bsky.social Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
https://austinhenley.com/
Bill Pugh @bill-pugh.bsky.social Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications.
Active maker, burner, traveler, husband, father.
Vineeth Kashyap @vineethk.bsky.social Software Engineer, Programming Languages at Aptos Labs. Working on the Move compiler.
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Somesh Jha @someshjha.bsky.social I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security.
My other interests are Indian classical music, mindfulness, tennis, and pickleball.
Clément Canonne @ccanonne.github.io Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Richard Jones @profrejones.bsky.social Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
Anastasia Isychev @isychev.bsky.social postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
Ben Liblit @liblit.bsky.social 
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Manuel Rigger @mrigger.bsky.social Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability. 
Steven Holtzen @sholtzen.bsky.social I like computers.
assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
Junrui Liu @junrui-liu.bsky.social Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Klaus v. Gleissenthall @gleissen.bsky.social PL and Security research at VU Amsterdam https://gleissen.github.io
Erez Petrank @epetrank.bsky.social CS Professor at Technion
Éric Tanter @etanter.bsky.social 
Veselin Raychev @veselinr.bsky.social INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
@earlence.bsky.social @earlence.bsky.social (Assistant) Professor at @UCSanDiego. I hacked a Stop sign once, and it is now in a museum. Also hacked a bicycle. I mostly spend my time building stuff though.
Dan Grossman @dangrossmanseattle.bsky.social 
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Maddy Bowers @mlbowers.bsky.social PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
Borzoo Bonakdarpour @borzoo.bsky.social Associate Professor of Computer Science at Michigan State University
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Anders Møller @andersmoeller.bsky.social Professor at Aarhus University
https://cs.au.dk/~amoeller
Jim Larus @jameslarus.bsky.social Retired EPFL CS professor/dean.
Retired Microsoft researcher/manager.
Time to do something new….
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
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.
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.