BStools

Anuj Dawar अनुज दावर انُج داور

@anujdawar.bsky.social

200 followers, 171 follows, 141 posts

Registered:11 Jan 2025 10:01

Follow date:17 Oct 2025 20:04

Last post:8 hours ago

Last like given:5 hours ago

Last like received:5 hours ago

Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Theoretical computer scientist. News junkie. Parent of teenagers.

Tom Gur

@tomgur.bsky.social

1,031 followers, 175 follows, 70 posts

Registered:13 Nov 2024 19:14

Follow date:17 Oct 2025 20:03

Last post:1 day ago

Last like received:18 hours ago

Professor of Computer Science at Cambridge.

John C. Baez

@johncarlosbaez.bsky.social

1,020 followers, 191 follows, 1,282 posts

Registered:18 Nov 2024 21:23

Follow date:1 Sep 2025 20:57

Last post:12 hours ago

Last like given:12 hours ago

Last like received:3 hours ago

Mathematical physicist

Ulrich Pennig

@pennigulrich.bsky.social

631 followers, 560 follows, 151 posts

Registered:4 Aug 2023 09:16

Follow date:1 Sep 2025 12:44

Last post:5 days ago

Senior Lecturer in Algebra and Topology at Cardiff University. All views are my own.

Bob Coecke

@coecke.bsky.social

284 followers, 174 follows, 68 posts

Registered:1 Sep 2025 09:33

Follow date:1 Sep 2025 10:22

Last post:6 hours ago

Last like given:6 hours ago

Last like received:6 hours ago

Chief Scientist at Quantinuum, ex Oxford Professor, author of Picturing Quantum Processes & Quantum in Pictures. Also, composer/musician at Black Tish, inventor of Quantum Guitar, playing duets with orchestral organ.

emilyriehl.bsky.social

@emilyriehl.bsky.social

124 followers, 22 follows, 102 posts

Registered:21 Feb 2025 02:57

Follow date:20 Aug 2025 08:46

Last post:3 Jan 2026

Mehmet Mars Seven ♞

@mehmetmars7.bsky.social

2,705 followers, 2,034 follows, 278 posts

Registered:8 Feb 2025 22:30

Follow date:1 Apr 2025 17:44

Last post:19 Jan 2026

Lecturer @kcl-spe.bsky.social @kingscollegelondon.bsky.social Game Theory, Econ & CS, Pol-Econ, Sport Chess ♟️ Game Theory Corner at Norway Chess Studied in Istanbul -> Paris -> Bielefeld -> Maastricht https://linktr.ee/drmehmetisma... Views are my own

Lean Focused Research Organization

@lean-lang.org

567 followers, 54 follows, 119 posts

Registered:14 Feb 2025 23:08

Follow date:27 Feb 2025 07:49

Last post:27 Feb 2026

Supporting the Formal Mathematics revolution

Computerphile

@computerphile.bsky.social

1,087 followers, 38 follows, 0 posts

Registered:21 Oct 2024 14:28

Follow date:14 Feb 2025 21:12

YouTube videos about computers and the internet and stuff... Sister project to numberphile Supported by Jane Street - https://jane-st.co/computerphi...

Simon Burton

@fridaysimon.bsky.social

302 followers, 351 follows, 66 posts

Registered:19 Nov 2024 11:39

Follow date:12 Feb 2025 17:17

Last post:2 days ago

Last like given:23 hours ago

Quantum computing -- Lead R&D scientist at Quantinuum.

Matt Macauley

@visualalgebra.bsky.social

1,296 followers, 664 follows, 893 posts

Registered:26 Sep 2024 12:26

Follow date:3 Feb 2025 09:35

Last post:2 hours ago

Last like given:2 hours ago

Last like received:2 hours ago

Alexandra Silva

@xanovsky.bsky.social

422 followers, 378 follows, 16 posts

Registered:2 Apr 2024 15:36

Follow date:23 Jan 2025 21:27

Last post:11 Jan 2026

Mom, foodie, traveller, computer scientist

Lawrence Paulson

@lawrpaulson.bsky.social

612 followers, 278 follows, 733 posts

Registered:9 Sep 2023 21:26

Follow date:21 Jan 2025 08:41

Last post:6 hours ago

Last like given:6 hours ago

Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit

Ed Hollox

@edhollox.bsky.social

571 followers, 782 follows, 886 posts

Registered:14 Sep 2023 06:48

Follow date:13 Jan 2025 18:18

Last post:5 hours ago

Last like given:6 hours ago

Last like received:5 hours ago

Professor of Genetics at U of Leicester. Genome structural variation. "Anyone with gumption and a sharp mind will take the measure of two things: what's said and what's done." Views my own.

Combinatorics

@combinatorics.bsky.social

161 followers, 155 follows, 8 posts

Registered:30 Oct 2023 08:30

Follow date:13 Jan 2025 10:34

This is the "official account" of the mathematics research field "Combinatorics". This account can be given around to combinatorialists around the world for one week each to post about their view on the field. DMs are open for requests.

Timothy Gowers

@wtgowers.bsky.social

4,112 followers, 165 follows, 313 posts

Registered:29 Oct 2023 21:44

Follow date:13 Jan 2025 10:33

Last post:5 days ago

Mathematics professor at Collège de France and fellow of Trinity College Cambridge.

Journal of Functional Programming

@journal-of-fp.bsky.social

155 followers, 2 follows, 24 posts

Registered:13 Nov 2024 13:57

Follow date:13 Jan 2025 10:32

Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Posts by @liamoc.net

Max Little

@maxal.bsky.social

152 followers, 408 follows, 16 posts

Registered:5 Sep 2024 22:11

Follow date:4 Jan 2025 10:18

Academic mathematician/computer scientist, University of Birmingham, UK. AI and machine learning, causal inference, signal processing, applied mathematics, computational statistics. Ex Oxford PhD, MIT postdoc fellow.

Haskell programming language

@haskell.org

2,294 followers, 119 follows, 755 posts

Registered:18 Nov 2024 12:50

Follow date:24 Dec 2024 16:30

Last post:2 days ago

Last like received:10 hours ago

Committed to a welcoming, vibrant & ﬂourishing #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

This Week in Rust

@thisweekinrust.bsky.social

1,235 followers, 1 follows, 57 posts

Registered:7 Nov 2024 09:27

Follow date:24 Dec 2024 16:30

Last post:6 days ago

Cataloguing the Rust community's awesomeness. #rustlang

Simon Marlow

@simonmar.bsky.social

648 followers, 177 follows, 23 posts

Registered:15 Nov 2024 07:29

Follow date:20 Dec 2024 08:21

I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.

🇨🇦 Joey Eremondi

@joeyeremondi.bsky.social

245 followers, 282 follows, 98 posts

Registered:20 Dec 2024 06:25

Follow date:20 Dec 2024 07:59

PL Researcher. Assistant Prof at University of Regina 🇨🇦 Trying to make dependent types a bit easier to use. Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.

Terence Tao

@teorth.bsky.social

7,637 followers, 154 follows, 60 posts

Registered:15 Nov 2024 03:17

Follow date:19 Dec 2024 10:26

Last post:22 Feb 2026

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...

Noam Zeilberger

@noamzoam.mathstodon.xyz.ap.brid.gy

41 followers, 1 follows, 45 posts

Registered:19 Nov 2024 06:12

Follow date:16 Dec 2024 07:57

Last post:22 hours ago

Last like received:6 hours ago

Computer science theorist and mathematician interested in the connections between things. Assistant professor in the LIX lab at Ecole Polytechnique. [bridged from https://mathstodon.xyz/@noamzo... on the fediverse by https://fed.brid.gy/ ]

Achim Blumensath

@blumensath.bsky.social

47 followers, 134 follows, 6 posts

Registered:4 Dec 2024 03:50

Follow date:13 Dec 2024 08:28

signal over noise

Matteo Capucci

@mattecapu.bsky.social

493 followers, 263 follows, 74 posts

Registered:15 Nov 2024 14:31

Follow date:1 Dec 2024 09:30

🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.

CAV

@confcav.bsky.social

102 followers, 76 follows, 10 posts

Registered:26 Nov 2024 00:10

Follow date:28 Nov 2024 13:56

37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25

arxiv math.LO

@arxiv-math-lo.bsky.social

171 followers, 0 follows, 2,046 posts

Registered:5 Oct 2023 13:06

Follow date:19 Nov 2024 09:16

Last post:27 Jan 2026

Mathematics -- Logic (math.LO) source: https://export.arxiv.org/rss/m... maintainer: @tmaehara.bsky.social

arxiv math.CT

@arxiv-math-ct.bsky.social

150 followers, 0 follows, 1,021 posts

Registered:5 Oct 2023 16:54

Follow date:19 Nov 2024 09:15

Last post:27 Jan 2026

Mathematics -- Category Theory (math.CT) source: export.arxiv.org/rss/math.CT maintainer: @tmaehara.bsky.social

Philip Zucker

@sandmouth.bsky.social

303 followers, 353 follows, 151 posts

Registered:23 Oct 2024 15:22

Follow date:18 Nov 2024 16:22

Last post:2 hours ago

Last like given:20 hours ago

Last like received:2 hours ago

Computer Friend, Not a Bird www.philipzucker.com

fryrsquared.bsky.social

@fryrsquared.bsky.social

18,325 followers, 8 follows, 5 posts

Registered:15 Nov 2024 14:30

Follow date:18 Nov 2024 13:12

Jacob S. Zelko

@thecedarprince.bsky.social

1,452 followers, 45 follows, 397 posts

Registered:30 Aug 2023 04:02

Follow date:18 Nov 2024 11:58

Last post:1 day ago

Last like received:2 hours ago

🤓: Applied Math & Biomed Engineer; Research Affl @usask.ca 🔎: Health informatics, public health, applied cat. theory & open source/science 📝: EN/ES/DE/AR 🌐: Blog @ https://jacobzelko.com 📹: Twitch @ https://www.twitch.tv/thecedar...

friedporkrice.bsky.social

@friedporkrice.bsky.social

230 followers, 68 follows, 195 posts

Registered:31 Aug 2023 16:13

Follow date:18 Nov 2024 11:58

Last post:21 Jan 2026

first as tragedy, then as memes

Nima Rasekh

@nimarasekh.bsky.social

149 followers, 32 follows, 99 posts

Registered:24 Dec 2023 16:02

Follow date:18 Nov 2024 11:58

Last post:10 hours ago

Last like received:5 hours ago

Mathematician at @unigreifswald.bsky.social Mathematics Research Scientist at Turing Lived in 🇩🇪🇮🇷🇨🇦🇺🇸🇨🇭 currently in 🇩🇪 He/Him/His Interested in: homotopy theory, category theory, formalization of mathematics, AI https://nimarasekh.github.io

dr. misses normal wife

@category-fury.bsky.social

2,554 followers, 484 follows, 3,783 posts

Registered:5 May 2023 02:50

Follow date:18 Nov 2024 11:58

Last post:7 hours ago

Last like given:7 hours ago

Last like received:53 minutes ago

I have a PhD in maths. I don't know what any of this shit is and I'm fucking scared.

Manuel Baltieri

@manuelbaltieri.bsky.social

830 followers, 305 follows, 133 posts

Registered:1 Sep 2023 13:40

Follow date:18 Nov 2024 11:58

Chief Researcher at Araya, Tokyo. #ALife, #AI, embodied and enactive #cognition. Information, control and applied category theory for cognitive science. https://manuelbaltieri.com/

Emilio Minichiello

@eminichiello.bsky.social

168 followers, 93 follows, 55 posts

Registered:16 Nov 2024 12:11

Follow date:18 Nov 2024 11:57

Assistant Professor of Mathematics. I like categories, spaces and algorithms. Emiliominichiello.com

Women In Logic

@womeninlogic.bsky.social

2,584 followers, 58 follows, 253 posts

Registered:2 Apr 2024 15:37

Follow date:18 Nov 2024 10:38

Last post:2 hours ago

Last like given:2 hours ago

Last like received:2 hours ago

Women in Logic: Dismantling inequality skeet by skeet. https://www.womeninlogic.org/

Dr. Kareem Carr, Ph.D.

@kareemcarr.bsky.social

19,332 followers, 22 follows, 172 posts

Registered:18 Apr 2023 23:04

Follow date:18 Nov 2024 09:50

Last post:4 Dec 2025

Statistician. PhD @Harvard • Masters degree in pure math • Follow me for fun, nerdy content. Sign up to my newsletter: kareemcarr.substack.com

Michael Kinyon

@profkinyon.bsky.social

1,557 followers, 764 follows, 1,096 posts

Registered:12 May 2023 07:33

Follow date:18 Nov 2024 09:49

Last post:13 minutes ago

Last like given:6 minutes ago

Last like received:7 minutes ago

Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Occasionally drop in at Mathstodon, but not as much as I used to.

Álvaro Lozano-Robledo

@mathandcobb.bsky.social

1,100 followers, 177 follows, 696 posts

Registered:31 Jul 2023 01:55

Follow date:18 Nov 2024 09:49

Last post:6 days ago

Last like given:20 hours ago

Last like received:20 hours ago

Professor of Mathematics, number theorist (arithmetic geometry), author, Hagoromo chalk ambassador, bonsai amateur. Views expressed are my own.

Artem Chernikov

@archernikov.bsky.social

1,428 followers, 798 follows, 52 posts

Registered:31 Jul 2023 09:23

Follow date:18 Nov 2024 09:48

Michael Brin professor of mathematics at the University of Maryland. Mathematical logic, model theory - and connections to combinatorics, algebra, etc. chernikov.me

Joshua Grochow

@joshuagrochow.bsky.social

2,439 followers, 493 follows, 1,542 posts

Registered:24 Jul 2023 16:59

Follow date:18 Nov 2024 09:48

Last post:3 days ago

Last like given:4 hours ago

Research: TheoryCompSci, pure math, complex systems Other: climate; covid; equity, inclusion, & accessibility Assoc. Prof. @ CU Boulder Comp. Sci. & Math Views my own @joshuagrochow@mathstodon.xyz (& prev twitter) https://home.cs.colorado.edu/~...

Lance Fortnow verified