EYG: The stable foundation for software that runs forever

So the halting problem is solved? I don't think so. Let's continue to make software better without resorting to impossible claims.