James @types4life.bsky.social he/him. Lover of type theory and functional programming. Also, comedy and politics. Not super optimistic.
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
Papers We Love @paperswelove.org A community of folks into computer science research and using it for great justice.
🌏 https://paperswelove.org
👀 https://pwlconf.org
🦣 https://mstdn.io/@paperswelove
📺 https://www.youtube.com/@PapersWeLove
DEV Community @dev.to A community of software developers sharing coding resources and general commentary.
Built on Forem, an OSS for building online community 🌱
Join the #DEVCommunity: https://dev.to 🌟
Find us in the Fediverse: https://fosstodon.org/@thepracticaldev
Justin Weinberg @dailynous.com • philosophy professor
• editor of Daily Nous, philosophy news site
• person 
Lawrence Paulson @lawrpaulson.bsky.social Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
Quanta Magazine @quantamagazine.org Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Science News @sciencenews.bsky.social We report on the latest news in all fields of science. See also @snexplores.bsky.social
Scientific American @sciam.bsky.social A legacy of discovery. A future of innovation.
Tomasz Steifer @steifer.pl mathematics, theoretical computer science, philosophy @ Universidad Católica de Chile & Polish Academy of Sciences | 'The evolution of sense is, in a sense, the evolution of nonsense.'
arxiv math.LO @arxiv-math-lo.bsky.social Mathematics -- Logic (math.LO)
source: https://export.arxiv.org/rss/math.LO
maintainer: @tmaehara.bsky.social
Jefferson Santos @jeffbsantos.bsky.social Professor and researcher. PhD in Computer Science from PUC-Rio, Brazil. An old programmer, belatedly in love with the Smalltalk ecosystem.
Prof. Julio C Silva @logica.mat.br Professor. PhD in Mathematical Logic. Expert in Computability and Philosohy. Passionate about TTRPGs and classic games like Diablo and Heroes of Might and Magic III. Devoted fan of fantasy literature, Star Trek, and music
https://linktr.ee/profjuliocsilva
Horizon Events @horizonevents.info Non-profit dedicated to advancing AI safety R&D through targeted events and community initiatives. https://horizonevents.info/
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Flora.pm @flora.pm Flora is a package index for the #Haskell ecosystem.
We serve the community.
Follow for development news, operational status and higher-kinded memes.
https://flora.pm
Peter Rowlett @peterrowlett.net I teach maths and computing at a UK university and work as a maths communicator. Sheffield/Nottingham based. Editor, The Mathematical Gazette. Aperiodical blog, Mathematical Objects podcast. Part of http://finitegroup.co.uk
peterrowlett.net
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
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. 
Stefan Szeider @szeider.bsky.social Professor & Chair at TU Wien, leading the Algorithms and Complexity Group. Specializing in symbolic and neurosymbolic methods to address complex computational problems in AI, automated reasoning, and combinatorial optimization. (ac.tuwien.ac.at)
Matthias Plaue @mplaue.bsky.social Math professor, data scientist. Author of text books on applied math and data science. Personal interests include quantum weirdness, time travel, epistemology.
David Fox @ddssff.bsky.social 50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
Journal of Functional Programming @journal-of-fp.bsky.social Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Posts by @liamoc.net
Olivier Roy @olivierroy.bsky.social Logician and philosopher at the University of Bayreuth (Germany)
Richard Zach @richardzach.org Logician, historian and philosopher of logic, mathematics, and computability
Copied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back
[bridged from https://mathstodon.xyz/@rrrichardzach on the fediverse by https://fed.brid.gy/ ]
Jonah Stockwell @jonahstockwell.com Theoretical computer science, math, art.
In NYC @ Columbia University.
Paolo Morettin @paolomorettin.bsky.social Game Dev student / Former AI researcher.
https://paolomorettin.github.io/
Christopher Manning @chrmanning.bsky.social Stanford Linguistics and Computer Science. Director, Stanford AI Lab. Founder of @stanfordnlp.bsky.social . #NLP https://nlp.stanford.edu/~manning/
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/
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
MIT Technology Review @technologyreview.com Our in depth reporting on innovation reveals and explains what’s happening now to help you know what’s coming next.
Find our journalists on Bluesky: https://bsky.app/starter-pack/technologyreview.com/3lar7fofuwl2n
The Fields Institute @fieldsinstitute.bsky.social At the Fields Institute, mathematics research, innovation and education flourish. We foster an inclusive, equitable and collaborative culture where everyone can discover mathematics, and where mathematicians can make meaningful contributions to the world.
MIT Mathematics @mitmath.bsky.social The Department of Mathematics at MIT is a world leader in pure and applied mathematical research and education.
Sebastian Ullrich @derkha.bsky.social makes Lean at Lean FRO
Munich, Germany
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.
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
PhysLean @physlean.bsky.social A project to digitalize physics into the interactive theorem prover lean 4.
Account for news related to the project. Run by: Joseph Tooby-Smith.
Diego Marmsoler @dmarmsoler.bsky.social Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
Patrick Huembeli @phuembeli.bsky.social AI Lead at Axiomatic AI. Former Extropic Staff Scientist, MentenAI Quantum Computing Researcher, EPFL QML researcher, ICFO QML PhD candidate.
Kevin Hartnett @kevinhartnett.bsky.social Science journalist and author of "The Proof in the Code," the story of Lean, the interactive theorem prover developed by Leo de Moura at Microsoft Research, which is transforming the way math research is conducted. Coming in Spring 2026 from Quanta Books. 
Dave Richeson @divbyzero.bsky.social Mathematician. John J. & Ann Curley Chair in Liberal Arts at Dickinson College. Author of Tales of Impossibility and Euler's Gem. Coffee drinker. [Everything in the timeline before October 2024 was imported from my Twitter/X feed 2008-24.]
Yale University Press @yalepress.bsky.social Books et Veritas. Bringing truth to light for more than one hundred years.
Nature @nature.com Research, news, and commentary from Nature, the international science journal. For daily science news, get Nature Briefing: https://go.nature.com/get-Nature-Briefing
American Astronomical Society (AAS) @aas.org The mission of the American Astronomical Society is to enhance and share humanity’s scientific understanding of the universe as a diverse and inclusive astronomical community.
aas.org
MIT Press @mitpress.bsky.social Committed to the daily re-imagining of what a university press can be since 1962.
Website: https://mitpress.mit.edu
The Reader (our home for excerpts, essays, & interviews): https://thereader.mitpress.mit.edu
MIT Press Direct: https://direct.mit.edu/
Ethan Siegel @startswithabang.bsky.social Cosmologist, science communicator, author, speaker, and longtime writer of Starts With A Bang.
Not the next Carl Sagan; the first Ethan Siegel.
Penn Press @pennpress.bsky.social Advancing knowledge, fostering collaboration, informing the future
https://www.pennpress.org/
Nature Portfolio @natureportfolio.nature.com Nature Portfolio’s high-quality products and services across the life, physical, chemical and applied sciences is dedicated to serving the scientific community.
Nature Communications @natcomms.nature.com Nature Communications is an open access journal publishing high-quality research in all areas of the biological, physical, chemical, clinical, social, and Earth sciences.
www.nature.com/ncomms/
Psyll Magazine - Science, Tech, Politics & Business @psyll.bsky.social Psyll specializes in expert analysis of science, technology, politics and business. Discover insightful perspectives on key trends and complex global dynamics. Visit https://psyll.com.
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app