post/2013-05-01.txt: last five posts before the lecture