In reply to a developer on one of the Linux kernel mailing lists, Linux creator Linus Torvalds firmly put a foot down to push back against anti-AI comments.
  • sobchak@programming.dev
    0·
    15 days ago

    But that’s what human programmers can do

    I don’t think humans can solve the undecidable problems. If I understand them correctly, they’re like a law of nature; extends into mathematics, logic, and any formal system (e.g. Godel’s Incompleteness Theorem).