Note, LLMs are very good at finding suspect “security issues” in kernel code these days. But even with the best of the current and next generation tools, at least 1/3 of the results they generate are flat out wrong or harmful. So, if you think your LLM-found/fixed issue in a drivers/staging/ file is really valid, it’s fine to submit it BUT you must have first tested it on the actual hardware for the driver, and described how you have done so, in order for us to be willing to take the change.

  • Miaou@jlai.lu
    link
    fedilink
    arrow-up
    3
    ·
    13 hours ago

    No one proves their code is correct except in extremely niche cases. No idea what you’re talking about.

    • harmbugler@piefed.social
      link
      fedilink
      English
      arrow-up
      4
      ·
      12 hours ago

      Maybe think of test driven development not like proving the code is correct, but failing to prove it’s broken.