Followers
@jameshaydon.bsky.social- I Agnishom @isomorphism.xyz
Sam Derbyshire @samderbyshire.bsky.social Cohomology enthusiast. I've seen rings you people wouldn't believe.
maonu @vem.bsky.social math, religion
Daniel King @kin.gy Software man and pamphleteer. Probably the most famous of all WIZARDS.
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community! Here we talk about community updates, software engineering and the joy of programming. Find us on https://haskell.org and https://blog.haskell.org
kei @thelissimus.bsky.social type theory / compilers / specifications / yeuleholic
Ichiro Hasuo 蓮尾 一郎 @ichirohasuo.bsky.social 情報学の研究者・大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証． 国立情報学研究所，総合研究大学院大学，株式会社イミロン，他 https://group-mmm.org/~ichiro/
Julian K. Arni @jkarni.bsky.social