>a lot There isn't a single comment by this dude that isn't related to politics. Not one. He's probably on a payroll. https://news.ycombinator.com/item?id=40

>a lot There isn't a single comment by this dude that isn't related to politics. Not one. He's probably on a payroll. https://news.ycombinator.com/item?id=40568392 https://news.ycombinator.com/item?id=40568392 Meanwhile I provided a link to an obscure proof assistant. What is HN doing against shills, i.e. people that are tactful enough to steer opinion towards certain goals and let you think they "also posted good things" ? Is preventing confrontations on this problem a good tradeoff with the current state of the guidelines considering that political topics are a lot more present on HN than 10 years ago ? Or could fostering a culture of shill-spotting beneficial ? Logging off. Password status: not saved, as always.