https://hackerpaper.kaipfister.de/p/2007.11517/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=29703166urn:hackerpapers:mention:2007.11517:29703166Mon, 27 Dec 2021 15:21:40 GMT<p>This is fair - there are a decent number of details omitted here. However, a lot of the details are hidden inside the proof that an IFS has a unique fixed point. At least to me, this &quot;proof&quot; is nice because it converts a non-obvious procedure (taking midpoints) into a &quot;standard&quot; procedure (the IFS construction). A sketch of the argument in the IFS goes like this: consider the set of maps {f1, f2, f3} as acting on compact subsets of R^2 by the action F -&gt; f1(F) U f2(F) U f3(F). Since the maps fi are continuous, the image is a compact set. But one can also prove that this action is a…</p><p><a href="https://hackerpaper.kaipfister.de/p/2007.11517/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.DS