- For many languages, we can get away with Untangled LP. See, e.g. https://quotenil.com/untangling-literate-programming.html https://quotenil.com/untangling-lit

- For many languages, we can get away with Untangled LP. See, e.g. https://quotenil.com/untangling-literate-programming.html https://quotenil.com/untangling-literate-programming.html - Introducing redundancies (of code, tests, documentation) is our primary tool to increase our confidence in the correctness of the solution: See, e.g. https://quotenil.com/multifaceted-development.html https://quotenil.com/multifaceted-development.html - Untangled LP has been a good idea even before LLMs. It's even better now, as LLMs can maintain documentation and check it against the code.