Shopify went back to native. I think the bigger shift is formal verification | Hacker News Reader