this post was submitted on 16 Jul 2026
125 points (96.3% liked)

Linux

14402 readers
93 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
125
Linux creator Linus Torvalds puts foot down on anti-AI comments (www.gamingonlinux.com)
submitted 1 week ago by cm0002@lemy.lol to c/linux@programming.dev
80 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] sobchak@programming.dev 1 points 1 week 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 1 week ago

I didn't see 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.