Hacker News Reader

Rewrite your functions to be generator functions. They don't even need to be based on the desired level of precision to always be decidable.

Not sure what your point is. I can just suggest to see the PDF: https://news.ycombinator.com/item?id=18411935