3 ms·

Security is never easy. It is always a battle. Maybe AI is the answer

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