Shriram KrishnamurthiNov 6

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).

Show threadcurcheNov 6

@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

calculator-app - Chad Nauseam Home

"A calculator app? Anyone could make that." (this was originally a https://x.com/ChadNauseam/status/1890889465322786878, and has since been turned into an asterisk article) "A calculator app? Anyone …

Chad Nauseam Home
Show threadShriram Krishnamurthi
@curche That blog post is the best thing in that genre tha I know on this topic and its history.
Nov 6 at 9:36pmWeb
Show threadcurcheNov 6
@shriramk
Oh shit lol!! That's great to know, I keep coming back to it to re-read it and am happy that its now available as a blog post.