Xavier Devroey @xdevroey.wsocial.eu Professor of software engineering and testing at the University of Namur.
Check https://snail.info.unamur.be/
🇧🇪🏳️🌈👨💻🐌
Aki Vehtari @avehtari.bsky.social Professor in computational Bayesian modeling, Aalto University, Finland. Co-author of Bayesian Data Analysis 3rd ed, Regression and Other Stories, Active Statistics and Bayesian Workflow. #mcmc_stan and #arviz developer.
https://users.aalto.fi/ave/
A. H. Zakai @kripken.com Software engineer (compilers: WebAssembly, Emscripten, Binaryen). Used to study neural networks. Loves fantasy novels and Agatha Christie. he/they
All opinions here are my own, not my employer's (Google).
More in: http://kripken.github.io/blog/about/
Jerry Coyne @evolutionistrue.bsky.social 
Kagi HQ @kagi.com Privacy-respecting search, browser and products that put you first. No ads. No trackers. Ever. https://kagi.com/
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
Retro Game Books 📚 @retrogamebooks.com Indie retro gaming book publisher. Video Game Maps series, Pixel Art Metroid, History of Rygar, + more.
Store: https://retrogamebooks.com
Contact: retrogamebooks@gmail.com
Twitch: https://www.twitch.tv/retrogamebooks
Discord: https://discord.gg/mY7JFNcWG6
Very Sane AI Newsletter @verysane.ai Ideas in AI, preferably in English. Mostly what and why, a little how.
Jay 🦋 @jay.bsky.team Founder & Chief Innovation Officer @ Bluesky
Working on @attie.ai
🌱 🪴 🌳
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.
Richard McElreath 🐈⬛ @rmcelreath.bsky.social Anthropologist - Bayesian modeling - science reform - cat and cooking content too - Director @ MPI for evolutionary anthropology https://www.eva.mpg.de/ecology/staff/richard-mcelreath/
Ken Jennings @kenjennings.bsky.social Your Jeopardy! pal. Author of THE COMPLETE KENNECTIONS (http://bit.ly/4qUcbhK) and a bunch of other stuff.
ISSTA 2026 Conference @issta.bsky.social The 35th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Oakland, USA // 3-9 October 2026
https://conf.researchr.org/home/issta-2026
WeRateDogs @weratedogs.com Your Only Source For Professional Dog Ratings
nonprofit: @15outof10.org ❤️🩹
links.weratedogs.com
Nikolaj @nikolajbjorner.bsky.social 
Project Gutenberg @gutenberg.org Project Gutenberg, founded in 1971, is the oldest producer and distributor of free ebooks.
For more information, visit our website at:
https://www.gutenberg.org/
Garry Kasparov @garrykasparov.bsky.social Vice-president of the World Liberty Congress. Founder & Chair of the Renew Democracy Initiative. Board of the Human Rights Foundation. Father, activist, author, speaker, 13th World Chess Champion.
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Hillel is on Social Media Break @hillelwayne.com Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
AI and Games Conference @conference.aiandgames.com Bringing together the leading experts in AI for the video games industry.
http://www.aiandgamesconference.com
AI and Games Conference is organised by Game AI Events CIC: a UK-based non-profit that hosts events for game AI developers in Europe.
rob pike @robpike.io Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
James Brundage | MVP @mrpowershell.com Jack of all Trades, Master of PowerShell.
Prolific Programmer
Microsoft MVP in Azure / PowerShell
https://mrpowershell.com/
https://github.com/StartAutomating
https://github.com/PowerShellWeb
NB, Neurodivergent, Nerdy, Newsjunkie.
Ask me anything.
Mark J. Nelson @mm-jj-nn.bsky.social Comp. sci. prof. @ American University, Washington DC. AI & games researcher with miscellaneous other interests. https://www.kmjn.org/
Andrzej Wąsowski ☑️ 🟥 @andrzejwasowski.social.itu.dk.ap.brid.gy An insolent elitist derogatory fearless context-free professor conjugates a well-typed glass of higher-order prilimubary students. Living in and in-between two […]
🌉 bridged from ⁂ https://social.itu.dk/@AndrzejWasowski, follow @ap.brid.gy to interact
daniel:// stenberg:// @bagder.mastodon.social.ap.brid.gy I write curl. I don't know anything.
🌉 bridged from ⁂ https://mastodon.social/@bagder, follow @ap.brid.gy to interact
Galois @galoisinc.bsky.social galois.com
For nearly 25 years, Galois has combined mathematical rigor with curious creativity to cut through complexity and guarantee trustworthiness in the world’s most critical systems.
Chris Hayes @chrislhayes.bsky.social Bronx boy. Cubs fan. Dad, husband, writer, podcaster and cable news host.
The Sirens’ Call: How Attention Became the World’s Most Endangered Resource out now.
https://sirenscallbook.com/
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
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/
Lambda Days @lambdadays.bsky.social Lambda Days is taking a break in 2026.
Your favourite Functional Programming conference is here 🥳
2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
дблп - ☮ Stop the war! @dblp.org #dblp computer science bibliography
Schloss #Dagstuhl LZI
* Marcel R. Ackermann ~MRA
* Florian Reitz ~FR
* Michael Ley ~ML
#computerscience #research
#opendata #knowledgegraph
We are also on Mastodon: https://mastodon.social/@dblp
Carl T. Bergstrom @carlbergstrom.com Professor, UW Biology / Santa Fe Institute
I study how information flows in biology, science, and society.
Book: *Calling Bullshit*, http://tinyurl.com/fdcuvd7b
LLM course: https://thebullshitmachines.com
Corvids: https://tinyurl.com/mr2n5ymk
he/him
Bill Gates @billgates.bsky.social Global Health. Energy Innovation. Alzheimer’s. https://gatesnot.es/tgn
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
CISPA Helmholtz Center for Information Security @cispa.de Shape the future world.🚀
🔒Cybersecurity I 🫱🏻🫲🏼Privacy I 🤖Trustworthy AI
Privacy Policy and Legal Notice: https://cispa.de/en/linkinbio
Jim Larus @jameslarus.bsky.social Retired EPFL CS professor/dean.
Retired Microsoft researcher/manager.
Time to do something new….
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
SE4FP Workshop @se4fp.github.io 2nd Workshop on Software Engineering for Functional Programming (SE4FP)
In 2026, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io
Rust Language @rust-lang.org A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@rust
Nina Jankowicz @ninajankowicz.com 🙅🏻♀️ Author (2 books & The Wayfinder newsletter), disinformation expert, advocate for targets of online abuse.
☀️ CEO, @americansunlight.org
😆 Tucker Carlson once called me a “highly self confident young woman” and meant it as an insult
Joshua Bloch @joshbloch.bsky.social Effective Java author, API Designer, CMU Prof, Swell guy.
Università della Svizzera italiana @usi.ch Official profile of Università della Svizzera italiana (USI). News and event from our campuses and beyond.
Profilo ufficiale dell'Università della Svizzera italiana (USI). Notizie ed eventi dai nostri campus e oltre.
Mohammad Rezaalipour @mohrez25.bsky.social Postdoc @unipassauresearch.bsky.social
PhD in Informatics from @usi.ch
Homepage: mohrez86.github.io
LinkedIn: https://www.linkedin.com/in/m-rezaalipour
Mastodon: https://mastodon.acm.org/@mohrez
X: https://x.com/mohrez2019
Barack Obama @barackobama.bsky.social Dad, husband, President, citizen. barackobamabooks.com
evacide @evacide.bsky.social Director of Cybersecurity @eff.org
Co-founder of @stopstalkerware.bsky.social
These opinions are my own, not my employers’
I did a TED talk once
Valentin Wüstholz @vwuestholz.bsky.social Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
Software Institute @si.usi.ch A center of excellence in software education, research, and development
USI Faculty of Informatics @inf.usi.ch News and events from the Faculty of Informatics of the Università della Svizzera italiana (USI) - Lugano, Switzerland
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
Andrea Bombarda @bombardandrea.bsky.social Junior Assistant Professor (RTD-A) at the University of Bergamo working on Software Testing and Software Engineering for medical software and systems
Webpage: cs.unibg.it/bombarda/
Informatics Europe @informatics-europe.bsky.social Official Bluesky Account of Informatics Europe
🔊 We are the European Voice of Informatics Research and Education, representing the academic and research community in Informatics in Europe. 🌍
🔗https://www.informatics-europe.org
depths of wikipedia @depthsofwikipedia.bsky.social hi i'm @annierau.bsky.social i love wikipedia! dm submissions if you want :-)
Hamza Remmal @remmal.net Research Assistant @graalvm.org | Incoming PhD fellow @epfl.ch
Scala Days @scaladays.org Time to meet again <3
Scala Days 12 - 13 October 2026
Kulturbrauerei Berlin
2026 organizing host: Plain Schwarz
Jahrim Gabriele Cesario @jahrim.bsky.social PhD Student in Programming Languages at the University of St. Gallen (HSG)
Gregory Gay @greggay.bsky.social Associate Professor (Chalmers and University of Gothenburg), mostly working on software testing.
American living in Sweden.
Sometimes gaming journalist.
70% composed of memes.
More on my work at http://greggay.com 
Catherine Rampell @crampell.bsky.social Economics editor at The Bulwark. MS NOW (formerly MSNBC) anchor.
Previously WaPo op-ed columnist and NYT reporter.
Econ, politics, immigration, tax, etc. + occasional theater nerdery.
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Randall Munroe @xkcd.com 
Buffer @buffer.com The social media management platform for scheduling, publishing & analytics across every major network. Plan your content calendar in one place. This account is managed by real humans. 💙
⬇️ buffer.com/bluesky
David Shor @davidshor.bsky.social Head of Data Science at Blue Rose Research, based in NYC, originally from Miami.
I try to elect Democrats.
Views are my own. he/him🌹- K Klaas Stol @kjstol.bsky.social Software engineering research, academic research
The Onion @theonion.com America’s Finest News Source. A @globaltetrahedron.bsky.social subsidiary.
Get the paper delivered to your door: membership.theonion.com
Join The Onion Newsletter: https://theonion.com/newsletters/
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
💗💜💙
Mike Masnick @masnick.com Techdirt guy. Writes about social media, copyright, free speech, content moderation, civil liberties and stuff like that. Once wrote a paper that may have helped inspire this service & now I'm on its board: https://bit.ly/protocolnotplatform
DOOM @doom.com DOOM: The Dark Ages | Revelations is now available on Xbox Series X|S, PC & PlayStation 5.
ESRB RATING: M
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
@ccadar.bsky.social @ccadar.bsky.social 
ian bremmer @ianbremmer.com president of @eurasiagroup.net and @gzeromedia.com political scientist, author.
if you're not following some people you dislike, you're doing it wrong. i'm happy to help.
PyTamaro @pytamaro.bsky.social PyTamaro - Problem Decomposition with Graphics in Python. https://pytamaro.si.usi.ch/ Free Python library, free website with fun programming activities for schools.
Kelly Weinersmith @weinersmith.bsky.social A big nerd. Co-author of NYTimes Bestsellers Soonish & A City on Mars. Co-host of Daniel and Kelly's Extraordinary Universe. She/her
www.weinersmith.com
Jason Moore @moorejh.bsky.social Chair, Department of Computational Biomedicine at Cedars-Sinai Medical Center in Los Angeles. Director, Center for Artificial AI Research & Education. Agentic AI. Atari enthusiast. Retrocomputing. Maker.
Zach Weinersmith @zachweinersmith.bsky.social New Book out this summer: Sawyer Lee and the Quest to Just Stay Home.
Other things of mine: Bea Wolf, A City on Mars, and SMBC
Website: www.smbc-comics.com
Patreon: https://www.patreon.com/ZachWeinersmith?ty=h
Dan Williams @danwphilosophy.bsky.social Philosopher. Interested in: Philosophy, Psychology, Evolution, Artificial Intelligence, Social Science, Politics.
Anders Møller @andersmoeller.bsky.social Professor at Aarhus University
https://cs.au.dk/~amoeller
Alexandra Petri @petridishes.bsky.social I’m not in James Thurber’s attic any more! right now I’m home yay ! I’m the one who writes this column https://www.theatlantic.com/author/alexandra-petri/ and loves puns
João F. Ferreira @jff-dev.bsky.social Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com
International Conference on Software Engineering @icseconf.bsky.social The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
https://conf.researchr.org/home/icse-2026
Roberto Verdecchia @robertoverdecchia.bsky.social Assistant Professor in Software Engineering. University of Florence, Italy.
Empirical Research, Software Architecture, Technical Debt, Green Software, Software Testing, Life, the Universe, and Everything.
Jesse Singal @jessesingal.com Journalist, co-host of Blocked and Reported, author of The Quick Fix and an upcoming book on youth gender medicine. Mostly just asking questions.
More info: JesseSingal.com
Catarina Gamboa @catarinavgamboa.bsky.social PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
@pcanelas.bsky.social @pcanelas.bsky.social https://pcanelas.com
Oscar Chaparro @ojcchar.bsky.social Assistant Professor at Willliam & Mary, teaching and conducting research in Software Engineering.
Achim D. Brucker @adbrucker.bsky.social Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
Bogdan Vasilescu @vasilescu.bsky.social I shorten academic research papers to fit in 10 pages for a living, at CMU.
https://www.instagram.com/count_scratchula
http://bvasiles.github.io
Renee DiResta @noupside.bsky.social 🌐Studies influence, propaganda, platform design@Georgetown
✍🏼Lawfare,The Atlantic, Substack/Ghost Newsletter (signup on my site if you want Ghost)
📕Invisible Rulers: The People Who Turn Lies Into Reality (invisiblerulers.com)
🦹🏻♀️Twitter Files supervillain
NY Times Pitchbot @nytpitchbot.bsky.social I have never felt more politically homeless. Parody. Merch: https://tinyurl.com/msjjmwpt
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
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.
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Liberalism Enjoyer 🗽🌐🏗️🚆🚲🔰 @basedliberal.bsky.social Liberalism is cool and good. Let's do more of that.
Eunsuk Kang @eskang.bsky.social Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
@torkarr.bsky.social @torkarr.bsky.social - S Andrew Gelman et al. @statmodeling.bsky.social Automatically tweets new posts from http://statmodeling.stat.columbia.edu
Please respond in the comment section of the blog.
Old posts spool at https://twitter.com/StatRetro
Mark Cuban @mcuban.bsky.social Entrepreneur
Costplusdrugs.com
Neil Walkinshaw @neilwalkinshaw.bsky.social Lecturer in Computer Science at the University of Sheffield. Researcher interests in software analysis and testing, and their links to causal reasoning and ML.
Davide Balzarotti @balzarot.bsky.social Professor in Computer Security @EURECOM
Ex Defcon CTF organizer with @oooverflow
Kara Swisher @karaswisher.bsky.social Amanda Katz said this was the cool kids table.