23
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 13 Sep 2026
23 points (100.0% liked)
TechTakes
2698 readers
223 users here now
Big brain tech dude got yet another clueless take over at HackerNews etc? Here's the place to vent. Orange site, VC foolishness, all welcome.
This is not debate club. Unless it’s amusing debate.
For actually-good tech, you want our NotAwfulTech community
founded 3 years ago
MODERATORS
Bringing back something I already posted, it didn’t really prove Navier-Stokes
And another one from the same sub
"after it's solved* Navier--Stokes"
To be fair, counterexamples are important types of proofs for particular kinds of problems, and a type of proof that computers are suited for since they can create a huge number of halfbaked things then deterministically check them