Mens → programmeertaal → machine wordt Mens → natuurlijke taal → AI → programmeertaal → machine AI geeft niet om hype of schoonheid, alleen om zijn vereisten. Programmeertalen die veilig, expliciet en LLM-klaar zijn, winnen. Rust en Move passen in dit model. Move voegt ook bewijsbare correctheid toe (met AI die de bewijs-specificaties schrijft) en handelsnative operaties.