Raj Raizada @rajraizada.bsky.social Math + coding educator in NYC. Used to be university prof doing neuroscience, far happier in math ed. I enjoy making math games, in Desmos and also p5play. rajeevraizada.github.io
Maris Ozols @marisozols.bsky.social Associate professor at the University of Amsterdam and senior researcher at QuSoft working on quantum computing.
Alfred Lentzsch @alentzsch.bsky.social Scientist @JohnsHopkins
Ribosomes and enzymes
Harmonic @harmonic.fun Building Mathematical Superintelligence
Harry Khanna @harrykhanna.bsky.social Member of the Democratic National Committee, Virginia Democratic Party, Lawyer, Computer Programmer
SLMath (MSRI) @mathmoves.bsky.social The Simons Laufer Mathematical Sciences Institute (SLMath) in Berkeley, California (formerly MSRI). Learn more at slmath.org or http://linktr.ee/mathmoves. 
@streamlight.bsky.social @streamlight.bsky.social 
Adam Marblestone @adammarblestone.bsky.social Technologist, scientist. Co-founder of Convergent Research.
PreetiRang Sanctuary @preetirangsanct.bsky.social Farmed animal Sanctuary. We give high touch tours. Suisun City California PreetiRangSanctuary@gmail.com
Ashley Blacquiere @ashblacquiere.bsky.social Ops @leanprover
Cinjon @cinjon.bsky.social 
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
$NOWDEN MEME COIN @freesnowden.bsky.social In anticipation of Edward Snowden’s forthcoming pardon by President Trump, we’re launching the 'Welcome Home, Edward!' meme coin, a tribute to Snowden’s fight for transparency, freedom, and privacy. 
David Pfau @davidpfau.com So far I have not found the science, but the numbers keep on circling me.
Views my own, unfortunately.
Gian 💭🎙️ @gianlussl.bsky.social ItaloArgento en 🇪🇸 / 27 años. / Profesor de Historia y Osteópata / publico fotos de mi día a día y extractos de libros que me gustan.
Pietro Monticone @pietromonticone.bsky.social AI for Mathematics @HarmonicMath || Formalising Mathematics and Software in @LeanProver || Developing Free Open Source Software in #Lean, #Python and #Julia.