News for hackers. Stuff that matters.

A comment on Program Synthesis in 2017-18. Parent comment

Re:Program Synthesis in 2017-18 by cosmolev on Wednesday July 25, 2018 @07:53AM (#17608550)
Smart contracts even include the incentive for others to search for these uncovered cases :)
[ Parent | on HN ]

There are no comments on this comment yet.