News for hackers. Stuff that matters.

A comment on Critical Update on DAO Vulnerability. Parent comment

Re:Critical Update on DAO Vulnerability by Eliezer on Friday June 17, 2016 @12:41PM (#11923666)
"Tiling agents" would be the most arguably relevant. Provably correct agents that approve the construction of other probably correct agents obeying similar invariants.
[ Parent | on HN ]
Re:Critical Update on DAO Vulnerability by semi-extrinsic on Friday June 17, 2016 @01:31PM (#11924096)
Is "probably" there meant to be "provably"? I assume so, but I'm not sure.
[ Parent | on HN ]
Re:Critical Update on DAO Vulnerability by christo on Sunday June 19, 2016 @08:05AM (#11932690)
Probably.
[ Parent | on HN ]
Re:Critical Update on DAO Vulnerability by grandalf on Friday June 17, 2016 @01:29PM (#11924080)
Thanks! Looks very interesting!
[ Parent | on HN ]