The home for great developer writing.

We surface the best developer writing from thousands of independent blogs, updated daily.

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 →

MORE POSTS LIKE THIS

Code Contracts: Halfway Between Unit Testing And Formal Verification

Marmelab · Oct 7, 2026

AI Tutorial

What TLA+ can and can't check

Hillel Wayne · Sep 30, 2026

programming software development

2026 in LLMs (so far)

simonw · Sep 28, 2026

AI Generative AI

AI is making the nice version worth building

Jamie Lord · Sep 14, 2026

AI Mobile Development

Shopify begins massive rewrite to leave React Native

Thestack · Sep 11, 2026

applications shopify

Improving system safety with Temporal Logic of Actions (TLA+)

Depot · Jul 20, 2026

software development TLA

Discover more posts →

AUTHOR

Advertise

Sponsor diff.blog

Put your product in front of developers who read and write about their craft. One exclusive sponsor at a time.

Become a sponsor →