When I was learning about spectral sequences, one of the most helpful sources I found was Ravi Vakil's notes here. These notes are very down-to-earth and give a kind of minimum knowledge needed about spectral sequences in order to use them.
Does anyone know of a similar source for derived categories? Something that concentrates on showing how these things are used, without developing the entire theory, or necessarily even giving complete, rigorous definitions?
