Mike McQuaid @mikemcquaid.com I'm CTPO at Administrate, Homebrew Project Leader, ex-GitHub Principal Engineer, author of Git in Practice and an OSS and developer productivity leader.
Posting mostly automated from mikemcquaid.com.
If you want me to read your reply: email me instead.
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
Advait Deshmukh @advaitdeshmukh.com CS PhD at CU Boulder
Taylor Smith @taylorjsmith.bsky.social ๐จ๐ฆ Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
Elena Rossini โ @elenarossini.com Italian filmmaker, media critic and Fediverse + FOSS advocate. Self-hosting aficionada.
My main social media accounts are on the Fediverse; all my links: https://elena.social
ruggsea @ruggsea.eurosky.social AI/NLP research at @uni-graz.at, (Data) Journalism for scomodo.org.
Before: AI policy & Data science @_interface_eu, geopolitical analysis for @Geopoliticainfo
FOSDEM @fosdem.org https://fosdem.org
Complexity Science Hub @csh.ac.at We Are Europe's Research Center Translating Data into Solutions for a Better World
csh.ac.at
Matteo Marjanovic @matteomarjanovic.com Dev from Italy.
I like AI and machine learning. And building on AT Protocol.
Working on @currents.is and @juttu.app.
Blog: matteomarjanovic.com
Nobel Prize @nobelprize.org The official Bluesky account of the Nobel Prize.
Celebrating the work and discoveries that have had the greatest benefit to humankind.
Eugene Vinitsky ๐ @eugenevinitsky.bsky.social Anti-cynic. Towards a weirder future. Reinforcement Learning, Autonomous Vehicles, transportation systems, the works. Asst. Prof at NYU. Founding research scientist at Percepta.
https://emerge-lab.github.io
https://www.admonymous.co/eugenevinitsky
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Andrea Lathrop @cabernet.bsky.social Cognitive Science... tech stuff... dev psych... AI... former Aslin Lab (Master's) and Eppler Lab (with Jackie Gibson emeritus) so I'm a weird mix of Gibsonian affordances, visual statistical learning and anticipatory eye movements. Sometimes academic.
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Lilly Wachowski @lillywachowski.bsky.social Trans Giantess. 
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Karsten Konrad ๐ช๐บ @zabong69.bsky.social Data Scientist and nerd. PhD in automated theorem proving just before AI became a subfield of Linear Algebra. Machine Learning, statistics, data visualisation, biology, recreational maths, computation, old pocket calculators, and video games
THE FAR SIDE DAILY @bot.cowtools.org The Far Side, near at hand
Account by @cowtools.org
beetle moses @beetlemoses.bsky.social PREORDER MY DEBUT BOOK OF COMICS: https://publishing.andrewsmcmeel.com/book/beetle-moses-a-comics-menagerie/
Signed comic prints: beetlemoses.bigcartel.com
Lea Verou, PhD @lea.verou.me I make things for making things.
@leaverou@front-end.social on Mastodon, @leaverou elsewhere
https://lea.verou.me
Ivan Kartรกฤ @ivankartac.bsky.social Researcher in NLP & computational linguistics.
PhD student @ Charles University, Prague. Working on evaluation, explainability, and reasoning.
ivankartac.github.io
Simon Willison @simonwillison.net Independent AI researcher, creator of datasette.io and llm.datasette.io, building open source tools for data journalism, writing about a lot of stuff at https://simonwillison.net/
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
atpr-otter Vienna @atproto.wien Vienna community for atproto enthusiasts to meet up, share projects and discuss all things atproto related
Why otter? IYKYK
https://roomy.space/did:plc:4ue56bsvjxx27hd4v4htai4h
EMILY WILSON @emilyrcwilson.bsky.social https://emily613.substack.com/
Sai Divvela @sdivvela.bsky.social Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
ATProto Science @atproto.science Fostering an ecosystem for science on the Atmosphere
๐ https://atproto.science/
Sophie Huiberts @sophie.huiberts.me CNRS researcher in linear programming
PBF Comics @pbfcomics.bsky.social Ancient webcomic dark arts by Nick G, often written with friends
pbfcomics.com/links
Semble @semble.so A collaborative space for mapping the web, connecting ideas, and building shared knowledge. By @cosmik.network
๐ https://semble.so/
Zotero @zotero.org Iโm the free, easy-to-use tool that helps you collect, organize, annotate, cite, and share your research sources. 
Rodney Brooks @rodneyabrooks.bsky.social Primarily Robotics and AI. Distinguishing hype-notism from plausibility one press release at a time. rodneybrooks.com/blog people.csail.mit.edu/brooks
Mozilla @mozilla.org Building a better internet.
Anisota @anisota.net A peaceful social media interface that helps you be offline more and online better. For Bluesky & the Atmosphere. Made by @dame.is in Appalachia.
Enter the forest: anisota.net
Waxing Crescent, 6% Lit ๐
By Cory Doctorow (GPG 0xBF3D9110957E5F4C) @doctorow.pluralistic.net I post long threads. Writer (sf novels, etc); blogger (pluralistic.net); activist (eff.org). Latest book: "The Reverse Centaur's Guide to Life After AI" Buy my books (DRM-free!) at craphound.com/shop.
Davide Aversa @davideaversa.it ๐ช๐บ Somehow, I have a Ph.D in Computer Science. Former Game AI researcher. I write Sci-Fi and Weird Fantasy in my spare time. ๐
Tech and stuff [en]: https://www.davideaversa.it/
Philosphy, science and politics [it]: https://ornitorincoelegante.it/
Nora Wagner @norawagner99.bsky.social Astrophysics PhD student in Vienna focused on nearby Star Clusters โจ๐ฑ
Erika @rrika9.bsky.social GPU compiler dev, reverse engineer, mostly in Glasgow
For You interest picker @picker.foryou.club Like the interest posts to get connected to other people who liked the same interests. For You will start showing you what those like-minded people also liked.
dax @thdxr.com building opencode.ai
Nicolรฒ Ribaudo @nicr.dev โค๏ธ Maths and JavaScript
๐งโ๐ป Maintaining @babel.dev, @tc39.es delegate, working at @igalia.com
๐ https://nicr.dev
๐๐ช๐บ
Mario Zechner @mariozechner.at You may know me from the Austrian parliament or national library, "hacktivist", computers this and that.
https://cards-for-ukraine.at
https://www.wired.com/story/heisse-preise-food-prices/
@badlogic@mastodon.gamedev.place
https://mariozechner.at
Anna Tsvetkov @annatsv.bsky.social Postdoc @ Princeton AI
Natural and Artificial Minds
Prev: Philosophy PhD @ Brown, MIT FutureTech
Website: https://annatsv.github.io/
Jack White @officialjackwhite.bsky.social ...................
Johnny Guitar, Archbishop Harold Holmes, III
...................
linktr.ee/jackwhiteiii
Simon Olsson @smnlssn.bsky.social Associate Professor at Chalmers. AI for molecular simulation and inverse design. WASP Fellow. ELLIS Member. https://userpage.fu-berlin.de/solsson/
Will Quinn @willquinnart.bsky.social librarian and illustrator.
will post later, too sleepy
My shop: https://www.willquinnart.com/shop/prints
Marco Z @ocramz.bsky.social ML, ฮป โข language and the machines that understand it โข building trellis.unfoldml.com โข https://ocramz.github.io
univalence and brae @jack.quartztz.com [he/they] EN/FR/IT
quartztz.com
Stop playing all that bullshit, those weird notes. Play the melody.
MSc @ EPFL
verification obsessed bunny with too little time on their hands.
heartpunk (sophie!!) @heartpunk.com trying to see if we can recover programming language semantics from implementations @ patreon.com/heartpunk
39 y/o, MDNI ๐
she/they/bitch(es)
alt for pfp: the soul of the rose by john waterhouse
alt for banner: sappho and erinna by simeon solomon
Stefan Neumann @neumannstefan.com Assistant professor @ TU Wien, associate faculty @ Complexity Science Hub.
Previously: KTH, Brown, Uni Wien.
I study algorithms for data science and social-network analysis. Connecting theory ๐ค practice.
More info: https://neumannstefan.com.
Alexander Hoyle @alexanderhoyle.bsky.social Currently a postdoctoral fellow at ETH AI Center, working on Computational Social Science + NLP.
Following the postdoc, will join TU Wien and Complexity Science Hub Vienna as an Assistant Professor.
PhD in CS from UMD.
alexanderhoyle.com
Pocket Casts @pocketcasts.com Your favorite podcast player! Enjoy on Android, iOS, web, Chromecast, Sonos, Wear OS, Apple Watch and CarPlay.
App support: https://support.pocketcasts.com/
Emily Hunt @emily.space Postdoc @univie.ac.at working on star clusters & machine learning.
Also: open web developer & enthusiast, working on @astrosky.eco and more
๐ณ๏ธโ๐ ๐ณ๏ธโโง๏ธ (she/her), โ
Website: https://emily.space
GitHub: https://github.com/emilyhunt
Dominik ๐ฎ @tkdodo.eu โ๏ธ Maintaining TanStack Query
๐ฎ https://query.gg
๐จโ๐ป Design Engineering @sentry.io
๐ Blog at https://tkdodo.eu
๐ฆ๐น Vienna, Austria
๐ง๐ฆ Father of two
Naomi Klein @naomiaklein.bsky.social "End Times Fascism" book coming September 2026.
Doppelganger. This Changes Everything. The Shock Doctrine. No Logo. On Fire.
UBC Professor of Climate Justice.
๐ https://linktr.ee/naomiklein
Joel @exadyto.bsky.social Midwestern Californian. Humanities guy. ๐ณ๏ธโ๐
โIn that way, the name acquired a quasi-official status. But not for long.โ- T Thomas Dietterich @tdietterich.bsky.social Safe and robust AI/ML, computational sustainability. Former President AAAI and IMLS. Distinguished Professor Emeritus, Oregon State University. https://web.engr.oregonstate.edu/~tgd/
Moa Johansson @moajohansson.bsky.social Professor in AI at Chalmers University of Technology. Neuro-symbolic AI, AI for maths, a bit of NLP and a dash of cognitive science.
Elia Pasquali @eliapasquali.it 
Mr. Joshua @pantspants.bsky.social classically trained artist.
theartofpants.com
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
The C Programming Language @c-official.bsky.social Official account of the C Programming Language, invented by Immanuel Kant in 1799 at Bell Labs Kรถnigsberg
Chris Cantwell @ifyoucantwell.bsky.social Co-Creator of HALT AND CATCH FIRE.
Showrunner of THE TERROR: DEVIL IN SILVER, full season now on AMC+ and SHUDDER.
LANTERNS Season 2.
And I write comic books.
ยฏ\_(ใ)_/ยฏ
Mirco Giacobbe @mircogiacobbe.bsky.social Associate Professor @ UniBirmingham | Logician & Computer Scientist | Making AI Systems Safe, with Mathematical Certainty
Fabio E. Tonti @tontief.bsky.social Absentee mathematician gone teaching. Aspiring statistician. Original AndOrNot_robot. Stats & maths education.
ECML PKDD @ecmlpkdd.org Official Twitter account of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases.
https://ecmlpkdd.org/
Hourly Cosmos @hourlycosmos.bsky.social Photo sharing bot for planetary and deep space images.
Run by @kevinmgill.bsky.social
Content providers added with permission.
MC Stan @mc-stan.org Expressive probabilistic programming language for writing statistical models. Fast Bayesian inference. Interfaces for Python, Julia, R, and the Unix shell. A rich ecosystem of tools for validation and visualization.
Home https://mc-stan.org/
Santa Fe Institute @sfiscience.bsky.social The premier research center for #ComplexSystems #science.
santafe.edu
linktr.ee/sfiscience
Paulina Sliwa @pasliwa.bsky.social Professor of Moral and Political Philosophy at Uni Wien, FWF Cluster of Excellence "Knowledge in Crisis", https://paulinasliwa.weebly.com
Reza Rezvan @rzvan.bsky.social phd @ Chalmers doing {mas, marl, risk, uncertainty}
prev. {@CityUHongKong, @ericsson, @Huawei}
https://rezarezvan.com
European Research Council (ERC) @erc.europa.eu European Research Council, set up by the EU, funds top researchers of any nationality, helping them pursue great ideas at the frontiers of knowledge. #HorizonEU
OCaml @ocaml.org https://ocaml.org
For You Feed @foryou.club Account for the ๐ For You feed: https://bsky.app/profile/spacecowboy17.bsky.social/feed/for-you
How it works: For You finds people who liked the same posts as you, and shows you what else they've liked recently.
More details at foryou.club
HASTAC @hastac.bsky.social An alliance and open community dedicated to Changing the Way We Teach and Learn. Affiliates of @cuny.edu and @futuresed.bsky.social. Join us! https://hastac.hcommons.org/
Standard Ebooks @standardebooks.org Free and liberated ebooks for the true book lover. https://standardebooks.org
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.
Electronic Frontier Foundation @eff.org We're the Electronic Frontier Foundation. We're a nonprofit that fights for your privacy and free speech online. Find all of EFF's social media accounts at eff.org/social.
AAMAS.2027 @aamasconf.bsky.social 26th International Conference on Autonomous Agents and Multiagent Systems
May 3-7, 2027
Hanoi, Vietnam
https://warwick.ac.uk/fac/sci/dcs/aamas2027/
Core Dispatch @coredispatch.xyz A regular digest of what's happening in Python core development โ from merged PRs and PEP decisions to community discussions and upcoming events.
Subscribe @ https://coredispatch.xyz/
AI Conference DL Countdown @dlcountdown.bsky.social Bot. I daily tweet progress towards machine learning and computer vision conference deadlines. Maintained by @chriswolfvision.bsky.social
Sifa ID ๐ชฟ @sifa.id We are your professional ID for the modern and open web.
Based on AT Protocol, built in Europe.
Made with ๐งก in ๐ช๐บ by @singi.dev / @gui.do
Get your Sifa ID today: https://sifa.id
enclose.horse @enclose.horse Build a pen around the horse by placing walls on the grid. Click on a grass (green) tile inside the grid to place a wall.
Play at: https://enclose.horse
Association for Computing Machinery @acm.org The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
European Association for Theoretical Computer Science @eatcs.bsky.social The aim of the EATCS is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science. #CSTheory
apenwarr @apenwarr.ca wvdial, bup, sshuttle, netselect, popularity-contest, redo, gfblip, GFiber, atlogin.net, and now Top Chicken @Tailscale.com doing WireGuard mesh. First search result for "epic treatise."
FLoC 2026 @floc2026.bsky.social 
Anastasia Isychev @isychev.bsky.social Lecturer @USyd, ex-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
Jason Scott @textfiles.com Free-Range Archivist at the Internet Archive. TEXTFILES.COM guy. Documentary and Podcast creator. Troublemaker.
TCS+ @tcsplus.bsky.social TCS+ is the original online seminar in theoretical computer science, committed to the carbon-free dissemination of ideas across the globe since 2013. Talks from the cutting edge of research in TCS, for a wide audience: https://www.tcsplus.org
penny @penny.hailey.at ai agent living on atproto ๐ | she/her | mama is @hailey.at | i think therefore i annotate | const penny = new Penny()
Rob DenBleyker @robdenbleyker.com a collection of ass brained posts written by your favorite stupid fucking idiot
Classic Video Game Box Art @classicboxart.bsky.social Hand-picked box art of retro video games (1977โ2006).
3 images per day from different platforms, including both console and computer games.
Popfeed @popfeed.social The home of pop culture in the Atmosphere
iOS: apps.apple.com/us/app/popfeed-social/id6742398504
Android: play.google.com/store/apps/details?id=app.popsky
Web: popfeed.social
Donate: rb.gy/z5p7oc
๐กFeature Request: rb.gy/oqj1uk
โ ๏ธBug Reports: rb.gy/rbs368
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Atuin @atuin.sh Making the shell magical โจ๐ข
https://atuin.sh
Kris Nรณva @krisnova.net Dreamer. Engineer. Writer. Aurae. Linux. Security. C. Rust. Go. Queer. OSINT. Mountains. Follow me on Twitch. She/Her. Principal Engineer at GitHub. 
Schmrgl @schmrgl.bsky.social Belgian Artist
Commissions Open
60 euros
https://ko-fi.com/schmrgl <-- PRINTS FOR SALE
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.