News for hackers. Stuff that matters.

A comment on Proof Market: Submit Coq proof, get paid with Bitcoin. Parent comment

Re:Proof Market: Submit Coq proof, get paid with Bitcoin by tsewlliw on Thursday January 02, 2014 @04:14AM (#6998824)
Way to avoid arbitrary risks and complications!
[ Parent | on HN ]
Re:Proof Market: Submit Coq proof, get paid with Bitcoin by pirapira on Thursday January 02, 2014 @06:39AM (#6999157)
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.
[ Parent | on HN ]