This is a special post for quick takes by Chantiel. Only they can create top-level comments. Comments here also appear on the Quick Takes page and All Posts page.
I found what seems to be a potentially dangerous false-negative in the most popular definition of optimizer. I didn't get a response, so I would appreciate feedback on if it's reasonable. I've been focusing on defining "optimizer", so I think feedback would help me a lot. You can see my comment here .