Halting problem
Halting problem
Posted Dec 8, 2018 7:02 UTC (Sat) by marcH (subscriber, #57642)In reply to: Halting problem by nix
Parent article: Bounded loops in BPF programs
> The problem here is not the halting problem:
Did anyone say it was?
> the problem here is always finding an approximation...
The "feat" was just to never mention once the name of what this approximates.
The misunderstanding and overreaction is even more interesting.