News for hackers. Stuff that matters.

A comment on Hard Problems in Cryptocurrency: Five Years Later. Parent comment

Re:Hard Problems in Cryptocurrency: Five Years Later by ddrdrck_ on Sunday November 24, 2019 @02:36PM (#21622736)
I think the point is that it is easier to formally verify a non-Turing-complete PL
[ Parent | on HN ]

There are no comments on this comment yet.