Implement voting in sports, but only for big things. Who should be LocalTeam's coach? Who should be HomeTeam during BigGame? How much should your team splurge on the latest star player?
They would be too busy with all of that to worry about politics.
Don't know what it's like where you live but around here if they are old enough to fall apart they aren't to code anyway. They need replacing like every two years, I think.
Yeesh, I don't miss reddit at all. Those comments could all be bots and it wouldn't make a difference. Everyone just posts whatever joke they thought was funny 2+ years ago.
Timothy Gowers @wtgowers
@wtgowers
Sep 22
Happy to be able to say that my automatic theorem proving group in Cambridge submitted a successful bid to the AI for Math Fund, launched this year by Renaissance Philanthropy and XTX Markets.
LLMs ramble unless you stop them forcefully. That can lead to partial sentences that need to be cleaned up.