The Really Good Pickle Martini
The Really Good Pickle Martini 2 oz Gordon’s London dry gin; 1/4 oz Martini & Rossi extra dry vermouth; 1/4 oz pickle juice; Garnish: Skewered dill pickle slice; Glass: Cocktail Pour all the ingredients into a mixing glass with ice, and stir briskly with a bar spoon for about 1 minute. Strain into a chilled Martini glass. Garnish with a skewered dill pickle slice.
(tags: recipes pickles martini cocktails pickle-juice gin vermouth)
A little benchmark for top-k selection from a stream
(tags: algorithms benchmarks performance top-k streams streaming quickselect binary-heap priority-queue)
London’s Tube has been running so long it’s literally raising the temperature of the earth around it | CityMetric
London has been running tube trains so long that the ground beneath parts of the city is now as much as 10°C hotter than it was in 1900.
(tags: london tube underground tfl engineering history temperature ventilation)