News for hackers. Stuff that matters.

A comment on Tell HN: We have a responsibility to speak out against blockchain technologies. Parent comment

Re:Tell HN: We have a responsibility to speak out against bl... by JaimeThompson on Friday January 28, 2022 @05:22PM (#30121262)
Except humans haven't developed ways to write bug free code except in a very few limited circumstances none of which crypto uses.
[ Parent | on HN ]
Re:Tell HN: We have a responsibility to speak out against bl... by unemphysbro on Friday January 28, 2022 @11:33PM (#30123815)
hence the recent renaissance in formal methods

eg.

https://www.certik.com/

[ Parent | on HN ]
Re:Tell HN: We have a responsibility to speak out against bl... by exdsq on Saturday January 29, 2022 @12:05AM (#30123957)
Formal methods doesn't necessarily mean that you're building the right thing which catches quite a few projects out. I do really enjoy getting to work with them though :D
[ Parent | on HN ]