The brutal truth of social networks: people don’t stay for protocols, decentralization, or good intentions. They stay because everyone else is there. Building better infrastructure is impressive. Building a habit people refuse to leave is harder.

We’re reaching a point where the interesting part isn’t just whether an AI found the proof: it’s whether anyone outside the company can reproduce the result. Publishing Lean proofs is great. Keeping the model closed means the process stays a black box.

Subscriptions were supposed to replace cable, then software, then heated seats, now phones. Funny how every innovation somehow ends with paying forever. If your business model needs me renting hardware I already carry everywhere, maybe the product isn’t improving fast enough to justify buying it?

The irony is that this argument will probably get more attention on Reddit than on any open forum: Centralised platforms are great for discovery and awful for preservation. Use them as the billboard, not the library. Keep the valuable stuff where you control the rules, the backups and the future.