Still waiting for industry fans to comment. But let's get the ball rolling:

"I would never defend <company/common practice>. But this article is such egregious ragebait that I must speak out. It's a very sad outcome. But it's also clearly <her fault/impossible to legislate a fix/evidence that the system is working>."

Irony notice. This comment contains irony.

hilarious that the sort of comment you predicted was at the top of the page when i got here.

Was that this one, by any chance? https://news.ycombinator.com/item?id=50195562

no, lol, a totally different one

It feels unlikely that the pros have not just tried numerical integration over a disk. Do they really not ever do that?

TFA mentions a possible speculative explanation, that perhaps we can see some galaxies that are very low on dark matter.

>malice >shit on I don't think this is a productive or interesting way to discuss mathematics.

>No one is disputing that the Lean formaization of Navier-Stokes is correct, so we should have high confidence that the generated Lean proof is valid.

These authors don't seem to be disputing that this Lean formalization of Navier-Stokes is correct. I don't think that gives us any new information about whether the generated Lean proof is or isn't a valid proof of this N-S blowup thing.

Not a mathematician, but "pretty sure" might not be good enough to resolve this question.

Lucky that it was enough in this case. The theorem had been written by formal conjectures before the proof https://github.com/openai/NavierStokesAndEuler/blob/main/Com...

You do you. When I see someone posting on LinkedIn, my only thought is "Can I get away with unfollowing?"

I guess a few posts a year are ok if they don't sound angry or delusional. But zero is really best.

Everytime I see someone make a LinkedIn post it reeks of desperation or manipulation.

No one is real, they are all missing their soul. Thanks capitalism.

One of my IRL acquaintances is calling themselves a "thought leader" on Linked In and I've never seem them the same since.

You are probably already aware of https://shlinkedin.com/ but it is worth a mention just in case. I think you might enjoy it.

I dont understand even 1 post from there

You're lucky, since it probably means you never got hit with serious, high-level LinkedIn-speak. People speaking like this exist: I only had one or two interactions, but I honestly ran for my life and sanity as soon as I could. It's eerie, and both possible interpretations ("this guy speak like this for a reason (I'm not going to like that reason)" and "this guy honestly believes what he's saying (is he mad?)") are frightening. I feel really fortunate to only really encounter them IRL this rarely.

I basically cant believe it, until it is not in IRL . I thought people basically joke and try to be dramatic .

I use LinkedIn as another place to post my photos. My goal is to post 5 a day though sometimes I do more and sometimes I do less. I wouldn't really be doing it just to post to LinkedIn but since I am to posting 6 other social sites I am already doing all the work. The average visibility I get is atrocious but once in a while I get a hit and get 500+ views.

Nobody would accuse me of performative normality

https://www.linkedin.com/in/paul-houle-a18809320/

Students at my Uni are still LIONs and will mostly accept my follow requests but other people in my town don't, I am gradually building up my network.

LinkedIn wants to reconnect me to my old friends in the knowledge graph industry but I could care less.

but just... why?

I do photography as a character to get better reactions from people. If people have some familiarity with my character they respond better to do it.

It's like I am a cast member at Disney and people already saw the movie.

I an connected to at least 10% of the students on campus so I know I get some visibility thanks to LinkedIn.

That's (a reasonable interpolation of) one definition of 'belief.' The more common definition of belief is 'something someone believes.' For example I believe it's raining outside. That's testable.

It's not a joke. It's natural fallout from holding AA meetings in a liquor store.

Maybe. On the other hand it's common for genuine medical problems to 'make no sense' to a layperson. That tradition goes back thousands of years.