@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@addyosmani.bsky.social
Engineering lead working on Google Chrome. I want you to win :) For more on what I'm up to, I'm at addyosmani.com
@aniva.bsky.social
🔗 https://leni.sh, https://pixelfed.social/chrysoberyl 🔧 Researcher in Machine Assisted Theorem Proving in Stanford University Centaur Lab ☯️ Director of NorCal Hakkero Factory No. 1 (I make cosplay props) ❄️ I post both research and cosplay content #pinksky
@chaosmonster.bsky.social
Web developer (Angular enthusiast) and dedicated knowledge worker with a passion for Zettelkasten. Navigating a love/hate relationship with math and machine learning . Politically conscious human. He/Him
@littmath.bsky.social
Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@neugierig.org
I aim to mostly use this account to announce the blog posts found on my website: https://neugierig.org