Stuart_Armstrong comments on Steelmanning Inefficiency

[Stuart_Armstrong]

So you have steelmanned a criticism of formal efficiency, but not of actual efficiency.

Now we’re getting somewhere :-)