Ya, I initially imagined it was some passionate sports fans with a sharp eye for sportscast overlay graphics/animations noticed some subtle glitches that made it back to some rendering engine.

I agree. I thought it's a bug with a software used by the Japanese football association.

I think floating point would give the assumption that it has nothing to do with meatspace, but it would allow room for a fascinating surprise if it did!

I vote for keeping it as is.

If we're following HN guidelines correctly, the title should be 'Dolphin Progress Report: August 2021' -- what has been submitted has been editorialised.

I overlooked the URL. Seeing that or the original title I would have understood what this was.

But now, my first guess was actually that this was about some much debated football match and that the floating point bug was present in some software used by the referees when reviewing replays.

Football referees didn't review replays in 2013.

I'm not sure what the point is of correcting a comment in which someone is _describing their mistaken former belief_. He knows it's incorrect. What does this, along with your other pedantic comments in this thread, really add?

Please lurk more and learn the culture of hn.

I can personally attest to creating and fixing floating point bugs to do with real life football games.

Counterpoint: I assumed real life scoreboard.

I was immediately trying to figure out if it somehow had to do with a stop watch being used in meatspace.

It's either. It's "A game of football". It's "A football match". It really doesn't matter.

Ofc you can use words as you want. But match is the correct term. FIFA uses it exclusively, and the use is specifically to determine between the Game of football and matches. It is standard British English. It really do matters, as this whole thread proves.

You're right that 'match' would have obviated the ambiguity in this title, given the context, but I don't think it's the only 'correct' term in general. I'm British too, and I would have no objection to referring to 'a football game' - nor can I imagine anyone ever getting that confused with the abstract game of football.

In fairness to the GP, I've never heard anyone call it a "game" in the > 20 years since leaving school (and even at school people only said it in reference to a friendly kick-about at break time). In fact you'll find a great many football fans get quite offended if you call their much loved sport "a game" as they think it belittles the importance of the matches.

So I'm very surprised to read a fellow British-man advocate the usage of the term "game" in reference to football.

People are confused in this very thread. Even you are it seems as 'match' in the title would be wrong. Its a video game. You might think my comments are pedantic, but at least they are not useless.