Congrats on insulting someone you don’t know because he made a valid point without saying anything about the point they made. They love linters, you sound like

Congrats on insulting someone you don’t know because he made a valid point without saying anything about the point they made. They love linters, you sound like you hate linters. Don’t use them and let your colleagues deal with your unbounded computation.