It seems there have been a few issues with the RSS feeds from this blog: some people have complained that they were only getting short summaries rather than complete posts, and others that it didn’t seem to be updating at all. As it turns out, my attempts to fix the former probably caused the latter, and the former was caused by me linking to the wrong version of the feed.
In short, the proper address for the RSS feed if you want full posts is:
Anyone who is having trouble picking up posts should unsubscribe and then resubscribe. Apologies for the inconvenience.