w00t. There's something amusing in the concept of maths bugs. I don't know why, because it's an inevitable layer of software to have bugs in, between design and algorith, but it just makes me smile[1]. Maybe it's the idea that godel's incompleteness theorem is just an unfortunate wart God could fix with a recompile, or the idea of a little beetle with long antenae failing to differentiate something :)


[1] Typo: slime

GIT is clearly a deliberate nerf put in to stop mathematicians from being overpowered though.