• by ChadNauseam on 2/16/2025, 1:14:48 AM

    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