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