Improving urban GPS quality using 3D maps, probability, and math | Hacker News Reader