Following
@derived-kai.bsky.socialVít Tuček @tucek.bsky.social mathematician (differential geometry, representation theory), data analyst and Python developer
Ioannis Kontoyiannis @kontoyiannis.bsky.social Information theory, probability, statistics. Churchill Professor of Mathematics of Information @UofCambridge: dpmms.cam.ac.uk/person/ik355/ 🧮 #MathSky 🧪 #Science [used to be @yiannis_entropy at the other place]
Patrick Shafto @patrickshafto.bsky.social Prof: Rutgers; Program Manager: DARPA; Scientist-at-Large: Redpoll. Math! Machine learning! Cognitive Science!
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
ささゆー @33u.bsky.social ブルスコ
うさ太郎 @usataro.bsky.social 世界のメディアザッピングでした。
Bluesky @bsky.app official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app