News for hackers. Stuff that matters.

A comment on How many decimals of pi do we need? (2016). Parent comment

Re:How many decimals of pi do we need? (2016) by corsac on Sunday July 03, 2022 @11:12AM (#31968293)
No doubt it's directly mentioned in that blasted library too, along with any number of perfect refutations.
[ Parent | on HN ]

There are no comments on this comment yet.