Pretty neat, and I'm certainly all for gaining new knowledge, but couldn't the author just have decompiled the .NET binary (using a tool such as JetBrain's dotPeek) to see what it was doing without having to sign the NDA?
On the other hand, I thought tessel was an open source project? Why not just hack together your own DFU loader? It basically just needs to read data over USB from the PC, and write it to nonvolatile/flash.