Remember that Gab is a sinking ship and they're basically grabbing onto Mastodon like a parasite in a desperate attempt to get attention from the "drama" of doing so.

https://www.thedailybeast.com/gab-is-in-full-meltdown-and-founder-andrew-torba-blames-the-deep-state

Torba has no self-awareness to see how pathetic it looks that his master race ass is incompetent at making a working website so he has to resort to using software made by a Jew instead.

App devs will block their domains, server admins will block their domains, and that'll be the end of that.

Epilogues:

- Obviously, we can determine if some programs halt, by human analysis or programs that look for certain patterns, but it's impossible to do it for every program.

- This is why you'll see folks use programming languages like Coq and MISRA C that are specifically not Turing complete, and in fact can be proven to halt within a certain amount of time. This sort of thing is used for hard real time applications like air traffic control towers where you absolutely have to do the thing in 50 milliseconds or the plane crashes.

- Your computer isn't exactly a Turing machine because it has finite memory, but close enough.