IRC Server (XY)

Specs: Debian 10 x64, 2vCPUs, 4GB Memory, 2x 25GB SSD, IPv4

These services are offered to friends and colleagues on a good-faith basis. You are expected to uphold gratious community standards, and follow all rules while using these service offerings. Additionally, please be considerate of resource sharing. You are welcome to upload media through the TheLounge instance, but be mindful of your bandwidth and storage allocation.

If you are experiencing instability with the services, please write an email to the address provided below explaining your experience.

I am happy to provide these services to promote the longevity and ease-of-use. These will only continue to be maintained (and grow) if the community likewise acts with consideration and respect. Please think of how your behavior affects others before you send that post!

Thank you!

Brett Gilio <>

Abuse of these services will result in a permanent restriction on your ability to use the services provided on this hostname.

If you have experienced abuse on IRC from a member of this hostname, please write an email with sufficient evidence explaining the situation. The correct course of action will be applied based on the evidence of abuse. I thank you for following this procedure, rather than laying a hostname-wide ban.

1 Generic Setup for ZNC

  • Ensure that your nickname on IRC is registered with Nickserv before proceeding, and then disconnect all active sessions
  • Navigate to
  • Login using username : temppass (Username is the one you provided)
  • Navigate to “Your Settings”
  • Change your password, press save
  • Fill out “IRC Information” (Leave defaults on any field you do not understand)
  • Under “Networks”, click “Add”
  • On “Servers of this IRC network”, click “Add”
  • Provide the hostname of the IRC server (example: Freenode is, without a password)
  • Under modules, enable nickserv and supply your authentication password in the box
  • Press save

To connect to this network from your IRC client, you can set the server password field as <zncuser>/<network>:<password> or username field as <zncuser>/<network>.

Optionally, you may wish to uncheck the flags for “Auto Clear Chan Buffer” and “Auto Clear Query Buffer” to retain buffer playback. You may also wish to tweak buffer sizes, and CTCP request responses. For details on other ZNC modules you may click the name of the module to load documentation. ZNC is very versatile and powerful, additional features like “detaching” is preferable to parting channels you are not currently watching. Learn more on the ZNC website.

2 Access TheLounge on Desktop

  • Navigate to
  • Login using username : temppass (Username is the one you provided)
  • Add your ZNC/IRC networks (modifying the server field)
  • Navigate to settings
  • Change your password

3 Use TheLounge as a Mobile Client

  • Navigate to on your mobile device
  • Login using username : temppass (Username is the one you provided)
  • In your browser options, add the webpage to your homescreen as an application
  • Open the new application from your homescreen
  • If you have not already, add your ZNC/IRC networks
  • Navigate to settings
  • Enable push notifications and browser notifications
  • Change your password

4 Accessing XY IRC Server

(X.Y) is a public IRC server dedicated to free software, functional programming, and constructive / categorical mathematics.

  • In your favorite IRC client, set the host with port 7097 for TLS encryption
  • Select your nickname
  • Connect
  • Register your nickname using /msg nickserv register <password>

5 Accessing the Mumble Server

  • In your mumble client, set the address to with port 64738
  • Establish your username, and set a label you will remember
  • Press “OK”
  • Select the entry, and press “Connect”
  • Under “Self” click “Register”