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 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 ]

There are no comments on this comment yet.