Like a similar effort that folded AIDS proteins, the games "translate players' actions into program annotations," to kill numerous bugs in systems code, according to DARPA.