Looking at the website, I wonder why the multithreaded leaderboard was featured rather than the one labelled "Leaderboard". It looks to me that there was a lot more effort put into those results, considering it has over 50 languages represented. Seems odd for him to put emphasis on how people had time to optimize, and then ignore the leaderboard that had the most time put into it.
Oh, they absolutely ignored warnings and used rude insults. And if you were in their situation, you would have too.
Have you ever dealt with someone that constantly lies and misrepresents your opinions to make you look like a villain? Have ever gotten frustrated, because the person you're arguing with is constantly shifting the goalpost to their benefit? Have you ever said something needlessly rude out of frustration?
How would YOU react, if after dealing with all this disingenuous bs, YOU get told to watch your tone or you get banned for being toxic?
The justifications after a ban always make logical sense, true. But if you read through the logs with even a little bit of empathy, it becomes clear very quickly who the toxic person in those interactions is.
Edit: I'm not talking about a specific person getting banned. This happened numerous times, including newcomers.
It does fit my experience and you'll find me as a lurker in the discord. Though I'm not surprised you haven't noticed this. The mod in question is a master in gaslighting. I'm not sure I would have noticed if I didn't have personal experience with this level of manipulation.
It's not a coincidence you see the same name pop up, every time someone gets bullied out of the discord.
Are you confusing syntax with semantics? Your hesitance seems to come from
intuition and it's not uncommon for intuition to make mistakes like that.
Having a single syntax with multiple semantic meanings would indeed be a foot
gun.
I can't think of a way how different syntax translating to a single semantic
meaning could cause any concern. It's not like the wrong thing can happen, it
just might look differently depending on codebase.