A new game prototype called FunSAT from University of Michigan computer scientists Valeria Bertacco and Andrew DeOrio marries human intuition to computerized chip design to solve problems that computers are bad at by making it fun for humans to help them:
By solving challenging problems on the FunSAT board, players can contribute to the design of complex computer systems, but you don't have to be a computer scientist to play. The game is a sort of puzzle that might appeal to Sudoku fans.
Game Utilizes Human Intuition To Help Computers Solve Complex Problems
The board consists of rows and columns of green, red and gray bubbles in various sizes. Around the perimeter are buttons that players can turn yellow or blue with the click of a mouse. The buttons' color determines the color of bubbles on the board. The goal of the game is to use the perimeter buttons to toggle all the bubbles green...
The game actually unravels so-called satisfiability problems--classic and highly complicated mathematical questions that involve selecting the best arrangement of options. In such quandaries, the solver must assign a set of variables to the right true or false categories so to fulfill all the constraints of the problem.
In the game, the bubbles represent constraints. They become green when they are satisfied. The perimeter buttons represent the variables. They are assigned to true or false when players click the mouse to make them yellow (true) or blue (false).
Once the puzzle is solved and all the bubbles are green, a computer scientist could simply look at the color of each button to gather the solution of that particular problem.
FunSAT: Human Computing for EDA
After years of speculation and wrangling over his remains, Kennewick Man turns out to be closely related to contemporary, local Native Americans after all. Discovered near Kennewick, Wash., in 1996, the skeleton ended up in a tug of war between tribes in the pacific northwest who wanted to bury the remains, and scientists who wanted […]
Our solar system is awesome.
The European Organization for Nuclear Research, or CERN, has been releasing portions of its research to the public for years. This week’s massive 300 terabyte dump of Large Hadron Collider (LHC) data is the biggest yet by a long shot — and it’s all out there, open source, free for the exploration.
Almost everyone has their smartphone in a case of one kind or another. Beyond simple protection, finding a case that can charge your phone on its own, but doesn’t feel like it’s also adding a couple pounds to the phone’s weight is the tricky part. Billed as the world’s thinnest battery case, the ThinCharge iPhone […]
You never know when new projects, ideas or opportunities can drop into your lap at a moment’s notice. That may require you to learn a new programming language like Python. Or maybe you need a primer on 3D game development. Or you might realize you could use a serious brush-up on iOS mobile creation.Point is, […]
Isn’t it about time to stretch what your Mac can do? I mean, you’ve got plenty of great programs now…but don’t you think you could use some new tools to get your creative, analytical and organizational juices really flowing? It’s spring, so we cleaned up a whole bunch of super-cool apps lying around and packaged […]