kevq.uk
Andrej Bauer's blog also uses GitHub issues for comments: http://math.andrej.com/
Reply on news.ycombinator.com