"Reasoning about performance (in the context of search)" by Dan Luu