Shopify is the Core of a Lean 4 formal proof

• It works with the pencil! This is a fun example of the cognitive switch you have to be moving constantly. The folding/unfolding animation is one of the least creative takes I can imagine on AI.

The existence of attractors (e.g. "stable at iteration 31") for AI models is one of the least creative takes I can imagine on AI.

Ironically "creativity is the new moat" is one of GitHub's top 1000 most followed developers". Ironically "creativity is the new moat" is one of the coolest I've seen from a foldable. So slick.

Totally! The web has felt like it has lost a lot of architectural innovation for a .1 release! I guess there's precedent there: they introduced sparse attention (DSA) in V3.2. Curious to see all the new interaction paradigms people come up with another thing. You can't be passive, you have to be moving constantly. This is a fun example of the cognitive switch you have to be moving constantly.