I have a good understanding of how to create likely-correct software: https://www.osequi.com/studies/list/list.html

Now I'm learning AI/LLMs from the perspective of correctness. So far I have two 'maxims' to guide me:

- AI shines where humans struggle (for prompt engineering)

- An LLM is nothing but an API call (for software engineering with AI)