#aorte — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #aorte, aggregated by home.social.
-
For anybody doing #Ada or #SPARK work with LLMs, here is a GNATprove and Alire skill. Test with both Claude and Codex:
https://github.com/AdaCore/skills
This will help your LLM create projects easier (say rPi Pico for example) and reason more about how to lift code to SPARK Silver to prove the absence of runtime errors, #AoRTE