Hacker News new | past | comments | ask | show | jobs | submit | compilers's comments login

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!


I really don't see the why the negativity. While I agree that there's Timatic, there is nothing wrong in making something else that serves the same purpose. By your logic, every duplicate service in this world can be questioned.

> It includes such detail as country of travel origin, country of passport issuance, nationality, duration of stay, country of transit, visa/papers held.

Would have been nice had you commented this as a suggestion without that bashful tone, just my 2 cents.


Anil Madhavapeddy's work on unikernels is also quite interesting to look at.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: