If he's a beginner your comment might be a bit harsh.

If it's not interesting to you don't upvote the post but saying it's "dumb" and "ARGF exists for a reason" is just being rude.