I took this down. I don't know what I was thinking when I created it. -- AdamChlipala
If your web browser/news reader is configured correctly, you should be able to use these links to local.hprog on our news server.
A web NNTP interface and a mailing list interface may appear soon if there's interest in them.
Our one request: Please ask your technical questions on the NewQuestions page instead of on a newsgroup. This makes it much easier for us to grow this web site in an organized manner, instead of having lots of old, uncategorized answers to the same questions being asked repeatedly.