A NEW SOFTWARE ENGINEERING PARADIGM

Summary from the TLDR newsletter

The combination of formal verification and AI is much more effective than AI by itself.