Formal systems and AI

Prediction: AI will make formal verification go mainstream (via source), which itself points to the author's blog.

Martin Kleppmann makes the case for formal verification languages (things like Dafny, Nagini, and Verus) to finally start achieving more mainstream usage. Code generated by LLMs can benefit enormously from more robust verification, and LLMs themselves make these notoriously difficult systems easier to work with.

I wasn't entirely familiar with the concept of formal verification languages and decided to rely on Gemini to give me an overview of the concept, the differences between the mentioned languages and how it applies to the AI theme, it did a good job using a dynamic webpage. The only thing I'm missing is a way to export just my artifact instead of the whole conversation context.