Problems from Tim's course