News for hackers. Stuff that matters.

A comment on Now I’m calculating with constructive reals. Parent comment

Re:Now I’m calculating with constructive reals by svat on Tuesday April 26, 2022 @11:00PM (#31175816)
The Wikipedia article is (or was) quite good: https://en.wikipedia.org/wiki/0.999...
[ Parent | on HN ]

There are no comments on this comment yet.