News for hackers. Stuff that matters.

A comment on Launch HN: Synthetic Minds (YC S18) – Program Synthesis to Protect Dapps.

Re:Launch HN: Synthetic Minds (YC S18) – Program Synthesis ... by fembot__ on Wednesday July 18, 2018 @08:22PM (#17563145)
This is cool! I work at MakerDao, we are working on formal verification as well. Congrats on YC (again)-look forward to seeing how this project shapes up.
[ Parent | on HN ]

There are no comments on this comment yet.