I personally don't rely on push notifications too much, but I know the lack of push notification support for IRC is a huge deal for some, so I've… hm… made this.
Let's see how it goes.
@wolf480pl Well, that's an intrinsic issue with Web Push. IRC servers have rate limiting, and Web Push standards describe some rate limiting techniques as well.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!