CompSciOxford @compscioxford.bsky.social Department of Computer Science at the University of Oxford, sharing news on our outstanding research across a broad spectrum of computer science #CompSciOxford
Pushmeet Kohli @pushmeet.bsky.social Computer Scientist, Leading Science and Strategic Initiatives @ Google DeepMind.
Convergent Research @convergentresearch.bsky.social A mission control for frontier technology.
To learn more about FROs, visit convergentresearch.org.
Swarat Chaudhuri @swarat.bsky.social Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
Timothy Gowers @wtgowers.bsky.social Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
Jordan Ellenberg @jsellenberg.bsky.social Mathematician, writer, Orioles fan, Wisconsinite, cargo shorts dad
Lance Fortnow @lance.fortnow.com Complexity Theorist
Ryan Williams @rrwilliams.bsky.social professor of EECS at MIT. working in theoretical computer science namely algorithm design, complexity theory, circuit complexity, etc.
i'll let you know when P != NP is proved (and when it's not)
Steven Strogatz @stevenstrogatz.com Mathematician, writer, Cornell professor. All cards on the table, face up, all the time. www.stevenstrogatz.com
Quanta Magazine @quantamagazine.bsky.social 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
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.
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!
MIT Mathematics @mitmath.bsky.social The Department of Mathematics at MIT is a world leader in pure and applied mathematical research and education.
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/ 
Caltech @caltech.edu The California Institute of Technology aims to expand human knowledge and benefit society through research integrated with education.
Hugging Face @hf.co The AI community building the future! 
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/ ]
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/
Jason Rute @jasonrute.bsky.social AI Researcher @ Mistral AI | Formally IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
Patrick Shafto @patrickshafto.bsky.social Prof: Rutgers; Program Manager: DARPA; Scientist-at-Large: Redpoll.
Math! Machine learning! Cognitive Science!
Epoch AI @epochai.bsky.social We are a research institute investigating the trajectory of AI for the benefit of society.
epoch.ai
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.
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 
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/
Ars Technica @arstechnica.com Original news, reviews, analysis of tech trends, and expert advice on the most fundamental aspects of tech.
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
TechCrunch @techcrunch.com Technology news and analysis with a focus on founders and startup teams.
Got a tip? http://techcrunch.com/tips
Free Software Foundation Europe (FSFE) @fsfe.org Bluesky account of the Free Software Foundation Europe. Our main account is on Mastodon (mastodon.social/@fsfe)
fsfe.org
Erlang Ecosystem Foundation @theerlef.bsky.social We’re a non-profit focused on growing and supporting a diverse community and tech based on the BEAM #erlef
https://erlef.org/
OpenForum Europe @openforumeurope.org Working to achieve open, competitive EU digital markets #OpenSource #OpenStandards #OpenInnovation
openforumeurope.org
Python Software Foundation @python.org The nonprofit organization behind the Python programming language. For help with Python code: http://python.org/about/help/
On Mastodon: @ThePSF@fosstodon.org
Mozilla @mozilla.org Building a better internet.
Cloud Native Computing Foundation (CNCF) @cncf.io Making cloud native ubiquitous
Microsoft Research @msftresearch.bsky.social We advance science and technology to benefit humanity.
http://microsoft.com/research
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
dan @danabra.mov dancing for your pleasure
Ashley Blacquiere @ashblacquiere.bsky.social Ops @leanprover
Sebastian Ullrich @derkha.bsky.social makes Lean at Lean FRO
Munich, Germany
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Tudor Achim @tachim.bsky.social CEO @ Harmonic
Alfred P. Sloan Foundation @sloanfoundation.bsky.social We fund research, engagement and education in science, technology, engineering, mathematics and economics. Based in NYC. More here: https://sloan.org/
Adam Marblestone @adammarblestone.bsky.social Technologist, scientist. Co-founder of Convergent Research.
Simons Foundation @simonsfoundation.org Advancing the frontiers of basic science through grantmaking, research and public engagement. Sign up for our newsletter: simonsfoundation.org/newsletter
Apache Software Foundation (The ASF) @apache.org The global home for open source software, powering some of the world’s most ubiquitous software projects in web, big data, Java, IoT, cloud computing, and more. Learn more at https://apache.org.
The Linux Foundation @linuxfoundation.org A nonprofit organization enabling mass innovation through open source. #linux #kubernetes #riscv #hyperledger #anuket #openssf #openjs #o3de and more!
The Scala Programming Language @scala-lang.org A programming language that scales with you: from small scripts to large multiplatform applications.
https://www.scala-lang.org
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
The Rust Foundation @rustfoundation.org The Rust Foundation is an independent nonprofit organization dedicated to stewarding the Rust programming language and its global community. rustfoundation.org
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app