undefined | Better HN

0 pointsbeisner8y ago0 comments

AI is decidedly not the answer. Formal verification is the answer, and tooling around it.

0 comments

My impression is that making everything formally verified is a lot of work and it would be very hard to make formally verified code as easy to write as non-verified code.

sewer_bird8y ago

The central dilemma is that there are myriad ways to do it wrong for every one way to do it correctly.

j / k navigate · click thread line to collapse

0 pointsbeisner8y ago0 comments

AI is decidedly not the answer. Formal verification is the answer, and tooling around it.

0 comments

tdb78938y ago

My impression is that making everything formally verified is a lot of work and it would be very hard to make formally verified code as easy to write as non-verified code.

sewer_bird8y ago

The central dilemma is that there are myriad ways to do it wrong for every one way to do it correctly.

j / k navigate · click thread line to collapse