>>rocksk+(OP)
I heard that the AIxCC booth prepared the same challenges for the audience to solve manually, but I didn’t check the details.
I believe there will be even more cool stuff in next year’s grand final. If you want to get a sense of what to expect, check out the DARPA CGC from 2016. :)
>>hqzhao+r
I hope that booth is gone for good. Def Con doesn't need marketers with a blank check putting a booth there. Leave that garbage at Black Hat.
>>rocksk+f2
To clarify - I hope your "more cool stuff" doesn't mean more fog machines and LED strips. And some of the companies that seemed to ride DARPA's coattails there made my skin crawl. No slight on DARPA themselves.