Computer scientists: "Mathematicians are so bad at naming, ``lemma 12`` is useless, it's important to have descriptive names."
Also computer scientists:
@xenaproject I guess it’s a consequence of some naming convention, right? What I wonder: How long is the proof, shorter than the name? 
@xenaproject the guy who wrote that code is likely a mathematician :)
@xenaproject looks like a normal German composite noun to me...
@xenaproject (the code should not be read, It should be compiled, blablablabla)