Hacker News new | ask | show | jobs
by pirapira 4545 days ago
I can mix both approaches. The buyer and other people can stash up bounty, which the first prover gets. I have not implemented this lest "bitcoin stolen from Coq proof exchange".
1 comments
tsewlliw 4545 days ago
Way to avoid arbitrary risks and complications!
link
pirapira 4545 days ago
I added risks and complications. A feature called "bounty" is now available. Anyone can add bounty for a problem. The sum goes to the next solver.
link