> It’s quite common for companies to work their way up to the line of the most user hostile version of their product that users will tolerate.

this is in general how the market for pretty much everything works (sometimes 'users' are replaced by 'the regulator', but it doesn't matter too much).

lesson in there is 'majority of users don't care nearly as much as you think', usually.

But zoning is required to maintain order. Nobody wants anybody to live in favelas.

As with everything the regulator needs to strike a balance to make the market work.

yesterday I had to tell a frontier model to translate my code to tla+ to find a tricky cache invalidation bug which nothing could find - gpt 5.4, gemini 3.1, opus 4.6 all failed. translation took maybe 5 mins, the bug was found in seconds, total time to fix from idea to commit - about 15 mins.

if you can get a model to quickly translate a relevant subset of your code to lean to find tricky bugs and map lean fixes back to your codebase space, you've got yourself a huge unlock. (spoiler alert: you basically can, today)

reference [5] (right in the middle of point 3, the one about gut microbiome) links to https://journals.sagepub.com/doi/full/10.3233/JPD-230206 which is way too dense for me to unpack in general...

e.g.