<p><span class="h-card" translate="no"><a href="https://hci.social/@chrisamaphone" class="u-url mention">@<span>chrisamaphone</span></a></span> <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 think honestly this might have to do with divides *within* computer science. I don't feel that people working in areas broadly considered to be "honest" computer science feel the need to justify themselves as much as PL people do; we are contending in a more bizarre environment where we can't be sure that everyone even agrees that alpha-equivalence is something that can be taken for granted...</p>
