<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@MartinEscardo" class="u-url mention">@<span>MartinEscardo</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@HarrisonGrodin" class="u-url mention">@<span>HarrisonGrodin</span></a></span> I really agree with you in principle, but I think this only works if one is writing for a mathematical audience. The thing is that American-style PL researchers get actually angry and insecure very quickly if they see something they aren't already familiar with, if it hasn't been "motivated" for a long time before they get to it.</p><p>You experience this reaction enough times, and you start frontloading the motivation and the bloviation. I'm not saying it's good. But it's reality, if you want to publish in POPL. I don't really care about publishing in POPL anymore, but my students probably need to.</p>