this post was submitted on 16 Jul 2026
155 points (96.4% liked)

Linux

14365 readers
326 users here now

A community for everything relating to the GNU/Linux operating system (except the memes!)

Also, check out:

Original icon base courtesy of lewing@isc.tamu.edu and The GIMP

founded 3 years ago
MODERATORS
Ategon@programming.dev
anzo@programming.dev
dwraf_of_ignorance@programming.dev
155
Linux creator Linus Torvalds puts foot down on anti-AI comments (www.gamingonlinux.com)
submitted 5 days ago by cm0002@lemy.lol to c/linux@programming.dev
83 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] sobchak@programming.dev 2 points 5 days ago (1 children)

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

[–] farooqkz@realbitcoin.cash 1 points 4 days ago* (last edited 4 days ago)

I didn't mean humans can solve ALL undecidable problems. As I have written in me reply to wicked, a programmer usually writes loops and the turing machine cannot decide their halting, for a vast majority of them.