How Many Decimals of Pi Do We Really Need?462 points by bouncingsoulRead the articleDiscussion on Hacker News