Shopify went back to native. I think the bigger shift is formal verification

The author notes that agents have reduced the cost of building native apps twice and predicts that formal verification will become the default way software is written.