×
You are not logged in
Bluesky Follows
Lean Focused Research Organization
Follows by @lean-lang.org
CompSciOxford
Registered:20 Aug 2024 16:45
Follow date:11 Jun 2025 17:26
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
Registered:23 Jan 2025 23:11
Follow date:10 Jun 2025 17:09
Computer Scientist, Leading Science and Strategic Initiatives @ Google DeepMind.
Convergent Research
Registered:19 Mar 2025 13:56
Follow date:9 Jun 2025 20:20
A mission control for frontier technology.
To learn more about FROs, visit convergentresearch.org.
Swarat Chaudhuri
Registered:13 Nov 2024 22:51
Follow date:20 Mar 2025 19:13
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/~swa...
Timothy Gowers
Registered:29 Oct 2023 21:44
Follow date:26 Feb 2025 22:34
Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
Jordan Ellenberg
Registered:27 Jun 2023 02:59
Follow date:26 Feb 2025 22:34
Mathematician, writer, Orioles fan, Wisconsinite, cargo shorts dad
Lance Fortnow
Registered:31 Aug 2023 13:18
Follow date:26 Feb 2025 22:34
Complexity Theorist
Ryan Williams
Registered:4 Mar 2024 03:44
Follow date:26 Feb 2025 22:33
professor of EECS at MIT, currently visiting IAS. 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
Registered:11 Sep 2023 21:25
Follow date:26 Feb 2025 22:33
Mathematician, writer, Cornell professor. All cards on the table, face up, all the time. www.stevenstrogatz.com
Quanta Magazine
Registered:3 Aug 2023 14:28
Follow date:26 Feb 2025 22:33
Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Science News
Registered:21 Jun 2023 20:16
Follow date:26 Feb 2025 22:33
We report on the latest news in all fields of science. See also @snexplores.bsky.social
MIT Technology Review
Registered:12 May 2023 23:33
Follow date:26 Feb 2025 22:33
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/...
The Fields Institute
Registered:19 Nov 2024 16:55
Follow date:26 Feb 2025 22:33
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 --
Registered:18 Nov 2024 04:25
Follow date:26 Feb 2025 22:32
Pure Mathematician+pianist. Grieving involuntary childlessness. Author: "Is Math(s) Real?" 2023 etc. "Unequal" out 2025!
MIT Mathematics
Registered:6 Feb 2024 19:06
Follow date:26 Feb 2025 22:32
The Department of Mathematics at MIT is a world leader in pure and applied mathematical research and education.
MATRIX
Registered:21 Nov 2024 04:11
Follow date:26 Feb 2025 22:32
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
Registered:17 Jan 2024 19:43
Follow date:26 Feb 2025 22:32
The California Institute of Technology aims to expand human knowledge and benefit society through research integrated with education.
Hugging Face
Registered:17 May 2023 18:22
Follow date:26 Feb 2025 22:32
The AI community building the future!
theHigherGeometer
Registered:17 Nov 2024 18:17
Follow date:26 Feb 2025 22:32
rimcræftiga |
bespoke constructions in categorified geometry since 2010 |
dude
[bridged from https://mathstodon.xyz/@higher... on the fediverse by https://fed.brid.gy/ ]
Pacific Institute for the Mathematical Sciences
Registered:13 Nov 2024 20:08
Follow date:26 Feb 2025 22:32
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
Registered:23 Nov 2024 16:44
Follow date:26 Feb 2025 22:31
AI Researcher @ Mistral AI | Formally IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
Patrick Shafto
Registered:25 Sep 2023 23:06
Follow date:26 Feb 2025 22:31
Prof: Rutgers; Program Manager: DARPA; Scientist-at-Large: Redpoll.
Math! Machine learning! Cognitive Science!
Epoch AI
Registered:22 Nov 2024 23:44
Follow date:26 Feb 2025 22:31
We are a research institute investigating the trajectory of AI for the benefit of society.
epoch.ai
Anthropic
Registered:19 Nov 2024 19:33
Follow date:26 Feb 2025 22:31
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
Registered:15 Oct 2023 09:29
Follow date:26 Feb 2025 22:31
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
Registered:15 Nov 2024 03:17
Follow date:26 Feb 2025 22:31
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
Registered:26 Jun 2023 20:47
Follow date:26 Feb 2025 22:30
Original news, reviews, analysis of tech trends, and expert advice on the most fundamental aspects of tech.
WIRED
Registered:20 Feb 2024 14:59
Follow date:26 Feb 2025 22:27
For Future Reference.
Sign up for our newsletters: https://wrd.cm/newsletters
Find our WIRED journalists here: https://bsky.app/starter-pack/...
TechCrunch
Registered:26 Apr 2023 17:53
Follow date:26 Feb 2025 22:27
Technology news and analysis with a focus on founders and startup teams.
Got a tip? http://techcrunch.com/tips
Free Software Foundation Europe (FSFE)
Registered:24 Oct 2023 07:51
Follow date:26 Feb 2025 22:26
Bluesky account of the Free Software Foundation Europe. Our main account is on Mastodon (mastodon.social/@fsfe)
fsfe.org
Erlang Ecosystem Foundation
Registered:16 Nov 2024 17:52
Follow date:26 Feb 2025 22:26
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
Registered:4 Dec 2024 14:30
Follow date:26 Feb 2025 22:26
Working to achieve open, competitive EU digital markets #OpenSource #OpenStandards #OpenInnovation
openforumeurope.org
Python Software Foundation
Registered:6 Jun 2024 15:58
Follow date:26 Feb 2025 22:26
The nonprofit organization behind the Python programming language. For help with Python code: http://python.org/about/help/
On Mastodon: @ThePSF@fosstodon.org
Mozilla
Registered:10 Dec 2024 21:25
Follow date:26 Feb 2025 22:26
Building a better internet.
Cloud Native Computing Foundation (CNCF)
Registered:16 Nov 2024 21:43
Follow date:26 Feb 2025 22:15
Making cloud native ubiquitous
Microsoft Research
Registered:16 Nov 2024 22:31
Follow date:26 Feb 2025 22:14
We advance science and technology to benefit humanity.
http://microsoft.com/research
Nature
Registered:21 Nov 2024 17:45
Follow date:26 Feb 2025 22:14
Research, news, and commentary from Nature, the international science journal. For daily science news, get Nature Briefing: https://go.nature.com/get-Natu...
dan
Registered:8 Apr 2023 20:19
Follow date:20 Feb 2025 17:42
есть цветок и есть песок
Ashley Blacquiere
Registered:15 Dec 2024 03:21
Follow date:20 Feb 2025 17:09
Ops @leanprover
◇ Sofia ∘
Registered:30 Aug 2024 17:08
Follow date:20 Feb 2025 17:09
transfem nada engraçada, i do sillyous business.
This is my personal account that I post mainly in PT/BR
Sebastian Ullrich
Registered:12 Dec 2024 16:38
Follow date:18 Feb 2025 16:38
makes Lean at Lean FRO
Munich, Germany
Sebastian Graf
Registered:22 Dec 2023 22:12
Follow date:15 Feb 2025 21:46
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Tudor Achim
Registered:22 Jan 2025 15:56
Follow date:14 Feb 2025 23:14
CEO @ Harmonic
Alfred P. Sloan Foundation
Registered:30 Jan 2025 20:59
Follow date:14 Feb 2025 23:13
We fund research, engagement and education in science, technology, engineering, mathematics and economics. Based in NYC. More here: https://sloan.org/
Adam Marblestone
Registered:14 Apr 2023 20:41
Follow date:14 Feb 2025 23:12
Technologist, scientist. Co-founder of Convergent Research.
Simons Foundation
Registered:30 Nov 2023 16:24
Follow date:14 Feb 2025 23:11
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)
Registered:29 Nov 2024 16:55
Follow date:14 Feb 2025 23:11
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
Registered:6 Jun 2023 15:38
Follow date:14 Feb 2025 23:11
A nonprofit organization enabling mass innovation through open source. #linux #kubernetes #riscv #hyperledger #anuket #openssf #openjs #o3de and more!