[–] ChadNauseam 1y ago ↗ Haha, this is my thread. There’s a typo in the second tweet. Unfortunately there’s no way to edit threads on twitter.> (10^100) + 1 − (10^100) is 0, not 1.I should have said: (10^100) + 1 − (10^100) is 1, not 0.One other error is here:> I asked for 2π to within 0.01 decimals, so you need an approximation of π that's within 0.005 decimals.“0.01 decimals“ and “0.005 decimals“ should have simply been “0.01” and “0.005” respectively.I hope everyone enjoys! The original “API for the real numbers” paper is here: https://dl.acm.org/doi/pdf/10.1145/3385412.3386037Someone is also implementing it in rust: https://crates.io/crates/realistic [–] D13Fd 1y ago ↗ > (10^100) + 1 − (10^100) is 0, not 1.I came to ask about this. I was confused for the whole article about how this could possibly be 1.
[–] D13Fd 1y ago ↗ > (10^100) + 1 − (10^100) is 0, not 1.I came to ask about this. I was confused for the whole article about how this could possibly be 1.
2 comments
[ 3.2 ms ] story [ 17.3 ms ] thread> (10^100) + 1 − (10^100) is 0, not 1.
I should have said: (10^100) + 1 − (10^100) is 1, not 0.
One other error is here:
> I asked for 2π to within 0.01 decimals, so you need an approximation of π that's within 0.005 decimals.
“0.01 decimals“ and “0.005 decimals“ should have simply been “0.01” and “0.005” respectively.
I hope everyone enjoys! The original “API for the real numbers” paper is here: https://dl.acm.org/doi/pdf/10.1145/3385412.3386037
Someone is also implementing it in rust: https://crates.io/crates/realistic
I came to ask about this. I was confused for the whole article about how this could possibly be 1.