Following

Goooler

@Goooler@androiddev.social

Joseph Myers

@jsm28@mathstodon.xyz

Lean

@leanprover@functional.cafe

Terence Tao

@tao@mathstodon.xyz

Typelevel

@typelevel@fosstodon.org

Martynas Petuška

@BigChungus@kotlin.social

David Herman

@bitspittle@fosstodon.org

Briar Project

@briar@fosstodon.org

Torsten Grote

@grote@chaos.social

Scala

@scala_lang@fosstodon.org

Haskell Weekly

@haskell_discussions@mastodon.social