Random stuff from a number theory course