Text this: Generic algorithms for halting problem and optimal machines revisited