I've always wished there was a "block comments from this user"

In uBlock Origin -> My Filters:

    news.ycombinator.com##tr.athing.comtr:has(a.hnuser):has-text(/\bUsername\b/)