Radin forcing is a variant of Prikry forcing which allows one to add generic sets of order types larger than omega. It has many applications, for example it was used by Foreman and Woodin in their proof that GCH can fail everywhere. I will sketch the theory of Radin forcing and give some applications,