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