Thanks for this! I tried joining a few other channels on Libera like #robotics and ##typetheory but they’re kinda dead. Usenet Newsgroups are also all spam. Wil

Thanks for this! I tried joining a few other channels on Libera like #robotics and ##typetheory but they’re kinda dead. Usenet Newsgroups are also all spam. Will check it out.