Yeah, we also need to solve the attribution and retribution for the people who contributed to the result, and we can't expect this to happen from mega corps alone.

Even if it's finding bugs in those, it would be progress. Imagine we can find bugs like that in many other problems, that's pretty valuable. Agreed it will take time to digest proofs and produce something new out of it.

I think many theoritical researchers do not care about practical applications (from physics university time, I even remember a disdain from some students about applications because it's "dirty", meaning badly approximated). In any case, it's hard to predict, but sometimes theoritical results have real world impact eventually. Crazy theories like quantum physics and Relativity are used to for computing (semiconductors and newer quantum computers) and GPS now.
Having this proven solution will probably motivate new research directions, and it could improve the understanding of this fluid mechanics equations, which has applications everywhere fluids are used...

Well written and agreed. I think suddenly having many new statements that are proven true, with probably some of them being unexpected, will have serious impact on research directions, even if it still takes time to digest and find useful applications.

In his commit message:

[And this was a debug session from hell, enormously helped by an AI doing much of the grunt-work.

I'd like to call it my tireless helper, but the AI several times stated flat out that this was impossible and unsolvable and that we should just write a report about it.

I suspect those things have been trained by people who may not be quite as stubborn as I am.

But while the AI was ready to give up several times, it did keep adding debug code and analyzing it faithfully when I pushed. So credit where credit is due and I let the AI write the commit message above.

This is basically a one-liner fixing a bogus "round_up()" to a "round_down()", but there were 24 patches adding more and more debug information to this, and 18 kernel boot to finally narrow it down to this. - Linus ]

Didn't he state quite early on that LLMs were a good tool to spot bugs? Found this from 3 years ago: https://blog.mathieuacher.com/LinusTorvaldsLLM/

Since 2006, Denmark has tied the official retirement age to life expectancy and has revised it every five years.

What a depressing law. Progress should mean less mandatory work, not more.

If there's one thing Japan loves, it is economical competition. There are like 40 different ways to pay at a shop, it's absurd.

Anon is a better than average journalist, crossed multiple opinions and sources before writing their clickbait article.

The interesting part:

France has not traditionally been a place where DEI programmes have taken root because of legal limitations on the collection of racial and ethnic data. Employers are not allowed to factor people’s origins into hiring or promotion decisions.

In France, you cannot really base any official decision on the origin of someone, even just using the concept of race is considered racist and against the law. This is due to the trauma of Vichy's regime Nazi collaboration but also the popularization of the idea that there is no scientific evidence for human races in the current human population by the famous anthropologist Claude Lévi-Strauss.

slowly divert my work to different people in the company

So you've been promoted to a management position.

Someone forbade you to make music?