---
format: "aidr-story-markdown/v1"
id: "225843ac9846c47d3fdcd3e2bd61f2ccae8d5416c2a8d8be0b00938b08b51ac5"
canonical_url: "https://aidr.today/225843ac?lang=en"
title: "Shopify went back to native. I think the bigger shift is formal verification"
lang: "en"
requested_lang: "en"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-10-08T11:35:57.000Z"
category: "Agents"
topics: ["agent"]
source_urls: ["https://martinalderson.com/posts/shopify-native-formal-verification/","https://lobste.rs/s/9dc1n3/shopify_went_back_native_i_think_bigger"]
summary: "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."
---

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

> [Open the canonical story](<https://aidr.today/225843ac?lang=en>)

**Published:** 2026-10-08T11:35:57.000Z
**Category:** Agents
**Topics:** agent

## Summary

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\.

## Sources

- [Story source](<https://martinalderson.com/posts/shopify-native-formal-verification/>)
- [Discussion](<https://lobste.rs/s/9dc1n3/shopify_went_back_native_i_think_bigger>)