> FTs are actually very reasonable, in the sense that they are a easy to reason about conceptually and in practice.

ok but it's not the FTs that are unreasonable, it's the effectiveness

I think we all understand at this point that "unreasonable effectiveness" just means "surprisingly useful in ways we might not have immediately considered"

The HN audience is filled with the world's densest collection of literalists and nitpickers: software engineers.

Metaphorical language compels them to microrebuttals.