this post was submitted on 02 Oct 2023
1147 points (98.6% liked)
Programmer Humor
19589 readers
589 users here now
Welcome to Programmer Humor!
This is a place where you can post jokes, memes, humor, etc. related to programming!
For sharing awful code theres also Programming Horror.
Rules
- Keep content in english
- No advertisements
- Posts must be related to programming or programmer topics
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Yeah, accidentally running into the halting problem is common in automatic code analysis.
It'd be nice if we wrote something to detect it running into the halting problem.