Oh good! Someone from the @racketlang community can weigh in on the benefits.
Oh wait…
Anyway, sooner or later the time for computable reals will come. I'm still HODLing stock in continued fractions (and teaching them every year to my first-year students).
@shriramk
Have you previously written or know any blog posts related to computable reals? Always looking to learn more.
Sidenote: a while back there was a hit twitter thread about android's calculator app. Its also available verbatim in a website but felt easier to read the thread. Is this relevant in some way 🤔
https://chadnauseam.com/coding/random/calculator-app
Shriram Krishnamurthi
curche