On Mon, 13 Apr 2026 16:20:48 -0400 (EDT)
Wietse Venema via Postfix-users <[email protected]> wrote:

> On my request, Viktor scanned Postfix source with Anthropic's Claude
> Opus 4.6.
> 

There is a good paper on how programming languages like Ada help to
avoid large number of software defects associated with C/C++:

https://www.adacore.com/uploads/books/SafeSecureAdav2015-covered.pdf

As much as I like C, it really should have been phased out for complex
projects long ago. Even after decades of working primarily in C, I
still regularly make mistakes that lead to bugs. Before the widespread
adoption of AI tools, the only practical ways to catch these issues
were to rely on strict compiler warnings and aim for complete test
coverage through a large suite of unit tests. These tests would cover
virtually every condition and function, significantly increasing
development time and effort.
_______________________________________________
Postfix-users mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to