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