I'm not saying it's the only thing that stops mass adoption of Linux for gaming, but I think we'd see a massive uptick very quickly, if this problem went away.

As someone who also has never fully made his peace with the diagonality argument, but just chosen to accept it as true, as a given, this kind of bumps up against an interesting implication of different cardinalities of infinity.

To precisely define an arbitrary real you'd need some kind of finite string that uniquely identifies that real number. Finite strings can be mapped, 1 to 1, to natural numbers. Therefore there can't be a finite string for any real number that uniquely identifies it. Otherwise we'd have a mapping between natural numbers and real numbers.

In fact, the set of uniquely identifiable real numbers is a countable subset of real numbers. [1]

Somehow, this realization has helped me make peace with the uncountability of real numbers.

[1] Sorry if use words like "unique", "identify", "define" in not quite the right way. I hope the meaning I'm going for comes across.

At the time we didn't have enough information to know locking down outdoor activities was unnecessary. All we knew is it is more contagious than other infectious diseases, like the flu. Given what we knew, it was a reasonable policy, even if in hindsight we know it wasn't necessary.

It's funny how the same people who kept saying we don't have enough information about if masks work, because we didn't test them enough specifically with covid, are now the ones who say we should have known that outdoor activities could have been left open.

> Also ironically WFH is great unless you are the poor soul who still needs to work on the “front line” every day like warehouse workers, delivery drivers, etc.

"Front line" workers like warehouse workers and delivery drivers also profit from limiting vectors of infection by office workers staying home. Nothing "ironic" about it.

Turning a game of perfect information into a bluffing and anticipation game is not a minor change. It's a fundamental change of the essence of what the game is.

What does this mean? Is it the true positive rate? The true negative rate? An average of the two? An average weighted by frequency?

The KQkq still unambiguously mark which player can castle to which side, and once either a rook or King move for the first time, you just remove the corresponding letter(s). What am I missing?

I made my own mistake when trying to figure out this puzzle, that I didn't notice until your comment prompted me to go back and check through it again. I thought after the three even words, the solution had to BAY or all three even words had to be zeroes. But without using any of the odd probe words, words starting with BU- are also still a possibility.