I've been thinking there should actually be more useful (or at least more interesting? :P) crowd computing stuff.
How about something like Superoptimizing (with correctness proofs) open source code?
How about something like Superoptimizing (with correctness proofs) open source code?