[ysangkok]

The Gay Haskell discord server has a channel for dependent types. There is also a discord server for Type Theory Forall, a podcast.