notes-cs-theory-links