Probability two skaters are equal, to 3rd decimal places, after 4 distances? | Hacker News Reader