3 ms·
AI is decidedly not the answer. Formal verification is the answer, and tooling around it.
by beisner 9y ago
AI is decidedly not the answer. Formal verification is the answer, and tooling around it.
- tdb7893 9y agoMy 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_bird 9y agoThe central dilemma is that there are myriad ways to do it wrong for every one way to do it correctly.