Goodhard law isn’t a new concept and the term goodharting doesn’t get used in the post about Goodhart’s law that you linked and thus likely isn’t responsible for it either.
I haven’t seen the term that the post actually introduces Regressional Goodhart, Causal Goodhart, Extremal Goodhart or Adversarial Goodhart be used.
Yeah, I was not saying the posts invented the terms, I was saying they were responsible for my usage of them. I remember at the time reading the post Goodhart Taxonomy and not thinking it was very useful, but then repeatedly referring back to it a great deal in my conversations. I also ended up writing a post based on the four subtypes.
Added: Local Validity and Free Energy are two other examples that obviously weren’t coined here, but the discussion here caused me to use quite a lot.
Goodhard law isn’t a new concept and the term goodharting doesn’t get used in the post about Goodhart’s law that you linked and thus likely isn’t responsible for it either.
I haven’t seen the term that the post actually introduces Regressional Goodhart, Causal Goodhart, Extremal Goodhart or Adversarial Goodhart be used.
Yeah, I was not saying the posts invented the terms, I was saying they were responsible for my usage of them. I remember at the time reading the post Goodhart Taxonomy and not thinking it was very useful, but then repeatedly referring back to it a great deal in my conversations. I also ended up writing a post based on the four subtypes.
Added: Local Validity and Free Energy are two other examples that obviously weren’t coined here, but the discussion here caused me to use quite a lot.
Not Ben, but I have used X Goodhart more than 20 times (summing over all the Xs)