By the way, I run the https://reddit.com/r/ponylang https://reddit.com/r/ponylang subreddit. I mentioned it a long time ago on the mailing list trying to get so

By the way, I run the https://reddit.com/r/ponylang https://reddit.com/r/ponylang subreddit. I mentioned it a long time ago on the mailing list trying to get someone from the Pony team to join as a moderator, but don't think it ever fully panned out. If anyone on the team is interested, feel free to PM me on Reddit.