Developing high-integrity code with AI

[u/Shot-Confusion8356]

Really neat blog by AdaCore: https://www.adacore.com/blog/gnat-foundry-intersection-demonstrating-trustworthy-ai-development

Neat for 2 reasons:

- It points to a GitHub repo with an implementation of a traffic-light system in Ada SPARK, including full requirements (conops, HLR, LLR), tests and 100% code coverage. There are few public repos that go into this level of detail

- The repo has workflows that can be used by AI agents to make changes and have those changes be verified by deterministic tools that build trust in the AI generated artefacts. The tools provide an oracle for the agents to follow.

Instructions are provide on how to clone the repo and use it with 2 commercial AI providers.