Founder & Chief Innovation Officer @ Bluesky
🌱 🪴 🌳
I post long threads. Writer (sf novels, etc); blogger (pluralistic.net); activist (eff.org). Latest book: "Enshittifcation." Next book "Reverse Centaur's Guide to Life After AI." Buy my books (DRM-free!) at craphound.com/shop.
Anthropologist - Bayesian modeling - science reform - cat and cooking content too - Director @ MPI for evolutionary anthropology https://www.eva.mpg.de/ecology/staff/richard-mcelreath/
Your Jeopardy! pal. Author of THE COMPLETE KENNECTIONS (http://bit.ly/4qUcbhK) and a bunch of other stuff.
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
Your Only Source For Professional Dog Ratings
nonprofit: @15outof10.org ❤️🩹
links.weratedogs.com
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/
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.
Interpreters, compilation, concurrency, and debugging tools.
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q2 2026)
Newsletter: https://buttondown.email/hillelwayne/
Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
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.
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.
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.
Comp. sci. prof. @ American University, Washington DC. AI & games researcher with miscellaneous other interests. https://www.kmjn.org/
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
I write curl. I don't know anything.
[bridged from https://mastodon.social/@bagder on the fediverse by https://fed.brid.gy/ ]
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.
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/
Supporting the Formal Mathematics revolution
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 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 🔥
#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
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
Global Health. Energy Innovation. Alzheimer’s. https://gatesnot.es/tgn
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP.
ETAPS 2026: April 11 - 16, Turin, Italy
https://etaps.org/
The CISPA Helmholtz Center for Information Security is a German national Big Science Institution within the Helmholtz Association. We research information security in all its facets.
https://cispa.de/en/data-privacy-policy-social-media#Netiquette
Retired EPFL CS professor/dean.
Retired Microsoft researcher/manager.
Time to do something new….
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
1st Workshop on Software Engineering for Functional Programming (SE4FP)
In 2025, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io/2025/
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
🙅🏻♀️ 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
Effective Java author, API Designer, CMU Prof, Swell guy.
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.
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
Dad, husband, President, citizen. barackobama.com
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
Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
A center of excellence in software education, research, and development
News and events from the Faculty of Informatics of the Università della Svizzera italiana (USI) - Lugano, Switzerland
Prof CS University of Oslo
https://ebjohnsen.org
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/
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
hi i'm @annierau.bsky.social i love wikipedia! dm submissions if you want :-)
Time to meet again <3
Scala Days 19 - 21 August 2025
EPFL, Lausanne, Switzerland
2025 organizing host: Scala Center
PhD Student in Programming Languages at the University of St. Gallen (HSG)
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
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.
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Create and share social media content anywhere, consistently.
Built with 💙 by a global, remote team.
⬇️ Learn more about Buffer & Bluesky
https://buffer.com/bluesky
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🌹
Software engineering research, academic research
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/
writes citationneeded.news • runs @web3isgoinggreat.com and @followthecrypto.org • tech researcher and cryptocurrency industry critic • software engineer • wikipedian
support my work: citationneeded.news/signup
links: mollywhite.net/linktree
💗💜💙
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: The Dark Ages coming to Game Pass, Xbox Series X|S, PC & PlayStation 5 on May 15, 2025. Preorder Premium Ed. for up to 2-days Early Access ESRB RATING: M
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
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 - Problem Decomposition with Graphics in Python. https://pytamaro.si.usi.ch/ Free Python library, free website with fun programming activities for schools.
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
Chair, Department of Computational Biomedicine at Cedars-Sinai Medical Center in Los Angeles. Director, Center for Artificial Intelligence Research & Education. Atari enthusiast. Retrocomputing. Maker.
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
Philosopher. Interested in: Philosophy, Psychology, Evolution, Artificial Intelligence, Social Science, Politics.
Professor at Aarhus University
https://cs.au.dk/~amoeller
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
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com
The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
https://conf.researchr.org/home/icse-2026
Assistant Professor in Software Engineering. University of Florence, Italy.
Empirical Research, Software Architecture, Technical Debt, Green Software, Software Testing, Life, the Universe, and Everything.
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
PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
Assistant Professor at Willliam & Mary, teaching and conducting research in Software Engineering.
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
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
🌐Studies influence, propaganda, platform design@Georgetown
✍🏼Lawfare,The Atlantic
📕Invisible Rulers: The People Who Turn Lies Into Reality (invisiblerulers.com) —how influencers, algorithms, &online crowds shape public opinion
🦹🏻♀️Twitter Files supervillain
If Adolf Hitler flew in today, they’d send a limousine anyway. Parody. Merch: https://tinyurl.com/msjjmwpt
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 is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Spectator of the #SwampiestSwamp
Liberalism is responsible for the greatest leaps of technological progress and well-being that we as humans have ever known. We should champion and defend it with everything we've got.
Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
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
Entrepreneur
Costplusdrugs.com
Lecturer in Computer Science at the University of Sheffield. Researcher interests in software analysis and testing, and their links to causal reasoning and ML.
Professor in Computer Security @EURECOM
Ex Defcon CTF organizer with @oooverflow
Amanda Katz said this was the cool kids table.
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
https://ko-fi.com/adolfoneto
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
Searching for the numinous
Australian Canadian, currently living in the US
https://michaelnotebook.com
Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing
https://rahul.gopinath.org
Relapsing lawyer | Fighting for NYC and against Trump and Trumpism with everything I have | Democrat for Congress in NY-12 | www.georgeconwayforcongress.com
The ACM Special Interest Group on Programming Languages.
