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

Linux

14388 readers
90 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
you are viewing a single comment's thread
view the rest of the comments
[–] farooqkz@realbitcoin.cash 1 points 6 days 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.