Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

From the accompanying video (17:11)[1] it's not Turing complete "because the verifier rejects unbounded loops and so there is some things that are not possible. We do have bounded loops in BPF now."

1: https://youtu.be/7pmXdG8-7WU?t=1031



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: