15:28 <ELLIOTTCABLE> Was really interesting to accidentally stumble across this, when I'm *just starting* a scheme implementation — with no idea what I'm doing, lol

15:28 <ELLIOTTCABLE> https://reddit.com/r/learnprogramming/comments/745ep2/ama_ive_been_leading_a_student_team_implementing/dnvqkak/?context=3

15:29 <ELLIOTTCABLE> pikajude: I just saw a talk on this!

15:29 <ELLIOTTCABLE> pikajude: what for?

15:29 <jfhbrook> oh fun

15:30 <ELLIOTTCABLE> pikajude: and if you mean checking a particular number — well, if you *have* such a number, it must be a rational, no? because it wouldn't be representable as a float, thus you couldn't *have* it in a programming environment to be asking this question?

15:31 <ELLIOTTCABLE> in such a case, evaluate it to a float, then represent the float as a rational, then add the least-representable-difference (I forget the name, lol) to get the next float, represent *that* as a rational, then solve for the difference?

15:31 <ELLIOTTCABLE> oh I somehow mis-read that as you looking for *how* incorrect the float representation would be

19:37 <purr\GH> [ocameel] ELLIOTTCABLE pushed 1 new commit to master: https://github.com/ELLIOTTCABLE/ocameel/commit/639a267bbd4adc24515dfd0a13901d0e4570d0fc

19:37 <purr\GH> ocameel/master 639a267 ELLIOTTCABLE: + building towards a built runtime ...

19:39 <purr\GH> [ocameel] ELLIOTTCABLE pushed 1 new commit to master: https://github.com/ELLIOTTCABLE/ocameel/commit/701c19d2c2c5029ea5a8b432eaaec4e7c64b2b11

19:39 <purr\GH> ocameel/master 701c19d ELLIOTTCABLE: + instructions 4 myself

20:36 <ELLIOTTCABLE> well holy crap

20:36 <ELLIOTTCABLE> I just finagled my way into getting school credit for my terrible compiler plan?????

20:36 <ELLIOTTCABLE> holy shit this is good news

20:37 <jfhbrook> oh sick