The code for DefCamp's electronic badges