Hi

I guess this is mostly for phoe...

What is the status of the IRC channels?  I think I lost some bits during the year.

Also, anybody interested in a Discord channel or a groups.io group?

Happy holidays (especially Festivus)

--
Marco Antoniotti, Professor                           tel. +39 - 02 64 48 79 01
DISCo, Università Milano Bicocca U14 2043   http://dcb.disco.unimib.it
Viale Sarca 336
I-20126 Milan (MI) ITALY