There are several places where one can talk about Ironclad, be it for development, talking about bugs, or just chitty chatter. This page lists official channels of communication, that is, channels that comply with the conduct and communication guidelines of the project.
There's an official discord server (proprietary software!).
https://discord.gg/uTughVXwbd.
There's an official matrix server hosted at ironclad:matrix.org.
Ironclad has several mailing lists hosted on GNU savannah:
Check these presentations about Ironclad!