ec changed the topic of #elliottcable to: a π•―π–Šπ–“ 𝖔𝖋 π•―π–Šπ–™π–Šπ–—π–’π–Žπ–“π–Šπ–‰ π•―π–†π–’π–˜π–Šπ–‘π–˜ slash sΝ”ΜžuΝ•Ν™pΝ™Ν“e̜̺rΜΌΜ¦i̼̜oΜ–Μ¬rΜ™Μ™ c̝͉α»₯Μ§Ν˜αΈ·Μ‘Ν™Ε£Ν“Μ€ || #ELLIOTTCABLE is not about ELLIOTTCABLE
eena has joined #elliottcable
mylesborins has quit [Ping timeout: 255 seconds]
meena has quit [Ping timeout: 255 seconds]
ELLIOTTCABLE has quit [Ping timeout: 255 seconds]
ELLIOTTCABLE has joined #elliottcable
pelegreno has quit [Remote host closed the connection]
mylesborins has joined #elliottcable
pelegreno_ has joined #elliottcable
pelegreno_ has quit [Excess Flood]
pelegreno_ has joined #elliottcable
joepie91___ has joined #elliottcable
joepie91___ has quit [Changing host]
joepie91___ has joined #elliottcable
joepie91 has quit [Ping timeout: 258 seconds]
joepie91___ is now known as joepie91
mylesborins has quit [Quit: farewell for now]
mylesborins has joined #elliottcable
kier has quit [Ping timeout: 240 seconds]
kier has joined #elliottcable
cmeik has quit [Read error: Connection reset by peer]
cmeik has joined #elliottcable
<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
<ELLIOTTCABLE> pikajude: I just saw a talk on this!
<ELLIOTTCABLE> pikajude: what for?
<jfhbrook> oh fun
<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?
<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?
<ELLIOTTCABLE> oh I somehow mis-read that as you looking for *how* incorrect the float representation would be
<purr\GH> [ocameel] ELLIOTTCABLE pushed 1 new commit to master: https://github.com/ELLIOTTCABLE/ocameel/commit/639a267bbd4adc24515dfd0a13901d0e4570d0fc
<purr\GH> ocameel/master 639a267 ELLIOTTCABLE: + building towards a built runtime ...
<purr\GH> [ocameel] ELLIOTTCABLE pushed 1 new commit to master: https://github.com/ELLIOTTCABLE/ocameel/commit/701c19d2c2c5029ea5a8b432eaaec4e7c64b2b11
<purr\GH> ocameel/master 701c19d ELLIOTTCABLE: + instructions 4 myself
<ELLIOTTCABLE> well holy crap
<ELLIOTTCABLE> I just finagled my way into getting school credit for my terrible compiler plan?????
<ELLIOTTCABLE> holy shit this is good news
<jfhbrook> oh sick