Doesn’t it seem a bit odd that such a prolific developer has only managed to produce a PR for a new Redis type, and a olama fork, despite having a 100x productivity booster machine for the last 8 months?

There are several other examples that come to mind, of prolific and respected developers turning to AI-based workflow and ever since then just constantly producing mediocre content and code. The spark is gone, the taste, the genius - whatever you call it, the human quality that made them interesting in the first place. Sure they may be more "productive" superficiallly, but they all sound the same now. Any other decent dev with access to a corporate code-generation service can get basically the same result.

False dichotomy much? The tools can be force multiplying without being “100x productivity boosting,” which I’ve never once heard claimed except from critics.

This is a good observation. Antirez is one my favorite authors and software developers. I'm 100% sure he could have made the same Redis PR and ds4 (or something else) without LLMs in about the same time with the same quality or higher.