mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

3.2K
active users

Kevin Buzzard

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)