I have to say that, as I read the author's detailed description of the program, I wondered if this was sarcasm! I don't think it is, and I don't think it would

I have to say that, as I read the author's detailed description of the program, I wondered if this was sarcasm! I don't think it is, and I don't think it would be particularly persuasive if it were, but given Poe's law, you can never be sure... As for the claim "As this program has only one thread, it can be formally proven to be thread safe": well, it is technically correct, but it just looks like a somewhat desperate attempt to make something out of nothing, when compared to, say, "thread safety is not an issue here."