The new calculus of AI-based coding