Hi everyone! Author here. I'm humbled that someone felt this was HackerNews worthy, really unexpected! I'll do my best to respond to comments, but if I don't get to yours feel free to drop me an email, link is on the website.
Thanks, Nick! What are some of the most difficult actions to programmatically "prove"? Which actions seem like a good idea, but perform less profitably vs. other actions?