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.3386037
Someone is also implementing it in rust: https://crates.io/crates/realistic
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.3386037
Someone is also implementing it in rust: https://crates.io/crates/realistic