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.
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.
Game Utilizes Human Intuition To Help Computers Solve Complex Problems
FunSAT: Human Computing for EDA
Russian scientist Denis Rebrikov claims that he’s begun a gene-editing process to eventually enable couples who both carry a specific genetic mutation that causes deafness to birth children who can hear. Rebrikov formerly announced his effort to use the CRISPR tool for gene editing to create babies resistant to HIV. From Nature: In his e-mail […]
Caltech theoretical physicist Sean Carroll, author of Something Deeply Hidden: Quantum Worlds and the Emergence of Spacetime, explains the concept of a “dimensions” at five different levels of complexity. Dr. Carroll sure has a big brane.
In 1936, the Tasmanian tiger (Thylacinus cynocephalus) was declared to be extinct. Yet in the last three years, there have been eight reported sightings according to Tasmania’s Department of Primary Industries, Parks, Water and Environment. I hope it’s true. From CNN: While stories abound that some continue to live in the remote wilds of Tasmania, […]
Everybody could use a little improvement, especially those of us on the hunt for new careers. Each job requires a different set of skills, and that list can change from year to year or even month to month as new technologies emerge. When you’re in that race and need to learn fast, the old model […]
In recent years, natural language processing technology and language translation technology have advanced greatly. The trouble is, language translation software typically comes in the form of apps. And while your mileage may vary on their usefulness, they share one thing in common: a serious drain on the battery for your smartphone, the very thing you’ll […]
Treat yourself, internet: We’ve rounded up some deals from the past week that were too good not to bring back for an encore. Take your pick from home goods, massagers and other tech, all at serious discounts. TREBLAB Z2 Bluetooth 5.0 Noise-Cancelling Headphones Get in the groove and stay that way with these headphones and […]