Hacker News new | ask | show | jobs
by javierhonduco 703 days ago
It is not, programs that are accepted are proved to terminate. Large and more complex programs are accepted by BPF as of now, which might give the impression that it's now Turing complete, when it is definitely not the case.