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

(martinalderson.com) by ymolodtsov | Oct 8, 2026 | 0 comments on HN