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.
Sean Carroll @seanmcarroll.bsky.social Physics, philosophy, complexity. @jhuartssciences.bsky.social & @sfiscience.bsky.social. Host, #MindscapePodcast. Married to @jenlucpiquant.bsky.social.
Latest books: The Biggest Ideas in the Universe.
https://preposterousuniverse.com/
Mirco Giacobbe @mircogiacobbe.bsky.social Associate Professor @ UniBirmingham | Logician & Computer Scientist | Making AI Systems Safe, with Mathematical Certainty
Dane Carnegie Malenfant @dvnxmvlhdf5.bsky.social MSc. @mila-quebec.bsky.social and @mcgill.ca in the LiNC lab
Fixating on multi-agent RL, Neuro-AI and decisions
Ēka ē-akimiht
https://danemalenfant.com/
Grace @gracekind.net A latent space odyssey
gracekind.net
Ishan S. @nahsimai.bsky.social PhD student, using scene graphs to formalize and validate autonomous systems at runtime.
#FormalMethods #RuntimeMonitoring #SceneGraphs
UCSB Computer Science Department @ucsb-cs.bsky.social 
Horizon Omega @horizonomega.org Advancing AI safety through collaboration, research, and education
https://www.horizonomega.org/
FLoC 2026 @floc2026.bsky.social 
Université Paris-Saclay @univparissaclay.bsky.social Compte officiel de l'Université Paris-Saclay : 48 000 étudiants, 9 000 chercheurs et enseignants-chercheurs, 4 600 doctorants #Formation #Recherche
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
ETAPS conferences @etapsconf.bsky.social ETAPS International Joint Conferences On Theory & Practice Of Software. The ETAPS conferences are ESOP, FoSSaCS, iFS, and TACAS.
ETAPS 2027: April 10–15, Copenhagen, Denmark
https://etaps.org
Sean M Kauffman @seanmk.bsky.social Space, Cats, Mennonites, Mariners Baseball, Dodgeball, Computers, Pedagogy. Assistant Professor at Queen's University with research in Runtime Verification.
Alexander Gray @aggray.bsky.social Head, Centaur AI Institute: neuro-symbolic AI research and education. Ex- tenured prof, big tech VP, startup co-founder. centaurinstitute.org
CAV @confcav.bsky.social 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
Rick Elrod @relrod.bsky.social Hello! I am a #linux and #emacs user and software engineer who also enjoys #linguistics and #etymology. Trying to forget that I'm American. Proud to be living in Germany. Learning #German and #Rust. he/him/his.
GitHub: https://github.com/relrod
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
Anne Koziolek @akoziolek.bsky.social Professor for software engineering at @kit.edu. Interested in automated capturing of SWA models with NLP and model consistency. @akoziolek@mastodon.acm.org
ENCODE Doctoral Network @encodenetwork.bsky.social https://www.encode-doctoral-network.eu
European Network in Coding Theory and Applications:
A Horizon Europe Marie Skłodowska-Curie Action Doctoral Network
Zhouxing Shi @zhouxingshi.bsky.social PhD candidate at UCLA. Trustworthy ML | Formal verification for NN | robustness & safety
Noa Kaplan @noakaplan.bsky.social PhD student at Cornell University. Interested in #Robotics, #FormalMethods and #AI
Rémi Forte @rmfrt.com Poetic Program, Typographic System
https://www.rmfrt.com/
Emerson Victoria Johnston @idenarch.bsky.social currently researching the social history of the early internet (think algorithms, architectures, and archives)
tech policy @ stanford / comms and membership @ AoIR
masters x2 @ stanford / bachelors @ northeastern
first gen 🎓 | 🏳️🌈
Zhaoyang Wang @zhaoyangw.bsky.social Researcher | Foundation Models, Bayesian Optimization, reinforcement learning, and AutoML. Uni of Birmingham.
Share latest AI news.
Kush Varshney कुश वार्ष्णेय @krvarshney.bsky.social I wrote a book.
Free pdf: http://trustworthymachinelearning.com
Paperback: http://amazon.com/dp/B09SL5GPCD
Posts are my own and don't necessarily represent IBM.
Andrés Corrada @andrescorrada.bsky.social Scientist, Inventor, author of the NTQR Python package for AI safety through formal verification of unsupervised evaluations. On a mission to eliminate Majority Voting from AI systems. E Pluribus Unum. 
Davide Borghi @daveborg.bsky.social Research Fellow from 🇮🇹 | Multi-Agent Reinforcement Learning
Juan Diego Rodriguez @juand-r.bsky.social CS PhD student at UT Austin in #NLP
Interested in language, reasoning, semantics and cognitive science. One day we'll have more efficient, interpretable and robust models!
Other interests: math, philosophy, cinema
https://www.juandiego-rodriguez.com/
Formal Methods Europe @formalmtds.bsky.social Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Daniel Dobriy @smntc.bsky.social Researcher & faculty member @DPKM dedicated to the field of AI, with the focus on knowledge technologies (knowledge graphs, semweb, RAG) & their use in e-gov, skills matching, research ecosystem, digital humanities and education. Partner @km-a.bsky.social.
Hank Green @hankgreen.bsky.social Long Time Internet Guy
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Alessandro Crimi @alecrimi.bsky.social Prof.@AGH_Krakow. Intersecting #neuroscience/#AI and #impact #social development.
#innovation #globalhealth All links: http://linktr.ee/alecrimi
Paul Cochrane @paulcochrane87.bsky.social Global Services Manager @ Hyland | Passionate about services, healthcare, digital health, AI & cloud | BSc, PRINCE2, MSP, L6σ Green Belt | Opinions are my own | https://linktr.ee/paulcochrane
Molly White @molly.wiki writes citationneeded.news • runs @web3isgoinggreat.com and @influence.citationneeded.news • tech researcher and cryptocurrency industry critic • software engineer • wikipedian
support my work: citationneeded.news/signup
links: mollywhite.net/linktree
💗💜💙
Meredith Whittaker @meredithmeredith.bsky.social President of Signal, Chief Advisor to AI Now Institute 
Paris Marx @parismarx.com 💥 PREORDER MY NEW BOOK HYPERSCALE 💥
🎙️ @techwontsave.us
📬 https://disconnect.blog
📖 https://hyperscalebook.com
Kate Starbird @katestarbird.bsky.social Researcher of online rumors & disinformation. Former basketball player. Prof at University of Washington, HCDE. Co-founder of the UW Center for an Informed Public. Personal account: Views may not reflect those of my employer.
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.
Karla Ortiz @kortizart.bsky.social Karla is a Puerto Rican artist who loves to paint and draw. Karla works on Films (MCU, ILM,HBO), Games, TV, Covers, Fine art, etc. She is also a passionate advocate for better artist industries+ rights. Opinions are her own. ✌️
www.karlaortizart.com
danah boyd @zephoria.bsky.social STS researcher who likes to look at things sideways. Founded Data & Society.
Topics: Census | Youth | Data | Society
Professor of Communication, Cornell
https://made-not-found-by-danah-boyd.ghost.io
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
Mar Hicks @histoftech.bsky.social Historian of technology, occasional dad jokes.
www.marhicks.com
Justin Hendrix @justinhendrix.bsky.social Concerned with tech, media and democracy. CEO & Editor at Tech Policy Press. Research & Adjunct Professor at NYU Tandon School of Engineering. Opinions mine.
Joseph Cox @josephcox.bsky.social Hacking/crime/privacy journalist. Author of DARK WIRE, buy here: https://www.hachettebookgroup.com/titles/joseph-cox/dark-wire/9781541702691/#preorder Co-founder of 404 Media. Signal: joseph.404 Email: joseph@404media.co
Margaret Mitchell @mmitchell.bsky.social Researcher trying to shape AI towards positive outcomes. ML & Ethics +birds. Generally trying to do the right thing. TIME 100 | TED speaker | Senate testimony provider | Navigating public life as a recluse.
Former: Google, Microsoft; Current: Hugging Face
Alice Wong @sfdirewolf.bsky.social Author, editor, activist, cat lover. Founder of the Disability Visibility Project.
#DisabilityJustice feed I created:
https://bsky.app/profile/did:plc:65kss3ewg5ida5mjyuk73v5r/feed/aaaba7ikg4sho
More about me
https://linktr.ee/disability_visibility
Hypervisible @hypervisible.blacksky.app Every future imagined by a tech company is worse than the previous iteration…or something like that. 
Emily M. Bender @emilymbender.bsky.social Book: https://thecon.ai
Web: https://faculty.washington.edu/ebender
Nathan Schneider @ntnsndr.in Teaching and writing media studies at CU Boulder. Helping to build a cooperative fediverse with Social.coop. Fan of democratic experiences and divine mysteries. Co-leading metagov.org, start.coop, wagingnonviolence.org.
Brian Merchant @bcmerchant.bsky.social author of Blood in the Machine, tech writer, luddite
newsletter: https://www.bloodinthemachine.com/
books: https://www.hachettebookgroup.com/contributor/brian-merchant/
kofi link: https://ko-fi.com/brianmerchant
Dr Abeba Birhane @abeba.blacksky.app Founder & PI @aial.ie. Assistant Professor of AI, School of Computer Science & Statistics, @tcddublin.bsky.social
AI accountability, AI audits & evaluation, critical data studies. Cognitive scientist by training. Ethiopian in Ireland. She/her
Rest of World @restofworld.org We're a nonprofit publication covering global technology outside the West.
✉️ Sign up: https://restofworld.org/newsletters/global/
Ethan Zuckerman @ethanz.bsky.social UMass Amherst, Initiative for Digital Public Infrastructure, Global Voices, Berkman Klein Center. Formerly Center for Civic Media, MIT Media Lab. 
Caroline Sinders @carolinesinders.bsky.social Human rights centered design, art, and policy
https://www.convocation.design/
Executive Director @cordlabs
Kate Knibbs @knibbs.bsky.social Live in Chicago, write for Wired, got a great attitude
Send me tips: kate_knibbs@wired.com / Signal: kateknibbs.09
Exploit Code Not People @cooperq.com Cybertiger. Senior Staff technologist at @eff.org Fellow @citizenlab.ca Board member @openarchive.bsky.social. "Noted activist security type." Anti-fascist. he/him. My skeets do not represent views of my employers ⵣ🏴 signal: cooperq.01
Tech Won’t Save Us @techwontsave.us A left-wing podcast for a better world and better tech. Hosted by @parismarx.com. Made in partnership with @thenation.com.
https://techwontsave.us/
Rumman Chowdhury @ruchowdh.bsky.social www.rummanchowdhury.com
www.humane-intelligence.org
CEO & co-founder, Humane Intelligence
US Science Envoy for AI (Biden Administration)
Ruha Benjamin @ruha9.bsky.social ✍🏽 • RACE AFTER TECHNOLOGY: Abolitionist Tools for the New Jim Code • VIRAL JUSTICE: How We Grow the World We Want • IMAGINATION: A Manifesto 📚www.ruhabenjamin.com
Tech Policy Press @techpolicypress.bsky.social Technology + democracy.
Visit https://techpolicy.press
Join our newsletter: https://techpolicy.press/newsletter
Opinions do not reflect the views of Tech Policy Press. Reposts do not equal endorsements.
Dr. Casey Fiesler @cfiesler.bsky.social information science professor (tech ethics + internet stuff)
kind of a content creator (elsewhere also @professorcasey)
though not influencing anyone to do anything except maybe learn things
she/her
more: casey.prof
Safiya Umoja Noble, PhD @safiyanoble.bsky.social Living in Los Angeles. Native Californian. #MacFellow
Writer, professor. Comedian.
Author, “Algorithms of Oppression: How Search Engines Reinforce Racism,” which is unfortunately still relevant to understanding today’s LLMs and AI.
safiyaunoble.com
Alex Hanna @alexhanna.bsky.social Director of Research, @dairinstitute.bsky.social
Roller derby athlete
https://alex-hanna.com
Book: thecon.ai
Pod+newsletter: https://dair-institute.org/maiht3k
🇪🇬Ⲛⲓⲣⲉⲙⲛ̀ⲭⲏⲙⲓ
🏳️⚧️ she/هي
📸 @willtoft.bsky.social
Rep📘 @ianbonaparte.bsky.social
Shannon Vallor @shannonvallor.bsky.social Philosopher/AI Ethicist at Univ of Edinburgh, FRSE. Co-Director @technomoralfutures.bsky.social and BRAID @braiduk.bsky.social, author of Technology and the Virtues (2016) and The AI Mirror (2024). Views my own. Humble servant to Carol and Puffin. She/her.
Chica Marx @mckenziewark.bsky.social Author of RAVING, REVERSE COWGIRL and various other things.
https://linktr.ee/mckenziewark
Kyle Chayka @chaykak.bsky.social Staff Writer at The New Yorker, writing a weekly column on tech & culture. Author of Filterworld (2024) & The Longing for Less (2020). Newsletter fan. Email: kyle_chayka@newyorker.com. Ava is a sloth cake.
Iris van Rooij 💭 @irisvanrooij.bsky.social Professor of Computational Cognitive Science | Dept. of Cognitive Science & Artificial Intelligence | @Iris@scholar.social on 🦣 | http://irisvanrooijcogsci.com | she/they 🏳️🌈
Jer Thorp @jerthorp.bsky.social Artist, writer, educator, birder & nudibranch enthusiast. Author of Living in Data (MCDxFSG).
Lauren Klein @laurenfklein.bsky.social Digital humanities, data science, AI, eating, professor of Data & Decision Science and English. Coauthor #DataFeminism w/ @kanarinka. PI #AIAInetwork. Views my own.
tante @tante.cc De-Evangelist, writer and speaker. Communist. Feminist. Antifascist. Luddite. He/him. Email: tante@tante.cc | Masto: @tante@tldr.nettime.org
(Don't always see DMs cause my client can't show them since they are proprietary extensions of the protocol)
Olivia Guest · Ολίβια Γκεστ @olivia.science 👁️ https://olivia.science
🍃 https://metatheory.space
associate professor of computational cognitive science · she/they · cypriot/kıbrıslı/κυπραία · σὺν Ἀθηνᾷ καὶ χεῖρα κίνει
Rachel Coldicutt @rachelcoldicutt.bsky.social Hopeful technologist.
Community tech, careful innovation, socially progressive tech policy.
https://www.careful.industries
https://hopeful.technology
https://buttondown.email/justenoughinternet
DMs don't work but hello@careful.industries will find me
Mel Andrews @bayesianboy.bsky.social I’m not like the other Bayesians. I’m different.
Thinks about philosophy of science, AI ethics, machine learning, models, & metascience. postdoc @ Princeton.
dorian @doriantaylor.com make things. make sense.
• methodandstructure.com
• doriantaylor.com
• senseatlas.net
• intertwingler.net
• the.natureof.software
• mastodon.social/@doriantaylor
• youtube.com/@methodandstructure
• buttondown.email/dorian
温哥华🇨🇦多伦多
Tamara Kneese @tamigraph.bsky.social Climate/AI/labor/death researcher in Oakland. Luddite
I wrote a book about how techno-solutionism fails us in this life + beyond https://yalebooks.yale.edu/book/9780300248272/death-glitch/
www.tamarakneese.com
Dr Sasha Luccioni @sashamtl.bsky.social Climate & AI Lead @HuggingFace, TED speaker, WiML board member, TIME AI 100 (She/her/Dr/🦋)
Josh Shepperd @joshshepperd.bsky.social Political Economy of Media Theory; Director, RPTF + Sound Fellow, Library of Congress NRPB; Associate Professor, University of Colorado
J. Nathan Matias @natematias.bsky.social I work with communities on science for safer, fairer digital environments.
Founder: CAT Lab. Radcliffe Fellow, Harvard. Assoc Prof, Communication, Cornell · Guatemalan-American · Ultracyclist
🐘@natematias@social.coop
natematias.com
citizensandtech.org
AI Now Institute @ainowinstitute.bsky.social The AI Now Institute produces diagnosis and actionable policy research on artificial intelligence.
Find us at https://ainowinstitute.org/ 
Catherine D'Ignazio (she/her/ella) @kanarinka.bsky.social Hacker Mama/Artist/Designer/Coder/Writer/She/Ella Assoc Prof of Urban Science @MITdusp, Director, Data + Feminism Lab, Co-author #DataFeminism, hablo castellano
Lori Emerson @loriemerson.net media studies professor | Other Networks: A Radical Technology Sourcebook (Anthology Editions, 2025) | dir. @mediaarchaeology.bsky.social | http://loriemerson.net | Boulder, Colorado | 🇨🇦 🇺🇲 🏃♀️🚴♀️ | 📷 Jenna Maurice
Dave Parisi @daveparisi.bsky.social Researching histories & futures of touch tech/haptics
Prof @ NYU Tandon TCS/IDM https://shorturl.at/0Wwzc
Archaeologies of Touch https://tinyurl.com/4kcxxkfk
Edit @ ROMchip journal https://shorturl.at/sDFI1
Mostly reformed goth
Ben Grosser @bengrosser.bsky.social Artist, recomposing social platforms, AI futures, and interface cultures. Known for works like Demetricator, Computers Watching Movies, and minus.social. Faculty Associate @ Berkman Klein Harvard, Prof @ UIUC. bengrosser.com
Marie Geist, Baby Guitar Hero @mariepgeist.bsky.social Full-time student of Japanese language; sometimes translator for hire. Dale Cooper's imaginary girlfriend; electronic music nerd. Land back. ACAB includes SWERFs and TERFs. Why TF was Link banned again?
AuDHD. She/her/彼女
Roland Meyer @bildoperationen.bsky.social Digital Cultures and Arts | UZH & ZHdK | operative images, synthetic media and visual culture
@digitalculturesandarts.ch
https://digitalculturesandarts.ch/
https://linktr.ee/bildoperationen
Tech Transparency Project @ttp-updates.bsky.social The Tech Transparency Project is a research initiative of Campaign for Accountability that investigates the power, influence, & impact of Big Tech. https://www.techtransparencyproject.org
Dr. Émile P. Torres @xriskology.bsky.social Philosopher and historian of human extinction (sadly, an increasingly relevant topic). Coined the term “TESCREAL” w/ Timnit Gebru. Salon, Truthdig, WaPo, Aeon, etc.
Sam Lavigne @lav.io https://lav.io
EmilyTav @emilytav.bsky.social Policy + design + tech. Angry optimist.
Executive Director, Home Screen.
Co-Curator of an oral history of the origins of the U.S. Digital Service.
ali alkhatib @ali-alkhatib.com anthropologist [no longer] yelling at engineers. feral.
signal -> @ali.01
Billy Perrigo @billyperrigo.bsky.social Tech correspondent at Time magazine. https://billyperrigo.com/about-me/
wells @wells.bsky.social critical (of) AI, critical race, queer/trans & AsAm studies, algorithmic justice at UMSI
all about abolition, transformative justice, free palestine. SSBM (link main), anime, and indie art/zine fan.
pan/bi enby 🇹🇼🇮🇩🏳️⚧️ she/her
Alexander Doria @dorialexander.bsky.social LLM for the commons.
ktb @kevinbaker.bsky.social 
Labor Tech Research Network @labortechresearchnetwork.org We are an interdisciplinary group of over 700 experts in labor, technology, anti-racism, feminism, and transnationalism.
Mél Hogan / The Data Fix @melhogan.bsky.social Canadian critical media studies scholar and podcaster interested in the meanings we make of perpetual tech promises. Bilingue. Focused on the environment. I typo a lot.
😷🏳️🌈
🎙️ thedatafix.net
📝 heliotropejournal.net
Ana Brandusescu @anabrandusescu.bsky.social Researcher, policy analyst, social scientist. PhD-ing on political power and privatization in the scale of AI governance.
she/her | Montreal | anabrandusescu.com
Tega Brain @tega.bsky.social Artist, enviro engineer & prof of Design & Media at New York University - https://tegabrain.com/ On now: https://pioneerworks.org/exhibitions/tega-sam-exhibition
Harald Klinke @harald-klinke.de
🙋 https://www.harald-klinke.de/
📔 https://link.springer.com/book/10.1007/978-3-031-88130-5
#DigitalTransformation #DataScience #AI #Munich