18.704 lecture notes