I think the video LegalEagle uploaded explains it quite succinctly: for the sale there was a certain split between the debtors, the debtors with the largest portion were willing to forego a portion such that the other debtors would get a larger portion if The Onion's bid was the winning one. In effect, the other debtors would get more money out of the 1.75m than the 3.5m bid, and the debtors that 'got less' are the ones that offered the money in the first place.
Also, the game theory that gives us insight into voting systems, telling us the current system leads to a 2 party system, did not exist when the US constitution was written.
They were removed from MAINTAINERS, which is what identifies the people responsible for maintaining a piece of code, a subsystem of Linux, not the credits, which is encoded in the git commit history.
A very similar situation to that analysed in this paper that was recently published. The quality of what is generated degrades significantly.
Although they mostly investigate replacing the data with ai generated data in each step, so I doubt the effect will be as pronounced in practice. Human writing will still be included and even curation of ai generated text by people can skew the distribution of the training data (as the process by these editors would inevitably do, as reasonable text could get through the cracks.)
Neat idea. This could be refined by adding a git hook that runs (rip)grep on the entire codebase and fails if anything is found upon commit may accomplish a similar result and stop the code from being committed entirely. Requires a bit more setup work on de developers end, though.
Do keep in mind that in Europe there are often required checks whether a car is 'roadworthy', in Norway this seems to be a biannual check: so you cannot really skip maintenance to the extent that that would be a huge factor.
I am not sure whether AI will make the creation of asset flips much easier though, given that store bought assets are already being dropped into a 'game' already.
You may be able to get more granularity by decoupling Google TV volume from the TV's own volume. To do this, you need to disable HDMI CEC control over volume in the remote's settings.
For those taking this route: do note that the map data is downloaded from their servers. So don't forget to make a small donation to offset the server costs if you are able to!
From the post of the account linked here (in Dutch): it is going to be a place for official government communication, not for individual government employees (and I presume, by extension, public registration in general)
Looks like this is reddit, using /r and all.