There's an insightful critique of the paper on Reddit: https://www.reddit.com/r/ProgrammingLanguages/comments/1g1su...
...agree that it's weird the paper doesn't mention constraint logic programming, but it's perhaps pointing at it implicitly by saying "Replacing backtracking by complete search strategies"
"In this GDC 2016 talk, Terrible Toybox's Mark Ferrari discusses and demonstrate some of his techniques for drawing 8 bit game graphics, including his celebrated methods for use of color cycling and pallet shifting to create complex and realistic background animation effects without frame-animation
GDC talks cover a range of developmental topics including game design, programming, audio, visual arts, business management, production, online games, and much more. We post a fresh GDC video every weekday. Subscribe to the channel to stay on top of regular updates, and check out GDC Vault for thousands of more in-depth talks from our archives."
Sadly, Joe Huckaby (who implemented the web-based demo) never got around to finish the promised drawing tool. I wonder if any other pixel art programs since then have added interface support for color cycling.
It could be more than that. Vodafone broadband Internet (used to be UPC) is down in all of Czech Republic since about an hour. Their website is down (vodafone.cz), their mobile Internet seems slow. Coincidence?
I'm pretty sure that's the one! Takes a bit to get to the punchline but the idea that you want to look for tests that are unhackable is the big idea (and making a good product to get lots of users is the exemplar for an unhackable test).