I've just finished reading the first three chapters of "The Annotated STL Sources". I would say the code I've read is the most brilliant, expressive & advanced code I've ever seen.
What I've read is the iterator part. It connects template specialization, traits quite perfectly. STL uses the static/compile-time computing a lot and it is very important to the efficiency of one library.
Nice adventure~!