Treasury's interest in these AI tools comes as its IT workforce has been slimmed under the Trump administration.

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