Hacker News new | past | comments | ask | show | jobs | submit
keithnz | on: πFS
isn't this relying on properties that aren't proven about pi? it needs to be disjunctive or normal, and neither of those are proven