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 threadcurche

@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
Nov 6 at 7:58pmWeb
Show threadcurcheNov 6
Also my only (indirect) experience with gnu multi precision was it as a dependency to another c++ library and me failing spectacularly to get it working on both MacOS/clang & RHEL/gcc 😔
Show threadShriram KrishnamurthiNov 6
@curche Ha, no, but I'm probably one of the very few people who ran the *original* Böhm arbitrary precision calculator — Hans had left Rice but an old binary of his Russell programming language was still around on the SPARC machines, and I used to use it to play with its wacky types…and as a calculator. (-: This is what I wanted to do a PhD in, but the time for it had passed. )-:
Show threadcurcheNov 6
@shriramk
Holy shit, that's amazing.
Show threadShriram KrishnamurthiNov 6
@curche That blog post is the best thing in that genre tha I know on this topic and its history.
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.