News for hackers. Stuff that matters.

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

Re:Proof Market: Submit Coq proof, get paid with Bitcoin by shinobu on Friday January 03, 2014 @10:16AM (#7005786)
This project might be harmful because of overjustification effect. [1] If there was some site 15 years ago that offered payment for writing an article on a given subject, would the number of contributors to wikipedia and thus the number of articles drop?

Also, it is unclear how to fit formalization of huge projects like classification of simple groups or IUTech in "reward for a proof" approach.

[1] https://en.wikipedia.org/wiki/Overjustification_effect

[ Parent | on HN ]
Re:Proof Market: Submit Coq proof, get paid with Bitcoin by pirapira on Saturday January 04, 2014 @10:07AM (#7011243)
There is a similar site [1] without external incentives (actually Proof Market is based on this). This site has active audience posting problems and proofs. Possibly Proof Market ends up in another example of overjustification.

[1] http://as305.dyndns.org/aps/

[ Parent | on HN ]