home.social

#problems — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #problems, aggregated by home.social.

fetched live
  1. 🧙‍♂️ Behold the revelation! Our noble scribe has discovered that #NP-hard #problems are, in fact, #solvable. 🎉 Except, you know, not in practice or with any algorithm that actually exists. But hey, at least he #debunked the grand #myth that no one believed anyway. 😏📚
    gruhn.me/blog/2026-08-13/ #HackerNews #HackerNews #ngated

  2. 🧙‍♂️ Behold the revelation! Our noble scribe has discovered that #NP-hard #problems are, in fact, #solvable. 🎉 Except, you know, not in practice or with any algorithm that actually exists. But hey, at least he #debunked the grand #myth that no one believed anyway. 😏📚
    gruhn.me/blog/2026-08-13/ #HackerNews #HackerNews #ngated

  3. Si el @archlinux sigue fallando de forma random, vamos a las bases: actualizar, reiniciar, revisar errores en:

    $ journalctl -b -1

    Y solucionar todo lo que se vea raro.

    Allá vamos 😅

    #gnu #linux #problems #journalctl #fixing

  4. Si el @archlinux sigue fallando de forma random, vamos a las bases: actualizar, reiniciar, revisar errores en:

    $ journalctl -b -1

    Y solucionar todo lo que se vea raro.

    Allá vamos 😅

    #gnu #linux #problems #journalctl #fixing

  5. @dcbuchan

    I think the mind tries to do the whole job before the body has even started.

    It imagines the effort, the inconvenience, the possible problems, the time it might take — and then reacts to that picture.

    Meanwhile, the actual task is usually just: get the ladder, start, keep going.

    Thirty minutes later, no rainforest in the gutter. 😄

    #mind #effort #problems #picture #time #rainforest #minute #ladder

  6. 🤖 Oh, look! #AI is now tackling #Erdős #problems because apparently, mathematicians need a break from proving humans can still be useful. 🙄 #Quanta #Magazine seems convinced that AI's conquest of #math puzzles is a #groundbreaking revelation, as if we haven't been #outsourcing our brains to computers for decades. 😂
    quantamagazine.org/why-the-leg #HackerNews #ngated

  7. 🤖 Oh, look! #AI is now tackling #Erdős #problems because apparently, mathematicians need a break from proving humans can still be useful. 🙄 #Quanta #Magazine seems convinced that AI's conquest of #math puzzles is a #groundbreaking revelation, as if we haven't been #outsourcing our brains to computers for decades. 😂
    quantamagazine.org/why-the-leg #HackerNews #ngated

  8. Blog 5th August 2026.

    AAAARRRRGGGGHHHH!!!!! I've been having problems with my main #Fediverse server for a few weeks now - Ahh, who am I trying to kid, for at least a year now! It turns out that trying to keep something like that alive requires more work than I sometimes want to do, so I tend to leave it, then forget to get back back to it, and BAM! the disk is full again! It is massively outdated anyway, so I'm tempted to nuke it from orbit (It's the only way to be sure!) and start again - but with only 80Gb […]

    mancavgeek.co.uk/2026/08/05/bl

  9. Blog 5th August 2026.

    AAAARRRRGGGGHHHH!!!!! I've been having problems with my main #Fediverse server for a few weeks now - Ahh, who am I trying to kid, for at least a year now! It turns out that trying to keep something like that alive requires more work than I sometimes want to do, so I tend to leave it, then forget to get back back to it, and BAM! the disk is full again! It is massively outdated anyway, so I'm tempted to nuke it from orbit (It's the only way to be sure!) and start again - but with only 80Gb […]

    mancavgeek.co.uk/2026/08/05/bl

  10. #UK #pilot #trainer of 20 years: some people really have no problems at all, could those help the others that are OVERWHELMED with #problems? #mankind ? no ? #tooboring ?

  11. These AVs create way more different problems than anticipated. Is that how they got their name?

    Delays, detours, and sleeping riders: Waymos keep getting in the way of SF firefighters | The San Francisco Standard
    sfstandard.com/2026/07/10/waym

    #Waymo #AVs #problems

  12. These AVs create way more different problems than anticipated. Is that how they got their name?

    Delays, detours, and sleeping riders: Waymos keep getting in the way of SF firefighters | The San Francisco Standard
    sfstandard.com/2026/07/10/waym

    #Waymo #AVs #problems

  13. AI agents are making real headway in math: a new study on arXiv reports an AI-aided formal proof-search system in Lean that autonomously solved 9/353 open Erdős problems (and proved 44/492 OEIS conjectures), using compiler-verified proofs instead of unreliable natural-language reasoning. arxiv.org/html/2605.22763v1 🚀📐 #AI #Mathematics

    The #paper says the full-featured agent solved these 9 #Erdős open #problems (out of 353 attempted): #12(i), #12(ii), #125, #138, #152, #741(i), #741(ii), #846, and #26 (†)**

  14. AI agents are making real headway in math: a new study on arXiv reports an AI-aided formal proof-search system in Lean that autonomously solved 9/353 open Erdős problems (and proved 44/492 OEIS conjectures), using compiler-verified proofs instead of unreliable natural-language reasoning. arxiv.org/html/2605.22763v1 🚀📐 #AI #Mathematics

    The #paper says the full-featured agent solved these 9 #Erdős open #problems (out of 353 attempted): #12(i), #12(ii), #125, #138, #152, #741(i), #741(ii), #846, and #26 (†)**

  15. The So-called Problems

    “Do not try to solve your problems. They are NOT your problems. They are the problems of the body-mind. And you are NOT the body-mind but Consciousness. Moreover, the problems are there ONLY because you are now thinking that you are the body-mind. Think why that is the case.”

    #BodyMind #Consciousness #Ego #Identity #IdentityCrisis #Problems #Quotations #Quote #Quotes #TrueIdentity #WhoAmI
  16. (1/21) Review mathematics questions. What would be the answer (solution) of the question below?

    #mathematics #set #problems

  17. (1/21) Review mathematics questions. What would be the answer (solution) of the question below?

    #mathematics #set #problems

  18. Verge Labs’ #AI model solves patient data problems for #neurology #clinical trial | STAT

    Verge Genomics is pivoting, after the clinical trial of its #ALS drug failed. Now, as Verge Labs, the company has built a #brain #AI model to solve patient-stratification #problems for #neurology #clinical trials, @brittanytrang.com reports:

    statnews.com/2026/06/16/verge-

  19. Verge Labs’ #AI model solves patient data problems for #neurology #clinical trial | STAT

    Verge Genomics is pivoting, after the clinical trial of its #ALS drug failed. Now, as Verge Labs, the company has built a #brain #AI model to solve patient-stratification #problems for #neurology #clinical trials, @brittanytrang.com reports:

    statnews.com/2026/06/16/verge-

  20. A quotation from John F. Kennedy

       Some would say that those struggles are all over — that all the horizons have been explored — that all the battles have been won — that there is no longer an American frontier.
       But I trust that no one in this assemblage would agree with that sentiment. For the problems are not all solved and the battles are not all won. And we stand today on the edge of a new frontier — the frontier of the Nineteen Sixties — the frontier of unknown opportunities and perils — the frontier of unfulfilled hopes and threats.

    John F. Kennedy (1917-1963) American politician, author, journalist, US President (1961–63)
    Speech (1960-07-15), “The New Frontier,” Presidential Nomination Acceptance Speech, Democratic National Convention, Memorial Coliseum, Los Angeles

    More about this quote: wist.info/kennedy-john/6714/

    #quote #quotes #quotation #qotd #johnfkennedy #jfk #challenge #change #danger #exploration #frontier #horizon #problems #progress #struggle

  21. A quotation from John F. Kennedy

       Some would say that those struggles are all over — that all the horizons have been explored — that all the battles have been won — that there is no longer an American frontier.
       But I trust that no one in this assemblage would agree with that sentiment. For the problems are not all solved and the battles are not all won. And we stand today on the edge of a new frontier — the frontier of the Nineteen Sixties — the frontier of unknown opportunities and perils — the frontier of unfulfilled hopes and threats.

    John F. Kennedy (1917-1963) American politician, author, journalist, US President (1961–63)
    Speech (1960-07-15), “The New Frontier,” Presidential Nomination Acceptance Speech, Democratic National Convention, Memorial Coliseum, Los Angeles

    More about this quote: wist.info/kennedy-john/6714/

    #quote #quotes #quotation #qotd #johnfkennedy #jfk #challenge #change #danger #exploration #frontier #horizon #problems #progress #struggle

  22. If you think #technology can solve your #security problems, then you don't understand the #problems and you don't understand the technology. -- Bruce Schneier