G github.com An AI board that pre-registers its bets – bet #1 just graded wrong 9 points dilushin 4 months ago 2 comments