Hello everyone, As we briefly discussed at our workshop in San Francisco, we now have a IRC channel on Freenode for Noise: #noiseprotocol #noise was already taken so I picked a name that resonated with the domain. Please join :) Thanks, Gerardo