

In particular, if it is a niche where you are a specialist, so you can judge the importance, and you know the general public does not know much about it. Those are most likely to become lost forever if your saved link fails you one day.
I try to contribute to things getting better, with humor, sourced information, OC and polite rational skepticism.
Disagreeing with a point ≠ supporting the opposite side, I support rationality.
Let’s discuss to make things better sustainably.
Always happy to question our beliefs.


In particular, if it is a niche where you are a specialist, so you can judge the importance, and you know the general public does not know much about it. Those are most likely to become lost forever if your saved link fails you one day.


This is the quoted article: https://www.404media.co/manifestos-fear-and-loser-thinking-inside-protons-ai-reckoning/
Andy Yen, the CEO of Proton, had a message for an employee in the company’s security Slack channel who urged the company to at least take a few days to pentest newly written code before pushing it live. “That’s bullshit and loser thinking. Of course it’s possible to be fast and secure,” Yen wrote in the channel at the end of August. “Stop thinking always of how to be slower, and focus more on how to be faster.”
In a follow-up message, Yen reiterated his point: “only losers think like that.” His ultimate message for the team was to “stop lovingly handcrafting all our code and use AI more.”


They are a thing already? They look like escalators but flat. At least in Europe and in Japan it’s fairly common, especially between public transportation hubs.


I recently noticed unlogged old Reddit does not work anymore.


Yes, I was going to ask, how does this compare to with/without internet access.
Coders were also likely more persistent when they could only read the tool’s manual and keep trying, vs getting the answer from StackOverflow immediately.
I’ve heard there’s been a decline in memorization skils since the internet, but I have not verified.


Can we opt to “live” in the Matrix?


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.


I don’t have an English source, but on this trustworthy French public service radio scientific podcast, 2 mathematicians (from reputed organizations, including one Henri Poincaré Prize) are discussing the Navier-Stokes AI solution. https://www.radiofrance.fr/franceculture/podcasts/la-science-cqfd/ia-et-mathematiques-quand-la-solution-pose-probleme-5497880
They say that the results are legitimate and proven through mathematical proof software. It did build on recent progress by humans, but it would still have taken years for humans to get there, because AI could explore so many paths in a much shorter time than a few human specialists can.
They explain the help from AI is technically remarkable, and people who don’t recognize it are in denial. They think mathematics research without AI will not make any sense soon. There’s also some hope that it will allow focusing on new interesting problems that the current AI cannot solve yet. They also discuss the problem of AI being owned by foreign mega corporations and that’s a risk for public research produced for the common good.
I’m probably going to get downvoted for this unpopular opinion here, just know that I also hate the social and environmental impact of AI, but denying its effectiveness is clearly irrational now.


Shocking!


It’s one more data harvesting tool on their belt.


The LLMs just formed an union and that was their labour day.


Following the hacker arm race is a good point. But also the number of bugs is not a bottomless pit. If an LLM allows to find more, and hopefully the test and reviews are good enough to limit the new opportunities to introduce some from LLMs, it should reduce the overall number of bugs and make the software generally safer.


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/


There are the little hands, and there are also experts paid by AI companies to train AI to simulate themselves. This is how you get the good looking answers on complex coding questions for example. I received some emails asking me to teach my job to an AI…
Also it’s not stopping to text, there are now also learning with videos of workers asked to perform manual tasks with the goal to replace them with manual robots in the future. So you can imagine the mind numbing job of reviewing thousands of question and answers, but replace it with doing thousands of boring manual tasks in front of cameras for a shitty pay.


🚚💯 🧑🎓


They put “art” in their name, thought it was enough concessions to the unproductive concept called “culture” and then they made sure to focus on compensating this benevolent act by creating as many shitty products as possible.
Why? For example, there are niche performing arts that are recorded on video and hosted on the video platforms because it’s convenient. There’s way more than low quality influencers and marketing in there.