Dan Marsden

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

@anujdawar.bsky.social

Tom Gur

@tomgur.bsky.social

John C. Baez

@johncarlosbaez.bsky.social

Ulrich Pennig

@pennigulrich.bsky.social

Bob Coecke

@coecke.bsky.social

@emilyriehl.bsky.social

Mehmet Mars Seven ♞

@mehmetmars7.bsky.social

Lean Focused Research Organization

@lean-lang.org

Computerphile

@computerphile.bsky.social

Simon Burton

@fridaysimon.bsky.social

Matt Macauley

@visualalgebra.bsky.social

Alexandra Silva

@xanovsky.bsky.social

Lawrence Paulson

@lawrpaulson.bsky.social

Ed Hollox

@edhollox.bsky.social

Combinatorics

@combinatorics.bsky.social

Timothy Gowers

@wtgowers.bsky.social

Journal of Functional Programming

@journal-of-fp.bsky.social

Max Little

@maxal.bsky.social

Haskell programming language

@haskell.org

This Week in Rust

@thisweekinrust.bsky.social

Simon Marlow

@simonmar.bsky.social

🇨🇦 Joey Eremondi

@joeyeremondi.bsky.social

Terence Tao

@teorth.bsky.social

Noam Zeilberger

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

Achim Blumensath

@blumensath.bsky.social

Matteo Capucci

@mattecapu.bsky.social

CAV

@confcav.bsky.social

arxiv math.LO

@arxiv-math-lo.bsky.social

arxiv math.CT

@arxiv-math-ct.bsky.social

Philip Zucker

@sandmouth.bsky.social

@fryrsquared.bsky.social

Jacob S. Zelko

@thecedarprince.bsky.social

@friedporkrice.bsky.social

Nima Rasekh

@nimarasekh.bsky.social

dr. misses normal wife

@category-fury.bsky.social

Manuel Baltieri

@manuelbaltieri.bsky.social

Emilio Minichiello

@eminichiello.bsky.social

Women In Logic

@womeninlogic.bsky.social

Dr. Kareem Carr, Ph.D.

@kareemcarr.bsky.social

Michael Kinyon

@profkinyon.bsky.social

Álvaro Lozano-Robledo

@mathandcobb.bsky.social

Artem Chernikov

@archernikov.bsky.social

Joshua Grochow

@joshuagrochow.bsky.social

Lance Fortnow

@lance.fortnow.com

Quanta Magazine

@quantamagazine.bsky.social

Evelyn Lamb

@evelynjlamb.bsky.social

Steven Strogatz

@stevenstrogatz.com

Jay Cummings

@longformmath.bsky.social

Nalini Joshi

@monsoon0.bsky.social