Hacker News new | ask | show | jobs
by tome 909 days ago
What do you mean by verification? That it computes the exact same output?