High-integrity software tooling specialist AdaCore, has announced the introduction of the Ada and SPARK programming languages ...

I've been subjecting chatbots to a set of real-world programming tests for over two years. There are now five I recommend if you're looking for AI coding help, and several to avoid.