This is not true, many are moving to OFTC. But the obvious answer is, Libera is run by the ex-freenode staffers, and runs on the same software. (Unlike OFTC)
So Libera is basically Freenode's spiritual successor with a different name.
> XMPP & Matrix bridge together fairly well these days.
I want to test this claim. After an hour of google searching I'm none the wiser:
1. Can I bridge private messages, or just MUCs? I use XMPP only to keep in contact with friends that use XMPP. I would love to integrate them into a single client, but afaict it does not appear possible.
2. Do I have to run my own XMPP bridge, or is there some automatic integration service I'm completely missing? For comparison, the experience of bridging a matrix room to IRC was as easy as clicking "add new bridge" in the Element UI.
Some languages, like Haskell, let you extend the numerical types to whatever representation works well for your causes. A few years ago I wrote a library for embedding units of measure into every figure (at the type level), including e.g. auto-converting between units.
It's somewhat bitrotten but it may still be interesting if you're into this sort of thing: See [1] for an example of how it looks in practice.
So Libera is basically Freenode's spiritual successor with a different name.