ProofTree @prooftree.bsky.social The workspace for mathematicians and AI to reason together. The infrastructure for verified human-AI reasoning.
Neosis @neosis-strategy.bsky.social Strategy for the world that is coming
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
Dr. Thorsten Fuchs @thorfuchs.bsky.social PhD Mathematician, Panta Rhei Research Program. Former McKinsey, Microsoft, AWS & ServiceNow.
https://panta-rhei.site
Maris Ozols @marisozols.bsky.social Associate professor at the University of Amsterdam and senior researcher at QuSoft working on quantum computing.
Dysthesis @dysthesis.bsky.social 
tolmix @tolmix.bsky.social tolmix.com: The first A.I.R. network (Augmented Intelligent Reality)
3D AI/VR on ALL screens with AND without headset
.. the edge of 2D-net a bridge to 4D-worlds ..
Nucleus Fuselius @nfuselius.bsky.social Nucleus Fuselius, Director of Philosophy @ tolmix.com
📜 tolmix.com/Fusion-Punk-Aesthetics
Adolfo Neto @adolfoneto.elixiremfoco.com Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
Merlin @librarywyvern.bsky.social He. Weeby walking infohazard. Likes whisky & creepy shit. Knows stuff about needlework. Stuck between 1900 & Cyberpunk. Genderfluid bastard. NSFW. AuDHD.
@streamlight.bsky.social @streamlight.bsky.social 
Yuri Not Igor @ydewit.bsky.social Cryptic posts in general
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet- D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
Ashley Blacquiere @ashblacquiere.bsky.social Ops @leanprover- R Riccardo Brasca @riccardobrasca.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 
Orpheus Lummis @orpheuslummis.info Advancing AI safety through convenings, coordination, software, analysis
Founder of HΩ (https://horizonomega.org), based in Montréal
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
HOUSE PORN @housepn.bsky.social 🏠 Discover cool houses and spaces.
🌐 436,000+ followers across socials.