I asked our overlord GPT, and it says that people who use “ROTFLOL” are typically at least in their early 40s or older, since “ROTFLOL” originally comes from Usenet in the 90s and actual 12-year-olds use new acronyms and avoid old ones like “ROTFLOL.” So I was mistaken, and you are just an adult making childish comments on Hacker News to people you disagree with. Congrats.