How Many Decimals of Pi Do We Need?

1 points by thunderbong 4 hours ago

gnabgib 4 hours ago

(2016) Popular in:

2022 (203 points, 173 comments) https://news.ycombinator.com/item?id=31944705

2020 (149 points, 148 comments) https://news.ycombinator.com/item?id=24616797

2016 (462 points, 121 comments) https://news.ycombinator.com/item?id=11316401