Besides the boolprop discord server, are there any other people would recommend? I'd prefer something that's focused on challenges or has a dedicated space for those. Thank you!