News for hackers. Stuff that matters.

A comment on IOTA: A tangled mess. Parent comment

Re:IOTA: A tangled mess by seanwilson on Sunday December 17, 2017 @07:43AM (#15945528)
I wonder if something like OCaml would be a good choice. It's a safe language with good performance plus it gives you an easier route to formally verify the important parts of it. Cross platform is going to be trickier though.
[ Parent | on HN ]
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 ]