Ihmisen → ohjelmointikieli → kone muuttuu Ihminen → luonnollinen kieli → tekoäly → ohjelmointikieli → kone Tekoälyä ei kiinnosta hype tai kauneus, vain sen vaatimukset. Ohjelmointikielet, jotka ovat turvallisia, eksplisiittisiä ja LLM-valmiita, voittavat. Rust ja Move sopivat tähän malliin. Move lisää myös todistettavan oikeellisuuden (tekoäly kirjoittaa prover-speksit) ja kaupankäyntiin perustuvia operaatioita.