Prettty pleased with how this blog post turned out:
https://www.adacore.com/blog/migrating-c-to-ada-spark-with-agentic-ai-a-practical-playbook
So much, that I applied it to 2 drivers in the #Linxu kernel for #Raspberry Pi too:
https://gitlab.com/mhermeling/ada-linux/-/tree/ada-spi?ref_type=heads
