maybe i am not the only one, who would like to talk on maxima-topics
more direct ...
server : irc.freenode.net
port : 6667
channel: #maxima
from http://freenode.net/faq.shtml
"When do IRC channels expire? IRC channels are considered to be expired
when their primary and alternate channel contact nicknames are expired.
We occasionally drop expired channels and nicks in a large run, designed
to clean out the databases. We also drop nicks which are considered to
be expired on an individual basis, either on request or when we notice
them. If a channel contact's nick and the alternate contact's nick are
dropped, the associated channel will be dropped along with them.
Subject to resource availability, staff may occasionally monitor
channels whose contact nickname registrations are not expired, in the
interest of determining whether the channels are actually active. If a
channel has no activity or has no conversation for a period of 60 days,
it may be considered to be expired.
This process will be replaced with a more direct request process when we
move from services to Registry. "
Ciao,
Robert
--
Dipl.-Phys. Robert Gloeckner
Research Assistant
Deutsches Kunststoff-Institut DKI
German Institute for Polymers
Department of Technology
Schlossgartenstr. 6
D-64289 Darmstadt, Germany
phone +49(0)6151 - 16 6516
fax +49(0)6151 - 29 2855
http://www.DKI-online.de
GnuPG-Key: 1024D/9A0A2D72