VR/AR adoption, New AR glasses from North, projected AR from Lightform, counterfeit detection from Meridiun, coral reef rejuvenation from LarvalBot. Continue reading →
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. Aaron does a fantastic job explaining how playing the game Monster Proof helps improve code quality by players playing the game in his recent blog post “Games…for Science!” http://voidalpha.com/blog/ce6a4/monster-proof—how-it-works . 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 … Continue reading →