I'm currently in a "business hack and chat" meeting with some Recurse Center alumni! I'm gonna spend 45 minutes looking for people chatting about improving with formal methods (instead of just using the term colloquially or publishing papers about their use.) My hit list: look around on subreddits, then look in some tool-specific forums to see if there are newbies there. I'm thinking Alloy and TLA+ to start, but maybe I'll find more around the edges.
