There is one mention of Minecraft in the second paragraph of the Architecture section, "...We train on a subset of open-source Minecraft video data collected by OpenAI[9]." I can't say whether this was added after your comment.
The paper isn't about splitting water to yield hydrogen and oxygen gas which would be useful for energy applications. It's about a new way to make radical hydrogen (1 protein plus 1 electron) which is useful for synthesizing some organic compounds. It will be helpful for synthetic chemists and will make it easier to explore hydrogen radical chemistry. It may replace some processes that currently require transition metal catalysts, especially Samarium which is a rare earth element.
Not an expert, but I did read the article. The point of the "Case-Shiller" metric is that it is computed on the basis of the same exact property changing hands in different time periods. That way it controls for trends in the product pool.
Or as the article put it:
Case-Shiller requires two transactions for the same house,” Lazzara said... It controls for the variability in the quality and size of the homes sold from year to year by measuring the change between houses that sold in one period with the prices of the same houses when they last changed owners. “The repeat sales mechanism is a way of adjusting for the mix of product so that you really are getting an apples-to-apples comparison,” Lazzara said.
In the case of lossless files, the takeout files are empathically not the same files that were uploaded. Google Music would allow a user to upload lossless FLAC files, but internally it converted them to 320 kpbs MP3 files. So, GPM certainly transcoded a portion of uploaded files. I'm not sure to what extent it left files alone if they met Google's formatting specifications. Perhaps someone else knows.
I remember enjoying E.P. Thompson's take on "Time, Work-Discipline, and Industrial Capitalism" in college. He has a lot of interesting commentary about how technology in the form of accurate timepieces played a role in our concept of labor. The article is here behind a paywall (https://www.jstor.org/stable/649749). Anyone with access to a search engine can likely find a free copy ;).
I think this counts a double blind trial. From the top of page 4 in the article:
"Randomization was performed through a computer-generated list stratified by site. Treatments were assigned after confirming the correctness of the admission criteria. Neither the research performers nor the patients were aware of the treatment assignments."
It's worth noting that convex.jl is developed by the same folks as cvx (matlab) and cvxpy (python). They all provide access to the same solvers with similar abstraction and usability.