Show HN: I made AI bets for all World Cup games – bet against or with them