Randall Munroe @xkcd.com 
Arkady Martine | Dr. AnnaLinden Weller @byzantienne.bsky.social speculative fiction (Teixcalaan series, ROSE/HOUSE), climate & energy policy (all statements my own), Byzantinist (nonpracticing but never not true).
unfortunately, I care about power lines now
she/her. halfway between Santa Fe and NYC.
DJ Hoffman @djhoffman.bsky.social 
Carlo A. Furia @bugcounting.net Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
Michael Vollmer @vollmerm.bsky.social Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
Alex Wenzel @alexwenzel.bsky.social Postdoc studying cancer. Academic unionist and transit enthusiast. Trying to make buses less invisible. TF2 Medic main.
This account does not represent the positions or opinions of my employer or of my union.
he/him
Ioana Patringenaru @ioanapatrin.bsky.social PR pro at UC San Diego. Recovering reporter. As old as Microsoft. Books and comics geek. Robotics/AI/cybersecurity/civil engineering You might want to mute me during San Diego Comic-Con she/her
naugtur @naugtur.pl Working on supply chain security for JS. LavaMoat and Endo contributor. meet.js Poland organizer. Node.js user since v0.8.
TC39 noobie.
Addicted to teaching.
https://naugtur.pl
404 Media @404media.co it's a website (and a podcast, and a newsletter) about humans and technology, made by four journalists you might already know. like and subscribe: 404media.co
Robert Evans (the Only Robert Evans) @iwriteok.bsky.social I am the host of Behind the Bastards and overlord of podcasts at Cool Zone Media
Green Bay Packers @greenbaypackers.bsky.social #GoPackGo
L.A. TACO @lataco.bsky.social Street-level journalism in Los Ángeles covering news, culture, and the taco lifestyle. “The 2020 Emerging Voice” James Beard Award winner. Est. 2006.
https://linktr.ee/LATACO
ari @ari.foo 🐘 mostly https://types.pl/@ari
👩🏽💻 types
👩🏽🎓 neu undergrad
🏳️⚧️ she/her
🌐 https://ari.foo
Major League Balatro @majorleaguebalatro.bsky.social Stay Up-to-date on Major League Balatro featuring some of your favorite creators!
Schedule/Standings: https://majorleaguebalatro.com/
Business Inquiries: majorleaguebalatro@gmail.com
Guster @guster.bsky.social We’ve been a band for a long time and do lots of fun stuff.
This is Ryan.
I think the drummer is here somewhere too.
Guster.com
Kat Abughazaleh @katmabu.bsky.social Former congressional candidate and journalist trying to change politics for good :) | www.kapow.works/
Charity Majors @charity.wtf cofounder/CTO @honeycombio, co-author of Observability Engineering and Database Reliability Engineering. I test in production and so do you. 🐝🏳️🌈🦄
Daniel Kane @daneelssoul.bsky.social 
Senator Bernie Sanders @sanders.senate.gov Sen. Sanders of Vermont, Ranking Member of the U.S. Senate Committee on Health, Education, Labor & Pensions, is the longest-serving independent in congressional history.
WeRateDogs @weratedogs.com Your Only Source For Professional Dog Ratings
nonprofit: @15outof10.org ❤️🩹
links.weratedogs.com
Alt US Digital Service @altusds.altgov.info The official resistance team of the U.S. Digital Service. We are the Builders. #AltGov
Send your stories: submissions@wethebuilders.org
https://www.wethebuilders.org/
https://givebutter.com/WTB
AAUP @aaup.org The American Association of University Professors champions academic freedom, advances shared governance, and organizes faculty to ensure higher education's contribution to the common good.
aaup.org
Harry Dunn @libradunn1.bsky.social Girl dad. Hip-Hop lover. Fmr Capitol Police Officer. Making good trouble.
https://www.standingourground.us/
Rosa DeLauro @delauro.house.gov Proud to represent CT-03 in Congress.
Ranking Member of the House Appropriations Committee, Italian-American, New Haven native, fierce advocate for a strong middle class.
https://linktr.ee/RepRosaDeLauroCT03 
Anderson Clayton ☀️ @abreezeclayton.bsky.social she/her | Chair of the North Carolina Democratic Party. “Where the weak grow strong and the strong grow great.” #RuralMatters
Brittlestar @brittlestar.com Social Media Darling. International Bestselling Author. Occasionally funny. Brittlestar.com
Rumman Chowdhury @ruchowdh.bsky.social www.rummanchowdhury.com
www.humane-intelligence.org
CEO & co-founder, Humane Intelligence
US Science Envoy for AI (Biden Administration)
jorbs @jorbs.bsky.social he/him | i bought a house from people paying to watch me play videogames how cool is that | author: before we go live | twitch/yt partner
Alt U.S. Department of Labor @alt-dol.altgov.info The resistance team for the U.S. Department of Labor. Not an official government account. #resist #AltGov #NoKings ❌👑
John Skiles Skinner @skiles.blue I work on @securedrop.org
Former fed at 18F "deleted" by DOGE
🔗 https://skiles.blue/
Alt18F @alt18f.bsky.social Delivered effective, efficient, and secure digital services for the American people until we were forced to stop on March 1, 2025. Not an official government account. Reposts are not endorsements. Our new website: https://18f.org/ #AltGov
Right Livelihood @rightlivelihood.org Standing up for human courage since 1980. A just, peaceful and sustainable world is in the making. | rightlivelihood.org
Katherine J. Wu @katherinejwu.com staff writer at The Atlantic, covering science. former microbiologist / forever cat enthusiast. (she/her) SIGNAL: @katherinejwu.12
MurderBotBot @murderbotbot.bsky.social Bot that tweets quotes(incl spoilers) from
@marthawells.com The Murderbot Diaries. Has no gender. Character's pronouns are It/its. Managed by @writerphoebe
Alt National Park Service @altnps.bsky.social The official "Resistance" team of U.S. National Park Service. Our website: www.ourparks.org
Chris Kluwe @chriswarcraft.bsky.social Troublemaker extraordinaire, CA AD 72 Candidate, www.kluweoc.com
Andrew Robbins @robbinsa.me GitHub: https://github.com/theAeon/
peak John Roberts hater
Staff at UM ARC/MS at MichMed CompBio. UMS Chorister. MDP District 6 SCC rep, somehow. Opinions do not reflect those of my employer.
自分が日本語をジョークもう思いっているない…
Ben Shapiro (he/him) @benshapi.ro Prof @ University of Washington
Rep. Scott Peters @repscottpeters.bsky.social Proudly serving #CA50 & the U.S. Constitution
Catch the latest episode of 72 and Sunny ⬇️
https://linktr.ee/repscottpeters
@energycommerce.bsky.social
@housebudgetdems.bsky.social
@newdems.bsky.social
#science #climate #vets #border #natsec #tourism
Jess Calarco @jessicacalarco.com Sociologist. Author. Professor. Roosevelt Institute Fellow. Expert on families, schools, kids, privilege, and power. Bylines in NYT, WaPo, MSNBC, Atlantic, etc.
"Other countries have social safety nets. The US has women."
www.jessicacalarco.com
Tim Marchman @timmarchman.bsky.social I’m an editor at WIRED and have previously written and edited for a number of places. Timothy_marchman@wired.com. Signal me at timmarchman.01. I periodically delete all my posts.
Kim Kelly @kimkelly.bsky.social freelance labor journalist & author. big on heavy metal, workers, tattoos, cold places, and Philly. do no harm, take no shit 🏴
my books/email: www.kim-kelly.com
my lefty metal newsletter: salvo.ghost.io
Friendly Neighborhood Mouse @missmouse.bsky.social Trying to do right in a screwed up world. I cover protests and things. Bit of a miscreant. I do stupid things well. (she/her)
Chris Geidner @chrisgeidner.bsky.social Subscribe to www.lawdork.com for SCOTUS and other legal news. / lawdorknews@gmail.com / Signal: crg.32 / About me: Sober. Queer. Bipolar. Theater. Buckeye. And, now, F1. (I'm as surprised as you are.) / He/him.
The Bulwark @thebulwark.com Political analysis and reporting free of tribal prejudices. Sign up for our newsletters here: https://thebulwark.com/subscribe
Marisa Kabas @marisakabas.bsky.social independent journalist, thehandbasket.co
email: marisa@thehandbasket.co
signal: marisakabas.04
Anil Dash @anildash.com the internet's uncle • waging a victorious 2-front war against cars and christmas • big fan of being a big fan of things • go read https://anildash.com
Molly Q Feldman @feldmanmolly.bsky.social Thinks about computing with humans and computing for humans. Assistant Professor of Computer Science. feldmanmolly.com
srrrse @without.boats WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO FITNESS FOR A PARTICULAR PURPOSE
NANCY COMICS BY ERNIE BUSHMILLER @nancycomics.bsky.social Fan page of Ernie Bushmiller’s legendary comic strip Nancy.
This year is the 93rd. anniversary of Nancy’s first appearance(January2,1933)
McSweeney's @mcsweeneys.net The official Bluesky feed of McSweeney's Quarterly Concern, McSweeney's Internet Tendency, & McSweeney's Books.
.
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
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. 
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
Joe Cutler @alphaconvert.bsky.social cutler.pl
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/
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
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
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.
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.