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 31812 users and 22381 chat rooms. Use the following menu to get more information about IRC network Libera.Chat!
Chat Room - 64 users -
38 minutes ago -
current topic: PROgrammation en LOGique | SLOW MOTION CHANNEL: Ask, wait; check back | Tutorial: https://amzi2.com/AdventureInProlog | Power of Prolog: https://metalevel.at/prolog | Try online: https://swish.swi-prolog.org | Channel bot help: ?help | Suggested coding practices: https://arxiv.org/pdf/0911.2899.pdf
category: Prolog -
network: Libera.Chat
Chat Room - 64 users -
38 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 - 63 users -
38 minutes ago -
current topic: Welcome, #windows-social is once more open. You get the idea, you can swear, but DON'T shorten words to 1 letter or you will be terminated. | Guidelines https://libera-windows.com - https://youtu.be/oyoy2_7FegI <- not important :)
category: Microsoft Windows -
network: Libera.Chat
Chat Room - 63 users -
38 minutes ago -
current topic: burning fingers since '08 | https://sanitarium.net/rsyncfaq/ | for help with rsync and (if you're lucky) derived tools | DO: post full command line & errors, see what -i thinks, read manpage & google, wait for answer
network: Libera.Chat
Chat Room - 63 users -
38 minutes ago -
current topic: Ledger, the command-line double-entry accounting program | Home: http://ledger-cli.org | Bug tracker: http://bugs.ledger-cli.org | Mail list: http://list.ledger-cli.org | FAQ: https://github.com/ledger/ledger/wiki/FAQ | Channel help: https://github.com/ledger/ledger/wiki/ledger-IRC-channel | Gitter: https://gitter.im/ledger
category: Finance -
network: Libera.Chat