CompSci 165 notes