Very nice! Is the synthesis post ready?

Yes. We did all the work together. Was going to talk about that one later, but since you asked:

Synthesizing smart contracts from test cases. https://synthetic-minds.com/pages/blog/blog-2019-09-12.html

Would love to hear back from you guys, richardheartauthor at gmail, emailed you in oct '18, and jun '19, and now.

Thanks for the ping. Looking forward to running your contracts through our system.

Cool! I do not have much experience in this area but this certainly seems like interesting work. I wish you good luck!