Slashdot Mirror
Making a Game of Hardware Design
no-life-guy writes "Researchers at the University of Michigan have developed a web-game to harness the natural human abilities for electronic design automation (EDA). Arguing that people are still much better than computers in games of strategy and visualization, and that we'll do anything as long as it's fun, a group created FunSAT — a game where an average Joe gets to solve a Boolean satisfiability problem. Known as SAT, this problem is an important component in various hardware design tools from formal verification to IC layout to scheduling. The pilot version is a puzzle-like single-player Java app (akin to those addictive web-games), but the researchers envision that it can be extended to a multi-player (and, perhaps, replace WoW as the favorite past-time of the millions), so anybody can be a hardware designer. If anything, this is definitely a great learning tool."
I solved the first three levels of the 3SAT game turning all rectangles yellow and deselecting them in turn until all circles turned green. Basically I didn't understand what was going on and I played in a mechanical way, so I quickly lost interest. I think that any computer can do than faster than me (and that made me loose interest too): was I really helping the design of new hardware or slowing it down?
By the way, can anybody estimate how many million people playing this game they need to create ICs faster than a single computer can?
Girls do like smart men, just not to the exclusion of other characteristics such as social skills and appearance.
I'm just randomly clicking. A computer can do that better than I can. A genetic algorithm should be unbeatably fast vs a human and even brute force probably would be too. If they explained the rules a little bit maybe.. I was greatly disappointed and thought it was a stupid and unfun game. Clicking randomly is not fun.
Another example of a game used for science is Foldit where you have to fold a protein. I find this example more interesting than SAT.