oce 🐆

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.

  • 1 Post
  • 21 Comments
Joined 3 years ago
cake
Cake day: July 7th, 2023

help-circle
  • 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.





  • It’s reusing the normal meaning of muse, which is a person that inspires an artist. So this artist used Facebook Muse to get her muses at the door so she can use them as inspiration for her painting.
    It took me some time to get it, but I think it’s quite funny.




  • Most of the internet will disappear as hard drives fail and websites become defunct.

    If they are not destroyed, I think future archaeology could be able to recover it. We are also lucky to have some of the ancient texts we have, considering quality writing material was rare, recycled and lost in all kinds of fires, wars, and other disasters.


  • And as also said in the article, until massive public education developed during the 19th century, the vast majority of writings come from a tiny elite and its biases.
    I guess the short internet era were everyone was writing about everything, before the bots took over, will have been a truly exceptionally wide coverage of people thoughts in writing form that may never happen again.










  • 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.