I don't think this page hits the nail right on the head. A higher resolution is not about being "bigger", it's about being *sharper*.
This animated GIF makes it obvious.
(the above bit was added by Johsin18 on 29 December 2017)
- Yes, it's not a great explanation of why people create high res tiles - it just shows what happen if you increase the scale factor in Mapnik without changing the style, I think.
A few examples:
https://a.osm.rrze.fau.de/osmhd/13/4064/2662.png (that's a style that has been optimised for HD)
Some of the comments above are out of date with regard to OSM Carto because that uses SVG graphics throughout, which should scale OK.
- @Johsin18: it all depends on what you do with the tiles. If you show both, high-res and standard-res tiles in 100% zoom (pixel by pixel), then high-res tiles are bigger. But if you show the standard-res tiles in 200% zoom, but the high-res tiles in 100 % zoom, then the size is the same, but the high-res tiles are 'sharper.
- However, you are right that the usual usecase is not described pretty good. Feel free to try to improve the text. --Aseerel4c26 (talk) 20:36, 7 February 2018 (UTC)