[optimalsolver]

Thank God there's still Reddit.

[mulmen]

Or, you know, IRC.

irc.libera.chat is the new Freenode.