We survey time hierarchies, with an emphasis on recent attempts to prove hierarchies for semantic classes.