Specifiability is the Leverage

Almost a year ago, I wrote my first ever blog post on AI-assisted programming, Verifiability is the Limit . The core idea was a push against the school of thought that AI-assisted programming would scale to an infinite productivity level, because someone had to verify that the outputs conform to the given specification, the prompt . I predicted that this had, and would, give rise to uneven levels…