Wadler's Blog

[Courtesy of Jeremy Yallop.] Google has published an API for Google Maps to allow people to embed maps with custom markers into their own pages (which people were doing anyway, via unpublished interfaces).