Programming (with AI agents) as theory building | Heykuki News