Worked solutions to problem sets, typeset in LaTeX and rendered here straight from their source repository — pick a set below.