DIGIPIN: an address for every 4-metre square

A case study that designs a GeoHash-based location service around DIGIPIN's goal: a 10-character code for every small square of India, worked out from latitude and longitude, served through edge and Redis caches, PostGIS partitioned by state, and three regions that survive a lost database.