Episode 116 – Monster Bash

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

Episode 114 – Augmented Shazam

The Michaels look at the latest Augmented Reality announcements from DARPA, Apple, and Shazam, so you don’t have to. We look at the new Apple acquisition of MetaIO, DARPA’s gaming initiative for uncovering bugs in code, a website that is helping scientists map neurons within the human brain, and Shazam’s new visual tagging application. We discuss how far Augmented Reality apps have come since 2008, and Yelp’s initial Monocle, and also our favorite wine tracking apps. Show Links: Apple Buys MetaIO DARPA Code Games Shazam AR Game to Map Brain Neurons Cellar Tracker App Brickies App OBDLink Tool Blush For … Continue reading