I guess we're reading that differently. Eliminating 80% of programmers does mean that on paper "output per worker per hour" has increased, but it doesn't neces

I guess we're reading that differently. Eliminating 80% of programmers does mean that on paper "output per worker per hour" has increased, but it doesn't necessarily follow that you can deliver faster i.e. the output/hour of the business as a whole might stay the same. In a degenerate case this might take the form of AGI replacing the lower tier workers but doing the same thing at the same speed.