Mastodawn

A new breed of analyzers.

And they use AI.

https://daniel.haxx.se/blog/2025/10/10/a-new-breed-of-analyzers/

A new breed of analyzers

(See how I cleverly did not mention AI in the title!) You know we have seen more than our fair share of slop reports sent to the curl project so it seems only fair that I also write something about the state of AI when we get to enjoy some positive aspects of this technology. … Continue reading A new breed of analyzers →

daniel.haxx.se

Show thread

Joborg

@bagder A large part of the benefit of formal methods is that they force you to make an independent description of what the code should do, in a formalism that can later be checked (or refined).

These LLM-based tools seem to be happy to work with natural language specifications (such as code comments or the Telnet specification), which is a major step forward in usability!