RE: [math-fun] Experimental math workshop