It’s all about autos, safety, bricks, and music generated by AI. We muse whose music would like to hear more of if computers could write the songs, how about some new Punk!?! We review Tesla’s new update on autopilot mode. Are you comfortable with over the air updates for your car? Have you scanned your favorite book yet? What’s your favorite Nintendo game? Would you fly your Legos? All this and more on this week’s episode of Games At Work dot Biz!
This week we are especially delighted to have two special guests on the show, Eric Mertens from Galois, Inc. and Aaron Camerata from voidALPHA to share their insight and experience on the Verigames project with DARPA over that past couple of years.
The concept here is pretty simple — can crowdsourced players playing a game perform formal verification / code testing faster and more cost-effectively than testers following the traditional development testing methodologies? And if so, can these same kind of constructs and methods allow for code creation to write new code to solve new problems?