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 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 threadcurche
@shriramk
Holy shit, that's amazing.
Nov 6 at 11:07pmWeb