Yep, proof of example will be the next big thing as most of the folks do not have the command of c++ knowledge. Checked out your blog it seems like you are quite into the Tau concept as well? Glad to find out this project are actually backed by elder steemian like you and Kevin. Let's see what Ohad would bring to us soon.