Ask HN: Websites, Forums, etc. for Discussing Type Theory and PLT

I think the title gets right to the point, but in case more info would be useful… I am looking for something like Lambda-the-Ultimate seems to have been during its truly active days, somewhere to discuss/learn/find references type theory, programming language theory, and category theory. I’m not a huge fan of stackoverflow in terms of just asking throwing questions into the void and having less than satisfactory means to continue a discussion, and Reddit has been pretty bare in terms of subreddits that I could find. Anyone with suggestions please chime in and if anyone has another specific area they are looking to get similar references for let’s hear those too.