Lean Focused Research Organization
Helping to break the trust bottleneck in modern research mathematics.
@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
@wtgowers.bsky.social
Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
@jsellenberg.bsky.social
Mathematician, writer, Orioles fan, Wisconsinite, cargo shorts dad
@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)
@stevenstrogatz.com
Mathematician, writer, Cornell professor. All cards on the table, face up, all the time. www.stevenstrogatz.com
@taliaringer.bsky.social
@quantamagazine.bsky.social
Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
@sciencenews.bsky.social
We report on the latest news in all fields of science. See also @snexplores.bsky.social
@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
@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.
@dreugeniacheng.bsky.social
Pure Mathematician+pianist. Grieving involuntary childlessness. Author: "Is Math(s) Real?" 2023 etc. "Unequal" out 2025!
@mitmath.bsky.social
The Department of Mathematics at MIT is a world leader in pure and applied mathematical research and education.
@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.edu
The California Institute of Technology aims to expand human knowledge and benefit society through research integrated with education.
@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/ ]
@pims.math.ca
PIMS is a consortium of 10 universities promoting research in and the application of the mathematical sciences in western Canada and the Pacific Northwest. Follow us on LinkedIn: https://tinyurl.com/4fuhdeph
@johncarlosbaez.mathstodon.xyz.ap.brid.gy
I'm a mathematical physicist who likes explaining stuff. Sometimes I work at the Topos Institute. Check out my blog! I'm also a member of the n-Category […] [bridged from https://mathstodon.xyz/@johncarlosbaez on the fediverse by https://fed.brid.gy/ ]
@jasonrute.bsky.social
AI Researcher @ IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
@patrickshafto.bsky.social
Prof: Rutgers; Program Manager: DARPA; Scientist-at-Large: Redpoll. Math! Machine learning! Cognitive Science!
@epochai.bsky.social
We are a research institute investigating the trajectory of AI for the benefit of society. epoch.ai
@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.
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@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/
@arstechnica.com
Original news, reviews, analysis of tech trends, and expert advice on the most fundamental aspects of tech.
@wired.com
At wired.com where tomorrow is realized || Sign up for our newsletters: https://wrd.cm/newsletters Find our WIRED journalists here: https://bsky.app/starter-pack/couts.bsky.social/3l6vez3xaus27
@techcrunch.com
Technology news and analysis with a focus on founders and startup teams. Got a tip? http://techcrunch.com/tips
@fsfe.org
Bluesky account of the Free Software Foundation Europe. This account is not used anymore. Our main account is on Mastodon (mastodon.social/@fsfe) and is mirrored: https://bsky.app/profile/fsfe.mastodon.social.ap.brid.gy fsfe.org
@theerlef.bsky.social
We’re a non-profit focused on growing and supporting a diverse community and tech based on the BEAM #erlef
@openforumeurope.org
Working to achieve open, competitive EU digital markets #OpenSource #OpenStandards #OpenInnovation openforumeurope.org
@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
@msftresearch.bsky.social
We advance science and technology to benefit humanity. http://microsoft.com/research
@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
@monad.mom
I code Lean because I love Lean. Lean is my main language. I use Lean for frontend, backend, and math. I just love Lean Charlie. This is my personal account that I post mainly in PT/BR
@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@sloanfoundation.bsky.social
We fund research, engagement and education in science, technology, engineering, mathematics and economics. Based in NYC. More here: https://sloan.org/
@adammarblestone.bsky.social
Technologist, scientist. Co-founder of Convergent Research.
@simonsfoundation.org
Advancing the frontiers of basic science through grantmaking, research and public engagement. Sign up for our newsletter: simonsfoundation.org/newsletter
@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.
@linuxfoundation.org
A nonprofit organization enabling mass innovation through open source. #linux #kubernetes #riscv #hyperledger #anuket #openssf #openjs #o3de and more!
@scala-lang.org
A programming language that scales with you: from small scripts to large multiplatform applications. https://www.scala-lang.org
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org