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

· Martin Alderson · Oct. 7, 2026, 11:36 p.m.
software development shopify native apps formal verification
Summary
Martin Alderson discusses how the return to native apps by Shopify reflects a larger trend towards formal verification in software development, suggesting this could become the standard practice for writing software in the future.
Read full post on martinalderson.com →
AUTHOR