[math-fun] Any cool hacks for Gaussian elimination over GF(2) ?