Halting problem
Halting problem
Posted Dec 4, 2018 19:35 UTC (Tue) by dskoll (subscriber, #1630)In reply to: Halting problem by excors
Parent article: Bounded loops in BPF programs
I wouldn't say the halting problem isn't relevant at all to BPF, but it's not the only problem with trying to make it work practically.
But yeah, mostly it's just fun to point out weird edge cases that distinguish theory from practice. :)