Maybe a web based client made it past their web filter. There's a lot of them out there.
Technology
This is the official technology community of Lemmy.ml for all news related to creation and use of technology, and to facilitate civil, meaningful discussion around it.
Ask in DM before posting product reviews or ads. All such posts otherwise are subject to removal.
Rules:
1: All Lemmy rules apply
2: Do not post low effort posts
3: NEVER post naziped*gore stuff
4: Always post article URLs or their archived version URLs as sources, NOT screenshots. Help the blind users.
5: personal rants of Big Tech CEOs like Elon Musk are unwelcome (does not include posts about their companies affecting wide range of people)
6: no advertisement posts unless verified as legitimate and non-exploitative/non-consumerist
7: crypto related posts, unless essential, are disallowed
Yes, use a proxy. Usually 443 is not blocked either, so an SSL encrypted solution is hard to block
A long time ago I used something like sockd to run a local proxy and then send that data to my personal remote proxy server over port 80, something like https://win2socks.com/ I think
Maybe there’s something better than socks these days.
Back then it worked pretty well, but I don’t think they were doing DPI. They (admin guys) did seem to notice large file transfers and seemed to be killing them manually.
I would assume most places these days will collect net flow data at least, so while https will protect the contents, they will be able to see the potentially unusual amount of data moving back and forth to your proxies IP.
I would suggest at least using a VPS to hide your schools IP address from the irc servers. And you may be in serious trouble if you get caught. If you’re in the UK you’re going to be risking jail time, and speaking from personal experience, they take this shit seriously.
So maybe just set up a personal hotspot.
An ssh tunnel over port 8080 might work
There's a few WebSocket solutions out there. Basically looks like a normal HTTPS connection to something that uses a WebSocket, so unless they're decoding TLS and the HTTP session and somehow recognizes that this is a VPN and block it, it'll likely go through.
It's not unheard of for the usual IRC ports to be blocked because it used to be used for botnets. Some servers may have different ports.
Just use a VPN. Proton VPN is a privacy-respecting and trustworthy provider with a pretty neat free plan, I used it for IRC many times, works very well. They have clients for pretty much every platform including Linux of course.
They block Proton as well. Pretty much every vpn I've tried they've blocked. Even niche ones.
You can try Riseup VPN, the VPN client has a unique feature where it uses Tor to bypass the block on the VPN server and then connects to the VPN. You can also just try using Tor through Orbot and with a bridge like Snowflake or request a custom bridge from the Tor Project.
I tried to access the site and I got websitw blocked by admin. I might have to wait till I get home to try it.