IRC network libera.chat was registered on netsplit.de in May 2021. Since that time our data collector regularly connects IRC network libera.chat to determine its key performance indicators, such as its number of users and its number of chat rooms (IRC channels). On this occasion a list of visible (not private) chat rooms is requested too.
During last connections to libera.chat its servers reported an average of 31708 users and 22368 chat rooms. Use the following menu to get more information about IRC network libera.chat!
Chat Room - 62 users -
136 minutes ago -
current topic: Martin-Löf intuitionistic type theory | https://archive-pml.github.io | https://github.com/dpndnt/library | https://tinyurl.com/sywtltt | <dolio> The 'real number' is not the thing you measure, it's the idealization of the process of making infinitely many, ever more precise measurements. | <ames> i think all of you seriously misunderstand what existing is like
network: Libera.Chat
Chat Room - 61 users -
136 minutes ago -
current topic: LFS 13.0 -- Welcome to LFS Support. Please read the FAQ and search mailing lists first. Use https://bpaste.net for pastes. Any deviations from the book shall be discussed immediately. Please ask your question and wait for an answer, don't expect a response straight away. Friendly chat/offtopic in #lfs.
network: Libera.Chat