News for hackers. Stuff that matters.

A comment on IOTA: A tangled mess. Parent comment

Re:IOTA: A tangled mess by chrisco255 on Sunday December 17, 2017 @12:06PM (#15946536)
That's what Texas is supposed to use but it's wrapped up in lawsuits at the moment.
[ Parent | on HN ]
Re:IOTA: A tangled mess by chrisco255 on Sunday December 17, 2017 @12:06PM (#15946543)
Tezos, not Texas, auto correct...
[ Parent | on HN ]
Re:IOTA: A tangled mess by seanwilson on Sunday December 17, 2017 @04:48PM (#15947868)
Hmm, interesting. I wasn't sure if they were only name dropping that formal verification was possible but they say their developers have backgrounds in it. People mention about making Ethereum more secure using formal verification for example but it's not something you can just do as an afterthought.
[ Parent | on HN ]