I've received some requests for more information about a recipe/program we (Seagat2011, thom001, rav3n_pl, and I) are currently creating for foldit. Since the recipe will eventually be available under a GNU license, it certainly couldn't hurt to answer any questions about what we're doing. To start out with, I'll just post some of the posits the recipe idea is based on to get the discussion started:
-- posit: foldit exists to leverage human ingenuity ( when defined as human meta-pattern recognition )
-- posit: human capacity for meta-pattern recognition is unmatched by traditional computational touring machines
-- posit: traditional computational machines are unmatched in computing power in R^1 ( where R^1 is the real numbers )
-- posit: creating an interface between human meta-pattern recognition and machine computation in R^1 would yield exponentially greater efficiency in relation to the separate sum of their efficiencies
-- posit: indexing levels of complexity with members of a finite set in R^1 models human meta-pattern recognition
-- posit: if members of R^1 are Godel numbers representing each function in the foldit API then they can be manipulated in one level of complexity
-- posit: recursively defining complexity and projecting everything to base two yields an axiomatic operation of two binary numbers for every instruction in a program
-- posit: if the binary numbers are encoded into sufficiently small bit types then every program can be defined the same way
-- posit: A program which defines the set of every segment containing ideal positions, "score", and time would then yield a number representing the ideal protein
-- posit: if the protein's Godel number is used to calculate the neccesary band forces then the ideal protein can be engineered
-- posit: if the program implemented the manipulation of the protein's Godel number then a protein of any structure can be engineered
-- goal: write a program according to the definitions outlined above and below to enable generation and manipulation of a protein's Godel number, apply user-defined forces and provide a set of modular, exposed methods for protein engineering
-- ... more content/implementation ...
If you've got a question about something in particular, please ask. Thanks.