if a novice programmer can code something that runs in a safe language, then an experienced programmer can translate this program to optimized, high-performance semantics.
i theorize that the experienced programmer's job can be sufficiently automated, provided that we control the novice's language, without requiring silly differentiable algorithms.
