Shopify went back to native. I think the bigger shift is formal verification
Summary
An opinion piece arguing that the shift from cross-platform mobile frameworks to native apps is driven by agents and formal verification. It explains how automated code translation and formal proofs could redefine software development, with Dafny and SMT solvers as examples, while acknowledging current challenges.