More specifically, I was wondering what the algorithm would be for such a feat. One of the yc comments has a layman description linked from wikipedia

http://en.wikipedia.org/wiki/GPS_signals#Demodulation_and_de...