Egy olyan szervezetnek, ami vadászrepülőket meg önvezető autókat tervez kritikus fontosságú a vasakat működtető szoftverek megbízhatósága, melyre legjobb garanciát a formális, matematikai bizonyítás adhat. A baj az, hogy a programokt hagyományosan modellező gráfok elméletében még van néhány nehéz probléma, így egy program egyes tulajdonságainak belátása a gyakorlatban sokszor csak nagyon-nagyon drágán (vagy egyáltalán nem) kivitelezhető.
A DARPA egyik friss projektje erre a problémára próbál részleges megoldást adni a felmerülő nehéz kérdések közösségi megoldása segítségével: A Verigames egy sor Flash játékot kínál, melyek hátterében valós szoftverproblémák állnak, az egymással versengő játékosok pedig a pontgyűjtés során ezek megoldásában segítenek saját idejük és persze szürkeállományuk befektetésével.
Tíz perc próbálgatás után azt mondom, hogy a játékok alapvetően nem sikerültek rosszul, bár az biztos, hogy nem adnak olyan instant sikerélményt, mint egy Angry Birds (bár nekem az se ment :P), az viszont biztos, hogy jó ráhangolódást nyújtanak a készülőben lévő reversing-témájú poszt-sorozathoz ;)
Jó szórakozást!
U.i.: Vajon kellő mennyiségű rosszindulatú játékos be tud betonozni egy-egy bugot mondjuk a készülő X-37-esbe?
Ó, és itt ragadnám meg az alkalmat, hogy bevágjam ezt a videót Grace Hopperrel, aki ma lenne 107 éves:
