Hacker News new | ask | show | jobs
by whattheheckheck 38 days ago
So write the thing that proves the black box of magic output satisfies the solution?