Notes on AI-augmented software development