For anyone coming across this old topic (e.g. in searches): The IRC channel has been moved to the new Libera.chat network. See Arduino IRC channel moved to Libera.chat for details.
For anyone coming across this old topic (e.g. in searches): The IRC channel has been moved to the new Libera.chat network. See Arduino IRC channel moved to Libera.chat for details.