Hacker News new | ask | show | jobs
by eviks 1155 days ago
They can do it the same way they prove everything else - ineffectively