Devilry up and running. Deadline for PS1 and PS2 this Friday (3rd Feb)

As some of you have noticed, Devilry is now up and running. This means the deadline for problem set 2 is the original one, Friday 3rd (before midnight). You should also hand in problem set 1 now, by the same deadline. From now on the weekly deadline will be Friday as planned.