Toby Murray

@tobycmurray.bsky.social

Yihui Quek

@quekpottheories.bsky.social

Arindam Khan

@arindamkhan.bsky.social

Nicole Yunger Halpern

@nicoleyh11.bsky.social

Alon Eden

@aloneden.bsky.social

Jalaj Upadhyay

@jalajupadhyay.bsky.social

Lily Wang

@lilyxy.bsky.social

@gil-kalai.bsky.social

Nisheeth Vishnoi

@nisheethvishnoi.bsky.social

Lean Focused Research Organization

@lean-lang.org

Gary H

@garytho.bsky.social

Ali Vakilian

@avakilian.bsky.social

@sorrachai.bsky.social

Ben Brubaker

@benbenbrubaker.bsky.social

Dan Garisto

@dangaristo.bsky.social

dan

@danabra.mov

Rod Van Meter

@rdvquantum.bsky.social

Gary Marcus

@garymarcus.bsky.social

Shreyas Srinivas

@lean-samaritan.bsky.social

Hanlin Ren

@h4n1in.bsky.social

D. Sivakumar

@dsivakumar.bsky.social

@karthikcs.bsky.social

Steven Strogatz

@stevenstrogatz.com

Nicole Wein

@nicolewein.bsky.social

Cameron Musco

@cnmusco.bsky.social

Daniel Kane

@daneelssoul.bsky.social

Aram Harrow

@harrowing.bsky.social

Justin Chen

@justinychen.bsky.social

daphne

@hamelinny.bsky.social

Chris Peikert

@chrispeikert.bsky.social

Yunfan

@afanofficial.bsky.social

@chinholee.bsky.social

CU Boulder CS Theory

@bouldertheory.bsky.social

Noah Stephens-Davidowitz

@noahsd.bsky.social

Simons Institute for the Theory of Computing

@simonsinstitute.bsky.social

Aviad Rubinstein

@aviad-rubinstein.bsky.social

Ian Mertz

@iwmertz.bsky.social

@lglinskih.com

Taylor Smith

@taylorjsmith.bsky.social

Pavel Veselý

@pavelvesely.bsky.social

SLMath (MSRI)

@mathmoves.bsky.social

algorithms.fi

@algorithms.fi

Juspreet Singh Sandhu

@freegaussians.bsky.social

Lichen Zhang

@lichenzlichenz.bsky.social

@sushnt.bsky.social

Iván Soto

@ivsoto.bsky.social

Jason Lee

@jasondeanlee.bsky.social

Soheil Behnezhad

@behnezhad.bsky.social

Samson Zhou

@szhoucs.bsky.social

anthony-leverrier.bsky.social

@anthony-leverrier.bsky.social