Amateurs Solve a Famous Computer Science Problem on Discord [video]