Real numbers as Cauchy sequences don't work (2015) | Hacker News Reader