You don’t need to solve the halting program, you just need a way to construct programs that halt (or close the connection), which is way easier. Many languages

You don’t need to solve the halting program, you just need a way to construct programs that halt (or close the connection), which is way easier. Many languages have some sort of `finally` or `with` construct tailored for this use case. Remember, we’re code writers, not arbitrary discriminators.