Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Hillary Rodham Clinton @hillaryclinton.bsky.social Doting grandmother, among other things.
Alt18F @alt18f.bsky.social Delivered effective, efficient, and secure digital services for the American people until we were forced to stop on March 1, 2025. Not an official government account. Reposts are not endorsements. Our new website: https://18f.org/ #AltGov
Hakeem Jeffries @hakeem-jeffries.bsky.social Brooklyn Congressman. Democratic Leader.
Work hard. Stay focused. Deliver results #ForThePeople.
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
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 
Sarah J. Jackson @sjjphd.bsky.social Prof @ Penn studying media, race, tech, feminism, politics.
Author of A SECOND SIGHT (Mariner, 2026), co-author #HASHTAGACTIVISM (MIT Press, 2020) + more.
Typos and opinions both mine.
Co‑Director: @miccenter.bsky.social
Anthropic @anthropic.com We're an Al safety and research company that builds reliable, interpretable, and steerable Al systems. Talk to our Al assistant Claude at Claude.ai.
Epoch AI @epochai.bsky.social We are a research institute investigating the trajectory of AI for the benefit of society.
epoch.ai
Kumar Garg @kumargarg.bsky.social President, Renaissance Philanthropy
Physics Magazine @physicsmagazine.aps.org Exploring the people, ideas, and stories behind physics research.
Patrick Shafto @patrickshafto.bsky.social Prof: Rutgers; Program Manager: DARPA; Scientist-at-Large: Redpoll.
Math! Machine learning! Cognitive Science!
Ioannis Kontoyiannis @kontoyiannis.bsky.social Information theory, probability, statistics. Churchill Professor of Mathematics of Information @UofCambridge: dpmms.cam.ac.uk/person/ik355/ 🧮 #MathSky 🧪 #Science
[used to be @yiannis_entropy at the other place]
Lenore Blum @lenoreblum.bsky.social Mathematician and Theoretical Computer Scientist (#mathematics, #TCS) interested in #Consciousness and #NeuroAI (#Neuroscience, #AI). Distinguished Career Prof of CS at CMU, Emerita. President, Assoc for MathConscSci (AMCS) (https://amcs-community.org)
Geoffrey Irving @girving.bsky.social Cofounder and Chief Scientist at Resolution. Alignment will be solved eventually, but not necessarily in time. Previously UK AISI, DeepMind, OpenAI, Google Brain, etc.
Vít Tuček @tucek.bsky.social mathematician (differential geometry, representation theory), data analyst and Python developer
Enrique Treviño @enriquetrevino.bsky.social Math professor. My research is mostly in number theory. I am also very involved in Math olympiads.
Thomas Kahle @tomkalei.bsky.social Mathematician, Podcaster, cyclist, dad, antifascist, Magdeburg, he/him
Not active here, not following @mentions even.
Only Mastodon: @tomkalei@mathe.social
https://thomas-kahle.de
When I was young, we used to compile our own operating systems.
CIRM - Centre international de rencontres mathématiques @cirm-math.bsky.social CIRM is quite a unique place. At the heart of the Parc des Calanques, it is entirely dedicated to welcome researchers from around the world who meet here.
www.cirm-math.fr
Jason Rute @jasonrute.bsky.social AI Researcher @ Mistral AI | Formally IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
Sydney Mathematics and Statistics @sydneymathsstats.bsky.social School of Mathematics and Statistics at the University of Sydney.
On the land of the Gadigal people of the Eora Nation.
https://maths.usyd.edu.au
CoCalc by SageMath, Inc. @cocalc.bsky.social Website: https://cocalc.com/
Collaborate in real-time via web browser while using your favorite programming languages and applications.
Like Google Suite for Computational Scientists.
Self-host your own instance of CoCalc: https://onprem.cocalc.com/
Elizabeth Warren @warren.senate.gov U.S. Senator, Massachusetts. She/her/hers. Official Senate account.
https://substack.com/@senatorwarren
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
@fryrsquared.bsky.social @fryrsquared.bsky.social 
Joel David Hamkins @joeldavidhamkins.bsky.social Mathematics and Philosophy of the Infinite
Professor of Logic, University of Notre Dame
University of Oxford
#InfinitelyMore #BookOfInfinity #PanoramaOfLogic #PhilMaths
https://buymeacoffee.com/joeldavidhamkins- L Lexing Ying @lexingying.bsky.social Mathematician at Stanford
Pietro Monticone @pietromonticone.bsky.social AI for Mathematics @HarmonicMath || Formalising Mathematics and Software in @LeanProver || Developing Free Open Source Software in #Lean, #Python and #Julia.
Cambridge University Press - Science & Engineering @cambup-scieng.cambridge.org The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @cambridgeup.bsky.social
David Corfield @davidcorfield.bsky.social Philosopher interested in mathematics, especially category theory, and psychoanalysis. Author of 'Modal Homotopy Type Theory: The prospect of a new tool for philosophy' (OUP, 2020) and 'Why do people get ill? (Hamish Hamilton 2007)
Stella Biderman @stellaathena.bsky.social I make sure that OpenAI et al. aren't the only people who are able to study large scale AI systems.
Pacific Institute for the Mathematical Sciences @pims.math.ca PIMS is a consortium of universities in Western Canada and the Pacific NW, dedicated to promoting research in and the application of mathematical sciences.
Learn more: https://pims.math.ca/
theHigherGeometer @highergeometer.mathstodon.xyz.ap.brid.gy rimcræftiga |
bespoke constructions in categorified geometry since 2010 |
dude
[bridged from https://mathstodon.xyz/@highergeometer on the fediverse by https://fed.brid.gy/ ]
Almost Sure @almostsure.bsky.social George Lowther. Author of Almost Sure blog on maths, probability and stochastic calculus
https://almostsuremath.com
Also on YouTube: https://www.youtube.com/@almostsure
NASA Webb Telescope @nasawebb.extwitter.link ⚠️ MIRROR OF twitter.com/NASAWebb
⚠️ If you own the original account and want to claim this, please contact @twttr-mirrors.bsky.social
Astronomy Picture of the Day (unofficial bot) @fanapod.baldanders.info This is bot account.
Deliver "Astronomy Picture of the Day" using NASA API.
NASA API: https://api.nasa.gov/
Managed by @baldanders.info
Powered by https://github.com/goark/toolbox
Astronomy 🔭 @astronomy.bsky.social Facts, Information, and Images related to Space and Astronomy.
Copyright with respective people and organizations shared for educational purposes.
Bluesky Safety @safety.bsky.app Sharing updates about trust and safety on Bluesky.
This account’s mentions are not actively monitored. To report a post or account, use the in-app reporting feature.
Community Guidelines: https://bsky.social/about/support/community-guidelines
The Verge @theverge.com Covering life in the future
Subscribe here: https://www.theverge.com/subscribe
Hugging Face @hf.co The AI community building the future! 
AlphaFold Unofficial @alphafold.bsky.social Unofficial account exploring the intersection of biology, molecules, science, AI and protein folding with AlphaFold.
Jennifer Richeson @jaricheson.bsky.social professor of social psychology with a focus on race, diversity, & societal inequality; political junkie; the beach is my happy place; views are my own
Sebastien Bubeck @sbubeck.bsky.social I work on AI at OpenAI.
Former VP AI and Distinguished Scientist at Microsoft.
Caltech @caltech.edu The California Institute of Technology aims to expand human knowledge and benefit society through research integrated with education.
WIRED @wired.com For Future Reference.
Sign up for our newsletters: https://wrd.cm/newsletters
Find our WIRED journalists here: https://go.bsky.app/Boj9b5E
NY Times Pitchbot @nytpitchbot.bsky.social I have never felt more politically homeless. Parody. Merch: https://tinyurl.com/msjjmwpt
Australian Academy of Science @science.org.au An independent organisation of distinguished Australian scientists, championing science for the benefit of all.
Read our landmark report: https://bit.ly/ASAF2035 #Science2035
WHO @who.int The World Health Organization (WHO) is the United Nations’ health agency, championing Health For All.
Always check the latest posts for updated advice/information.
We reserve the right to remove misinformation, spam, and hate speech under our posts.
MATRIX @matrix-inst.bsky.social MATRIX is a residential research institute for the mathematical sciences, located in a unique Australian setting on Dja Dja Wurrung Country. Learn more at https://www.matrix-inst.org.au or linkedin.com/in/matrix-australia/ 
Neal Stephenson @nealstephenson.bsky.social Maker of books and other things
Ted Lieu @tedlieu.bsky.social Husband of Betty, the love of my life. Father of two great kids. USAF veteran. Member of Congress. In that order. Also, empathy is good.
George Takei @georgetakei.bsky.social Husband, Actor, Activist, Uncle George to the Internet 🖖
Jeri Ryan (official account) @jerilryan.bsky.social Actress, mom, wife, foodie, gardener. Not necessarily in that order. Trying to make a better world for our kids. Star Trek: Picard. That’s CAPTAIN Seven to you. 🖖🏼😋❤️
LeVar Burton @levarburton.bsky.social Kunta, Geordi, Reading Rainbow guy. Flies twice as high… #bydhttmwfi
Space @redditspaceviewes.bsky.social Welcome,this account is devoted high-quality image of space,sharing quality astrophotography science &Technology
The Daily Show @thedailyshow.com Weeknights 11/10c on Comedy Central and Paramount+
Morgan J Freeman @mjfree.bsky.social Proud Girl Dad, TV Producer, Filmmaker, Vedic Meditation Practitioner, Kitesurfer, Human Rights & Racial Justice Advocate and an Abolitionist!
And I don't act! 😆😆😆👻👻👻
Laurence H. Tribe @tribelaw.bsky.social After teaching and writing about constitutional law for 50 yrs, it seemed time for me to reach beyond Harvard’s walls — to spread understanding and appreciation of the rule of law, of justice as fairness, and of a republic if we can keep it
Robert Reich @rbreich.bsky.social Berkeley professor, former Secretary of Labor. Co-founder of @inequalitymedia.bsky.social and @imcivicaction.bsky.social.
Substack: http://robertreich.substack.com
Buy my new book: https://sites.prh.com/reich
Visit my website: https://rbreich.com/
Patton Oswalt @pattonoswalt.bsky.social Writing and yelling. 
Stephen King @stephenking.bsky.social Writer
Mark Hamill @markhamillofficial.bsky.social Believe in yourself! Work hard, never give up & anything's possible! OR: Kick back, relax & aim low: You'll never be disappointed...😜
SpaceAustralia.com @spaceaustralia.com Connecting and sharing news, people, projects, voices and science from Australia and NZ’s space communities. 📸 CSIRO.
www.spaceaustralia.com 
NPR @npr.org This is NPR 🎙️
Henry Towsner @substitutedepsilon.bsky.social Associate professor of mathematics at UPenn. Logic and related topics. Sometimes distracted by RPGs and Judaism. He/him/his. 
Sydney Mathematical Research Institute (SMRI) @sydmathinst.bsky.social Transforming maths in Australia with research and public outreach.
YouTube http://bit.ly/SMRI_YT
Princeton University Press @princetonupress.bsky.social Princeton University Press is an independent nonprofit publisher. Our books spark engaging discussions and present bold ideas from leading experts worldwide.
Davide Castelvecchi @castelvecchi.bsky.social Writer at Nature magazine, covering physical sciences, technology, mathematics, and energy. DMs are disabled courtesy of the UK's so-called Online Safety Act
Francis Su @mathyawp.bsky.social I post mainly about math, and what it means to be human. Professor, writer, truth & grace seeker. Former MAA president. Opinions my own. Book: Mathematics for Human Flourishing (2020) https://amzn.to/3CLGCA5
MIT Mathematics @mitmath.bsky.social The Department of Mathematics at MIT is a world leader in pure and applied mathematical research and education.
Dr Eugenia Cheng -- no advice please -- @dreugeniacheng.bsky.social Pure Mathematician+pianist. Grieving involuntary childlessness. Author: "Is Math(s) Real?" 2023 etc. "Unequal" out 2025!
SLMath (MSRI) - Follow us @mathmoves @slmath.bsky.social The Simons Laufer Mathematical Sciences Institute (SLMath), formerly, MSRI, in Berkeley, California. Our main account is @mathmoves.bsky.social - follow us there!
Thomas Lin @7homaslin.com Super nerd here to spread the joy of learning.
📖 Publisher @quantabooks.org at @simonsfoundation.org
📚 Author list: Terence Tao, David Tong, Kevin Hartnett
⚛️ Founding EIC @quantamagazine.bsky.social
💼 Prev @nytimes.com, CASW, CUNY J-School
🚴🏼🎾♟️
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.
SLMath (MSRI) @mathmoves.bsky.social The Simons Laufer Mathematical Sciences Institute (SLMath) in Berkeley, California (formerly MSRI). Learn more at slmath.org or http://linktr.ee/mathmoves. 
Paul Krugman @pkrugman.bsky.social Ex NY Times, now author of Substack Paul Krugman. Nobel laureate and, according to Donald Trump, "Deranged BUM". Also Research Professor at the City University of New York Graduate Center and senior scholar at the GC-CUNY Stone Center.
Dinosaur Comics! @qwantz.com Comics? On the INTERNET?? On WWW DOT BSKY DOT APP??
Alexandria Ocasio-Cortez @aoc.bsky.social Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
Felicia Day @felicia.day Actor. Writer. Producer. Internet Native. “Lost Daughter of Sparta” out March 17, preorder now! https://bit.ly/LostDaughterOfSparta
Internet Archive @archive.org Internet Archive is a non-profit research library preserving web pages, books, movies & audio for public access. Explore web history via the Wayback Machine. 
Jonathan Coulton @jonathancoulton.bsky.social 
Scientific American @sciam.bsky.social A legacy of discovery. A future of innovation.
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
Space Telescope Science Institute @stsci.edu STScI is the Science Operations Center for Webb, Hubble, and Roman space telescopes, & Mission Operations Center for Webb. We help humanity explore the universe with advanced space telescopes and data archive. news.stsci.edu
Ars Technica @arstechnica.com Original news, reviews, analysis of tech trends, and expert advice on the most fundamental aspects of tech.
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
Los Angeles Times @latimes.com News from a West Coast perspective.
Read more at www.latimes.com.
Science News @sciencenews.bsky.social We report on the latest news in all fields of science. See also @snexplores.bsky.social
The New York Times @nytimes.com We seek the truth and help people understand the world. Not a subscriber? Your first month is now free in our app. https://nytimes.onelink.me/Xpht/zbx4nci9
The Washington Post @washingtonpost.com Democracy Skies in Blueness
- D David Chalmers @davidchalmers.bsky.social
Quanta Magazine @quantamagazine.org Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Jennifer Ouellette @jenlucpiquant.bsky.social I cover science and culture at Ars Technica. Former science editor, Gizmodo. Ex-vangelical. Rodeo fan. Married to @seanmcarroll, servant to two cats: Ariel and Caliban. Baltimore, MD. She/her.
Phil Plait @philplait.bsky.social Bad Astronomer (formerly @BadAstronomer), SciCommer, Dork. Crash Course Astronomy guy. He/him. Newsletter: badastronomy.beehiiv.com
I'm self-employed so my opinions do in fact represent my company's.