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 AlexCoventry on Wednesday January 01, 2014 @09:43PM (#6997895)
I don't know how to do that, but I did think about a cryptocurrency in which people got paid for optimizing objective functions.

https://docs.google.com/file/d/0B3qaT-ZL6aeKOHNEQWdpZEtRYWc/...

[ Parent | on HN ]

There are no comments on this comment yet.