Hacker News new | ask | show | jobs
by jakobson14 698 days ago
The verifier is mostly targeted at not letting a program run forever.