Hacker News Reader

Craftyawesomeon Navier–Stokes Lost in Translation

Statement A is upthread quoting the paper, and is not the statement B is arguing against. B is arguing against the incorrect statement "So these authors seem to be claiming that OpenAI has not really proven Navier-Stokes at all."

Craftyawesomeon Navier–Stokes Lost in Translation

They published both a natural language proof and a lean proof. This paper says the NL proof does not match does not match the lean proof, using different arguments and some stronger claims. It does not claim the lean formulation of NS or the rest of the lean proof is invalid.

"The Lean code merely tells us that the theorem is correct, yet the NL proof with intermediate arguments, lemmas and results may be incorrect or have incorrect arguments."

Craftyawesomeon Steam Frame starts at $1059

The Frame can, presumably to allow easier porting of Quest games. It uses lepton, which is a fork of waydroid.

Potentially related, IIUC Unity only has linux arm64 support for the embedded linux version. And to use that you have to contact sales.

Craftyawesomeon Steam Frame starts at $1059

It is in their documentation.

https://partner.steamgames.com/doc/steamhardware/steamframe/...