[Linkpost] “Constructive Cauchy sequences vs. Dedekind cuts” by jessicata | LessWrong (30+ Karma) | Podwise